diff --git a/tests/techmap/han-carlson.tcl b/tests/techmap/han-carlson.tcl index 7029be57f..0d9068b5e 100644 --- a/tests/techmap/han-carlson.tcl +++ b/tests/techmap/han-carlson.tcl @@ -8,7 +8,7 @@ for {set i 1} {$i <= 16} {incr i} { design -load init chparam -set WIDTH $i yosys proc - opt_clean -purge + opt_clean equiv_make lcu _80_lcu_han_carlson equiv equiv_simple equiv equiv_status -assert equiv diff --git a/tests/techmap/kogge-stone.tcl b/tests/techmap/kogge-stone.tcl index b6a4ef54e..1209b1338 100644 --- a/tests/techmap/kogge-stone.tcl +++ b/tests/techmap/kogge-stone.tcl @@ -8,7 +8,7 @@ for {set i 1} {$i <= 16} {incr i} { design -load init chparam -set WIDTH $i yosys proc - opt_clean -purge + opt_clean equiv_make lcu _80_lcu_kogge_stone equiv equiv_simple equiv equiv_status -assert equiv