diff options
| author | Eddie Hung <eddie@fpgeh.com> | 2019-11-23 08:38:48 -0800 |
|---|---|---|
| committer | Eddie Hung <eddie@fpgeh.com> | 2019-11-23 08:38:48 -0800 |
| commit | b46e636c9142ef69ed1b76e9f968716a258aff46 (patch) | |
| tree | 08108ac4b8bfaa1644c5fd73c4d19221963c5229 /tests/various | |
| parent | 1851f4b4889a45dbb28ed1969ce63c3d7afcede7 (diff) | |
| parent | 23fcdd96b3fda06bb9400b9b729f8a86a3725e84 (diff) | |
| download | yosys-b46e636c9142ef69ed1b76e9f968716a258aff46.tar.gz yosys-b46e636c9142ef69ed1b76e9f968716a258aff46.tar.bz2 yosys-b46e636c9142ef69ed1b76e9f968716a258aff46.zip | |
Merge branch 'xaig_dff' of github.com:YosysHQ/yosys into xaig_dff
Diffstat (limited to 'tests/various')
| -rw-r--r-- | tests/various/abc9.v | 4 | ||||
| -rw-r--r-- | tests/various/abc9.ys | 4 |
2 files changed, 4 insertions, 4 deletions
diff --git a/tests/various/abc9.v b/tests/various/abc9.v index e53dcdb21..f0b3f6837 100644 --- a/tests/various/abc9.v +++ b/tests/various/abc9.v @@ -10,9 +10,9 @@ unknown u(~i, w); unknown2 u2(w, o); endmodule -module abc9_test031(input clk, d, r, output reg q); +module abc9_test032(input clk, d, r, output reg q); initial q = 1'b0; always @(negedge clk or negedge r) - if (r) q <= 1'b0; + if (!r) q <= 1'b0; else q <= d; endmodule diff --git a/tests/various/abc9.ys b/tests/various/abc9.ys index 9e732bdc8..81d0afd1b 100644 --- a/tests/various/abc9.ys +++ b/tests/various/abc9.ys @@ -24,9 +24,9 @@ select -assert-count 1 t:unknown select -assert-none t:$lut t:unknown %% t: %D design -load read -hierarchy -top abc9_test031 +hierarchy -top abc9_test032 proc -async2sync +clk2fflogic design -save gold abc9 -lut 4 |