We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent 4bf3677 commit a41ef02Copy full SHA for a41ef02
tests/techmap/han-carlson.tcl
@@ -8,7 +8,8 @@ for {set i 1} {$i <= 16} {incr i} {
8
design -load init
9
chparam -set WIDTH $i
10
yosys proc
11
- equiv_make -blacklist ppa.nomatch lcu _80_lcu_han_carlson equiv
+ opt_clean -purge
12
+ equiv_make lcu _80_lcu_han_carlson equiv
13
equiv_simple equiv
14
equiv_status -assert equiv
15
}
tests/techmap/kogge-stone.tcl
- equiv_make -blacklist ppa.nomatch lcu _80_lcu_kogge_stone equiv
+ equiv_make lcu _80_lcu_kogge_stone equiv
tests/techmap/ppa.nomatch
0 commit comments