Test 2 and test 3

architecture/synth_xilinx_srl/generate.py

 #!/usr/bin/python3
 
+N = 131
+
 # Test 1: pos_clk_no_enable_no_init_not_inferred
-for i in range(131):
+for i in range(N):
     with open('test1_%d.v' % i, 'w') as fp:
         fp.write('''
-module test1_{0} #(parameter width=1, depth={0}) (input clk, input [width-1:0] i, input [31:0] s, output [width-1:0] q);
+module test1_{0} #(parameter width=1, depth={0}) (input clk, input [width-1:0] i, output [width-1:0] q);
+generate 
+    wire [depth:0] int [width-1:0];
+    genvar w, d;
+    for (w = 0; w < width; w=w+1) begin
+        assign int[w][0] = i[w];
+        for (d = 0; d < depth; d=d+1) begin
+            \$_DFFE_PP_ r(.C(clk), .D(int[w][d]), .E(1'b1), .Q(int[w][w+1]));
+        end
+        assign q[w] = int[w][depth];
+    end
+endgenerate
+endmodule
+'''.format(i+1))
+
+# Test 2: pos_clk_with_enable_no_init_not_inferred
+for i in range(N):
+    with open('test2_%d.v' % i, 'w') as fp:
+        fp.write('''
+module test2_{0} #(parameter width=1, depth={0}) (input clk, input [width-1:0] i, input e, output [width-1:0] q);
 generate 
     wire [depth:0] int [width-1:0];
     genvar w, d;
     for (w = 0; w < width; w=w+1) begin
         assign int[w][0] = i[w];
         for (d = 0; d < depth; d=d+1) begin
-            \$_DFFE_PP_ r(.C(clk), .D(int[w][d]), .E(1'b0), .Q(int[w][w+1]));
+            \$_DFFE_PP_ r(.C(clk), .D(int[w][d]), .E(e), .Q(int[w][w+1]));
         end
         assign q[w] = int[w][depth];
     end
 endgenerate
 endmodule
 '''.format(i+1))
+
+# Test 3: pos_clk_with_enable_with_init_inferred
+for i in range(N):
+    with open('test3_%d.v' % i, 'w') as fp:
+        fp.write('''
+module test3_{0} #(parameter width=1, depth={0}) (input clk, input [width-1:0] i, input e, output [width-1:0] q);
+generate 
+    reg [depth-1:0] int [width-1:0];
+
+    genvar w, d;
+    for (w = 0; w < width; w=w+1) begin
+        for (d = 0; d < depth; d=d+1)
+            initial int[w][d] <= ~((d+w) % 2);
+
+        if (depth == 1) begin
+            always @(posedge clk) if (e) int[w] <= i[w];
+            assign q[w] = int[w];
+        end
+        else begin
+            always @(posedge clk) if (e) int[w] <= {{ int[w][depth-2:0], i[w] }};
+            assign q[w] = int[w][depth-1];
+        end
+    end
+endgenerate
+endmodule
+'''.format(i+1))