Author Name: Shareef Jalloq
Original Redmine Issue: 782 from https://www.veripool.org
Original Date: 2014-06-06
Original Assignee: Alex Reed

Hi there,

I'm having a hard time remembering, but I'm fairly sure this hasn't always been a bug so it may have been introduced in the last couple of years. Anyway, the following code snippet shows the issue. The indentation doesn't seem to work for the following property.

Thanks, Shareef.

`ifdef ASSERT_ON

  property pr__coeff_en_x_check;
  @(posedge clk) disable iff (!reset_n)
     !$isunknown(coeff_en);
endproperty

  ax__coeff_en_x_check : assert property (pr__coeff_en_x_check);

`endif

It should look like:

`ifdef ASSERT_ON

  property pr__coeff_en_x_check;
     @(posedge clk) disable iff (!reset_n)
       !$isunknown(coeff_en);
  endproperty

  ax__coeff_en_x_check : assert property (pr__coeff_en_x_check);

`endif

Actually, after a sudden flash of inspiration, it's the `ifdef causing the issue. If I remove this then the indentation is correct.