Merge pull request #1077 from diffblue/rf

KNOWNBUG test for assignment to packed array with non-zero starting index

Author: tautschnig

regression/verilog/synthesis/rf1.desc

@@ -0,0 +1,9 @@
+KNOWNBUG
+rf1.sv
+
+^EXIT=0$
+^SIGNAL=0$
+--
+^warning: ignoring
+--
+Results in an assertion violation.

regression/verilog/synthesis/rf1.sv

@@ -0,0 +1,18 @@
+`define W 8
+`define R 32
+
+module rf(input clk, input [`W-1:0] data_in, input [`R-1:0] write_enable);
+
+  // index 0 is not used
+  reg [`W*`R-1:`W] registers;
+
+  always_ff @(posedge clk) begin
+    integer r;
+    for(r=1; r<`R; r++)
+      if(write_enable[r])
+        registers[r*`W+:`W] = data_in;
+  end
+
+  always assert property (0);
+
+endmodule