luke
/
yosys
mirror of https://github.com/YosysHQ/yosys.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

forgot to add some things to previous commit

This commit is contained in:
William Zhu 2025-03-27 12:40:41 -07:00
parent 3b8330c44f
commit d493a55025
1 changed files with 37 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

37
tests/silimate/opt_expand.ys
View File

@ -15,10 +15,15 @@ module top (
endmodule
EOF
check -assert
# Check equivalence after opt_expand
equiv_opt -assert opt_expand
# Check final design has correct number of gates
design -load postopt
select -assert-count 2 t:$and
select -assert-count 1 t:$or
design -reset
log -pop
@ -38,7 +43,11 @@ module top (
endmodule
EOF
check -assert
# Check equivalence after opt_expand
equiv_opt -assert opt_expand
# Check final design has correct number of gates
design -load postopt
select -assert-count 2 t:$and
select -assert-count 1 t:$or
@ -62,7 +71,11 @@ module top (
endmodule
EOF
check -assert
# Check equivalence after opt_expand
equiv_opt -assert opt_expand
# Check final design has correct number of gates
design -load postopt
select -assert-count 2 t:$and
select -assert-count 1 t:$or
@ -89,7 +102,11 @@ module top (
endmodule
EOF
check -assert
# Check equivalence after opt_expand
equiv_opt -assert opt_expand
# Check final design has correct number of gates
design -load postopt
select -assert-count 1 t:$and
select -assert-count 1 t:$or
@ -114,7 +131,11 @@ module top (
endmodule
EOF
check -assert
# Check equivalence after opt_expand
equiv_opt -assert opt_expand
# Check final design has correct number of gates
design -load postopt
select -assert-count 3 t:$and
select -assert-count 1 t:$or
@ -139,7 +160,11 @@ module top (
endmodule
EOF
check -assert
# Check equivalence after opt_expand
equiv_opt -assert opt_expand
# Check final design has correct number of gates
design -load postopt
select -assert-count 3 t:$and
select -assert-count 2 t:$or
@ -163,7 +188,11 @@ module top (
endmodule
EOF
check -assert
# Check equivalence after opt_expand
equiv_opt -assert opt_expand
# Check final design has correct number of gates
design -load postopt
select -assert-count 2 t:$and
select -assert-count 1 t:$or
@ -189,7 +218,11 @@ module top (
endmodule
EOF
check -assert
# Check equivalence after opt_expand
equiv_opt -assert opt_expand
# Check final design has correct number of gates
design -load postopt
select -assert-count 4 t:$and
select -assert-count 2 t:$or
@ -216,7 +249,11 @@ module top (
endmodule
EOF
check -assert
# Check equivalence after opt_expand
equiv_opt -assert opt_expand
# Check final design has correct number of gates
design -load postopt
select -assert-count 4 t:$and
select -assert-count 3 t:$or