mirror of https://github.com/YosysHQ/yosys.git
14 lines
298 B
Plaintext
14 lines
298 B
Plaintext
|
design -save preopt
|
||
|
|
|
||
|
|
simplemap
|
||
|
|
techmap -map +/gate2lut.v -D LUT_WIDTH=4
|
||
|
|
select -assert-count 1 t:$lut
|
||
|
|
design -stash postopt
|
||
|
|
|
||
|
|
design -copy-from preopt -as preopt top
|
||
|
|
design -copy-from postopt -as postopt top
|
||
|
|
equiv_make preopt postopt equiv
|
||
|
|
prep -flatten -top equiv
|
||
|
|
equiv_induct
|
||
|
|
equiv_status -assert
|