mirror of
https://github.com/YosysHQ/yosys
synced 2025-10-31 19:52:31 +00:00
15 lines
320 B
Tcl
15 lines
320 B
Tcl
yosys -import
|
|
|
|
read_verilog +/choices/kogge-stone.v
|
|
read_verilog -icells lcu_refined.v
|
|
design -save init
|
|
|
|
for {set i 1} {$i <= 16} {incr i} {
|
|
design -load init
|
|
chparam -set WIDTH $i
|
|
yosys proc
|
|
opt_clean
|
|
equiv_make lcu _80_lcu_kogge_stone equiv
|
|
equiv_simple equiv
|
|
equiv_status -assert equiv
|
|
}
|