diff options
| author | Eddie Hung <eddie@fpgeh.com> | 2019-12-13 10:26:30 -0800 |
|---|---|---|
| committer | Eddie Hung <eddie@fpgeh.com> | 2019-12-13 10:26:30 -0800 |
| commit | d86d073ad657b5bc92b8ef020b79c070333f267f (patch) | |
| tree | 1e98bd0be95f55ae19acddb94029af7794f697ec /tests/opt | |
| parent | 9ab1feeaf11adb6b675ac4034e246cb137d07db9 (diff) | |
| download | yosys-d86d073ad657b5bc92b8ef020b79c070333f267f.tar.gz yosys-d86d073ad657b5bc92b8ef020b79c070333f267f.tar.bz2 yosys-d86d073ad657b5bc92b8ef020b79c070333f267f.zip | |
Add testcase
Diffstat (limited to 'tests/opt')
| -rw-r--r-- | tests/opt/opt_merge_init.ys | 49 |
1 files changed, 49 insertions, 0 deletions
diff --git a/tests/opt/opt_merge_init.ys b/tests/opt/opt_merge_init.ys new file mode 100644 index 000000000..a29c29df6 --- /dev/null +++ b/tests/opt/opt_merge_init.ys @@ -0,0 +1,49 @@ +read_verilog -icells <<EOT +module top(input clk, i, (* init = 1'b0 *) output o, p); + \$dff #( + .CLK_POLARITY(1'h1), + .WIDTH(32'd1) + ) ffo ( + .CLK(clk), + .D(i), + .Q(o) + ); + \$dff #( + .CLK_POLARITY(1'h1), + .WIDTH(32'd1) + ) ffp ( + .CLK(clk), + .D(i), + .Q(p) + ); +endmodule +EOT + +opt_merge +select -assert-count 1 a:init=1'0 + + +design -reset +read_verilog -icells <<EOT +module top(input clk, i, (* init = 2'b11 *) output [1:0] o); + \$dff #( + .CLK_POLARITY(1'h1), + .WIDTH(32'd1) + ) ff1 ( + .CLK(clk), + .D(i), + .Q(o[1]) + ); + \$dff #( + .CLK_POLARITY(1'h1), + .WIDTH(32'd1) + ) ff0 ( + .CLK(clk), + .D(i), + .Q(o[0]) + ); +endmodule +EOT + +opt_merge +select -assert-count 1 a:init=2'bx1 |