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