blob: 46854e82e3e56fb2b3d025af3c8d561d53eadf9a (
plain)
1
2
3
4
5
6
|
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
|