mirror of
https://github.com/YosysHQ/yosys
synced 2025-04-06 01:24:10 +00:00
techmap: test consistently with other equiv_make tests
This commit is contained in:
parent
91844968fd
commit
3ebc714dbc
|
@ -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
|
||||
|
|
|
@ -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
|
||||
|
|
Loading…
Reference in a new issue