diff options
author | Eddie Hung <eddie@fpgeh.com> | 2019-06-06 11:54:38 -0700 |
---|---|---|
committer | Eddie Hung <eddie@fpgeh.com> | 2019-06-06 11:54:38 -0700 |
commit | 3e76e3a6fa4355e7223b10bba394f986d6821551 (patch) | |
tree | 21d31247db84eb1e4872d9f3dcf93246b4ceeacd /tests/various/muxpack.ys | |
parent | 543dd11c7e46f9c88bd1f0d21474bac95d1ab6d1 (diff) | |
download | yosys-3e76e3a6fa4355e7223b10bba394f986d6821551.tar.gz yosys-3e76e3a6fa4355e7223b10bba394f986d6821551.tar.bz2 yosys-3e76e3a6fa4355e7223b10bba394f986d6821551.zip |
Add tests, fix for !=
Diffstat (limited to 'tests/various/muxpack.ys')
-rw-r--r-- | tests/various/muxpack.ys | 42 |
1 files changed, 42 insertions, 0 deletions
diff --git a/tests/various/muxpack.ys b/tests/various/muxpack.ys new file mode 100644 index 000000000..58c01cf05 --- /dev/null +++ b/tests/various/muxpack.ys @@ -0,0 +1,42 @@ +read_verilog muxpack.v +design -save read +hierarchy -top mux_if_unbal_4_1 +prep +design -save gold +muxpack +opt +stat +select -assert-count 1 t:$pmux +design -stash gate +design -import gold -as gold +design -import gate -as gate +miter -equiv -flatten -make_assert -make_outputs gold gate miter +sat -verify -prove-asserts -show-ports miter + +design -load read +hierarchy -top mux_if_unbal_5_3 +prep +design -save gold +muxpack +opt +stat +select -assert-count 1 t:$pmux +design -stash gate +design -import gold -as gold +design -import gate -as gate +miter -equiv -flatten -make_assert -make_outputs gold gate miter +sat -verify -prove-asserts -show-ports miter + +design -load read +hierarchy -top mux_if_unbal_5_3_invert +prep +design -save gold +muxpack +opt +stat +select -assert-count 1 t:$pmux +design -stash gate +design -import gold -as gold +design -import gate -as gate +miter -equiv -flatten -make_assert -make_outputs gold gate miter +sat -verify -prove-asserts -show-ports miter |