diff options
author | Eddie Hung <eddie@fpgeh.com> | 2019-11-21 16:32:52 -0800 |
---|---|---|
committer | Eddie Hung <eddie@fpgeh.com> | 2019-11-21 16:32:52 -0800 |
commit | fe3627523437cfddc069ec9e2c4607a1aaf9ce2e (patch) | |
tree | adb60aab9fa9641ad58fef2da02f34fb21367d93 /tests/various | |
parent | 39fdcb892b1b65363fdf7c1bc6d9e2612c1c38e6 (diff) | |
parent | a5767474830756319ce0fff53b81573701ec0cd2 (diff) | |
download | yosys-fe3627523437cfddc069ec9e2c4607a1aaf9ce2e.tar.gz yosys-fe3627523437cfddc069ec9e2c4607a1aaf9ce2e.tar.bz2 yosys-fe3627523437cfddc069ec9e2c4607a1aaf9ce2e.zip |
Merge remote-tracking branch 'origin/xaig_dff' into eddie/xaig_dff_adff
Diffstat (limited to 'tests/various')
-rw-r--r-- | tests/various/abc9.v | 2 | ||||
-rw-r--r-- | tests/various/abc9.ys | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/tests/various/abc9.v b/tests/various/abc9.v index e53dcdb21..85828bf30 100644 --- a/tests/various/abc9.v +++ b/tests/various/abc9.v @@ -10,7 +10,7 @@ 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; diff --git a/tests/various/abc9.ys b/tests/various/abc9.ys index f7a3f1fa0..81d0afd1b 100644 --- a/tests/various/abc9.ys +++ b/tests/various/abc9.ys @@ -24,7 +24,7 @@ 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 clk2fflogic design -save gold |