Verilog: test constant folding for replication

This adds a test that replication operators can be constant-folded.

Author: kroening

regression/verilog/expressions/replication1.v

@@ -21,4 +21,12 @@ module main(in);
   always assert property4:
     {{ 1 { 1'b0 }}, in } == in;
 
+  // constant folding
+  parameter P = { 2 { 2'b01 } };
+
+  wire [P:0] some_wire;
+
+  always assert property5:
+    P == 'b0101;
+
 endmodule