7 lines
206 B
Plaintext
7 lines
206 B
Plaintext
|
simplemap
|
||
|
|
equiv_opt -assert techmap -D LUT_WIDTH=4 -map +/cmp2lut.v
|
||
|
|
design -load postopt
|
||
|
|
equiv_opt -assert techmap -D LUT_WIDTH=4 -map +/gate2lut.v
|
||
|
|
design -load postopt
|
||
|
|
select -assert-count 0 t:* t:$lut %d
|