blob: b5bb64e2e104a4039100e94ba8c0b71d9d00eac1 [file] [log] [blame]
read_verilog -sv ../top.v
aigmap
write_aiger -vmap a.map aiger.aiger
design -reset
read_verilog -sv ../top_clean.v
aigmap
write_aiger aiger.aiger
synth -top top
write_verilog synth.v