diff options
Diffstat (limited to 'tests/arch/ecp5/bug1836.ys')
-rw-r--r-- | tests/arch/ecp5/bug1836.ys | 23 |
1 files changed, 23 insertions, 0 deletions
diff --git a/tests/arch/ecp5/bug1836.ys b/tests/arch/ecp5/bug1836.ys new file mode 100644 index 000000000..15cdf4228 --- /dev/null +++ b/tests/arch/ecp5/bug1836.ys @@ -0,0 +1,23 @@ +read_verilog <<EOT +module top( + input clk, + output reg [15:0] sig1, sig2 +); + reg [7:0] ptr1, ptr2; + reg [15:0] mem [0:255]; + + initial begin + $readmemh("bug1836.mem", mem); + end + + always @(posedge clk) begin + sig1 <= mem[ptr1]; + ptr1 <= ptr1 + 3; + sig2 <= mem[ptr2]; + ptr2 <= ptr2 + 7; + end +endmodule +EOT + +synth_ecp5 -top top +select -assert-count 1 t:DP16KD |