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