diff options
| author | Eddie Hung <eddie@fpgeh.com> | 2019-06-27 11:02:52 -0700 |
|---|---|---|
| committer | Eddie Hung <eddie@fpgeh.com> | 2019-06-27 11:02:52 -0700 |
| commit | 18acb72c05d270e2224ce55919cfb0524efb5757 (patch) | |
| tree | eddc14f70eeaf18b5388d5f97c73aa67f74d9073 /tests/various/pmux2shiftx.ys | |
| parent | 7c14678ec0f4b16134d94a7419f59e7edb634cf6 (diff) | |
| download | yosys-18acb72c05d270e2224ce55919cfb0524efb5757.tar.gz yosys-18acb72c05d270e2224ce55919cfb0524efb5757.tar.bz2 yosys-18acb72c05d270e2224ce55919cfb0524efb5757.zip | |
Add #1135 testcase
Diffstat (limited to 'tests/various/pmux2shiftx.ys')
| -rw-r--r-- | tests/various/pmux2shiftx.ys | 21 |
1 files changed, 16 insertions, 5 deletions
diff --git a/tests/various/pmux2shiftx.ys b/tests/various/pmux2shiftx.ys index deb134083..51ee2f7be 100644 --- a/tests/various/pmux2shiftx.ys +++ b/tests/various/pmux2shiftx.ys @@ -1,4 +1,7 @@ read_verilog pmux2shiftx.v +design -save read + +hierarchy -top pmux2shiftx_test prep design -save gold @@ -21,8 +24,16 @@ design -import gate -as gate miter -equiv -flatten -make_assert -make_outputs gold gate miter sat -verify -prove-asserts -show-ports miter -design -load gold -stat - -design -load gate -stat +#design -load gold +#stat +# +#design -load gate +#stat + +design -load read +hierarchy -top issue01135 +proc +pmux2shiftx -norange +opt -full +select -assert-count 0 t:$shift* +select -assert-count 1 t:$pmux |