read_verilog ../top.v aigmap -nand
tee -o result.log dump
proc aigmap -nand synth -top top aigmap -nand write_verilog synth.v