diff options
| author | Jannis Harder <me@jix.one> | 2022-08-25 14:24:31 +0200 |
|---|---|---|
| committer | Jannis Harder <me@jix.one> | 2022-10-07 16:04:51 +0200 |
| commit | 81906aa627ed4a2d232a27a84e050bf86f2f83a6 (patch) | |
| tree | bb32810e3d7996f965a325fc1010c6ac414cfede /tests/techmap/zinit.ys | |
| parent | 051630763741914c3ba3bdf25ea091395dbc00b4 (diff) | |
| download | yosys-81906aa627ed4a2d232a27a84e050bf86f2f83a6.tar.gz yosys-81906aa627ed4a2d232a27a84e050bf86f2f83a6.tar.bz2 yosys-81906aa627ed4a2d232a27a84e050bf86f2f83a6.zip | |
Fix tests for check in equiv_opt
Diffstat (limited to 'tests/techmap/zinit.ys')
| -rw-r--r-- | tests/techmap/zinit.ys | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/tests/techmap/zinit.ys b/tests/techmap/zinit.ys index bc07f40e6..af78709b2 100644 --- a/tests/techmap/zinit.ys +++ b/tests/techmap/zinit.ys @@ -13,6 +13,8 @@ $_DFF_PN1_ dff5 (.C(C), .D(D[0]), .R(R), .Q(Q[5])); $_DFF_PP0_ dff6 (.C(C), .D(D[0]), .R(R), .Q(Q[6])); $_DFF_PP1_ dff7 (.C(C), .D(D[0]), .R(R), .Q(Q[7])); +assign Q[8] = 0; + $adff #(.WIDTH(2), .CLK_POLARITY(1), .ARST_POLARITY(1'b0), .ARST_VALUE(2'b10)) dff8 (.CLK(C), .ARST(R), .D(D), .Q(Q[10:9])); $adff #(.WIDTH(2), .CLK_POLARITY(0), .ARST_POLARITY(1'b1), .ARST_VALUE(2'b01)) dff9 (.CLK(C), .ARST(R), .D(D), .Q(Q[12:11])); endmodule @@ -44,6 +46,8 @@ $_DFF_PN1_ dff5 (.C(C), .D(D[0]), .R(R), .Q(Q[5])); $_DFF_PP0_ dff6 (.C(C), .D(D[0]), .R(R), .Q(Q[6])); $_DFF_PP1_ dff7 (.C(C), .D(D[0]), .R(R), .Q(Q[7])); +assign Q[8] = 0; + $adff #(.WIDTH(2), .CLK_POLARITY(1), .ARST_POLARITY(1'b0), .ARST_VALUE(2'b10)) dff8 (.CLK(C), .ARST(R), .D(D), .Q(Q[10:9])); $adff #(.WIDTH(2), .CLK_POLARITY(0), .ARST_POLARITY(1'b1), .ARST_VALUE(2'b01)) dff9 (.CLK(C), .ARST(R), .D(D), .Q(Q[12:11])); endmodule |