mirrors/yosys
3
0
Fork 0
mirror of https://github.com/YosysHQ/yosys synced 2026-06-26 10:38:47 +00:00
Code Activity

Use -assert-none.

Browse source
This commit is contained in:
nella 2026-06-22 11:12:00 +02:00
parent 83a8245734
commit 8f5d2d5894
1 changed files with 6 additions and 6 deletions
Download patch file Download diff file Expand all files Collapse all files

12
tests/various/muxcover_index.ys
View file

@ -18,8 +18,8 @@ clean
opt_expr -mux_bool
select -assert-count 2 t:$_MUX8_
select -assert-count 0 t:$_MUX_ t:$_MUX4_ t:$_MUX16_
select -assert-count 0 t:$_AND_ t:$_OR_ t:$_XOR_ t:$_NAND_ t:$_NOR_ t:$_XNOR_
select -assert-none t:$_MUX_ t:$_MUX4_ t:$_MUX16_
select -assert-none t:$_AND_ t:$_OR_ t:$_XOR_ t:$_NAND_ t:$_NOR_ t:$_XNOR_
techmap -map +/simcells.v t:$_MUX8_
design -stash gate
@ -47,8 +47,8 @@ clean
opt_expr -mux_bool
select -assert-count 3 t:$_MUX8_
select -assert-count 0 t:$_MUX_ t:$_MUX4_ t:$_MUX16_
select -assert-count 0 t:$_AND_ t:$_OR_ t:$_XOR_ t:$_NAND_ t:$_NOR_ t:$_XNOR_
select -assert-none t:$_MUX_ t:$_MUX4_ t:$_MUX16_
select -assert-none t:$_AND_ t:$_OR_ t:$_XOR_ t:$_NAND_ t:$_NOR_ t:$_XNOR_
techmap -map +/simcells.v t:$_MUX8_
design -stash gate
@ -76,8 +76,8 @@ clean
opt_expr -mux_bool
select -assert-count 4 t:$_MUX8_
select -assert-count 0 t:$_MUX_ t:$_MUX4_ t:$_MUX16_
select -assert-count 0 t:$_AND_ t:$_OR_ t:$_XOR_ t:$_NAND_ t:$_NOR_ t:$_XNOR_
select -assert-none t:$_MUX_ t:$_MUX4_ t:$_MUX16_
select -assert-none t:$_AND_ t:$_OR_ t:$_XOR_ t:$_NAND_ t:$_NOR_ t:$_XNOR_
techmap -map +/simcells.v t:$_MUX8_
design -stash gate