diff options
| -rw-r--r-- | passes/techmap/abc.cc | 1 | ||||
| -rw-r--r-- | tests/various/write_gzip.ys | 4 |
2 files changed, 3 insertions, 2 deletions
diff --git a/passes/techmap/abc.cc b/passes/techmap/abc.cc index 20ebc73c8..58e517e09 100644 --- a/passes/techmap/abc.cc +++ b/passes/techmap/abc.cc @@ -1630,6 +1630,7 @@ struct AbcPass : public Pass { if (g == "ANDNOT") goto ok_gate; if (g == "ORNOT") goto ok_gate; if (g == "MUX") goto ok_gate; + if (g == "NMUX") goto ok_gate; if (g == "AOI3") goto ok_gate; if (g == "OAI3") goto ok_gate; if (g == "AOI4") goto ok_gate; diff --git a/tests/various/write_gzip.ys b/tests/various/write_gzip.ys index 030ec318e..524ecc33e 100644 --- a/tests/various/write_gzip.ys +++ b/tests/various/write_gzip.ys @@ -1,4 +1,4 @@ -read -vlog2k <<EOT +read_verilog <<EOT module top(input a, output y); assign y = !a; endmodule @@ -10,7 +10,7 @@ design -reset ! rm -f write_gzip.v ! gunzip write_gzip.v.gz -read -vlog2k write_gzip.v +read_verilog write_gzip.v ! rm -f write_gzip.v hierarchy -top top select -assert-any top |