read_verilog ../top.v
write_ilang ilang.ilang
proc dump -o file.il
dump -n -o file1.il
synth
write_verilog synth.v