read_verilog ../top.v
aigmap -nand
proc
aigmap -nand
synth -top top
aigmap -nand
write_verilog synth.v