diff options
author | Eddie Hung <eddie@fpgeh.com> | 2019-06-21 11:45:53 -0700 |
---|---|---|
committer | Eddie Hung <eddie@fpgeh.com> | 2019-06-21 11:45:53 -0700 |
commit | 6ec816098153c733b97410ebc6aef166db8affd8 (patch) | |
tree | f8eb498e163c4431739d25c0c01fa4d1c05a7b83 /tests/various/muxpack.ys | |
parent | 641b86d25f5baa898bf5fca3d1a8f2fd4f5954e6 (diff) | |
download | yosys-6ec816098153c733b97410ebc6aef166db8affd8.tar.gz yosys-6ec816098153c733b97410ebc6aef166db8affd8.tar.bz2 yosys-6ec816098153c733b97410ebc6aef166db8affd8.zip |
Add more muxpack tests, with overlapping entries
Diffstat (limited to 'tests/various/muxpack.ys')
-rw-r--r-- | tests/various/muxpack.ys | 30 |
1 files changed, 30 insertions, 0 deletions
diff --git a/tests/various/muxpack.ys b/tests/various/muxpack.ys index 579dad8d3..ef8a6dab9 100644 --- a/tests/various/muxpack.ys +++ b/tests/various/muxpack.ys @@ -212,3 +212,33 @@ 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 case_nonoverlap +prep +design -save gold +muxpack +opt +stat +select -assert-count 0 t:$mux +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 case_overlap +prep +design -save gold +muxpack +#opt # Do not opt otherwise $pmux's overlapping entry will get removed +stat +select -assert-count 0 t:$mux +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 |