read_verilog ../top.v
extract -mine out.ilang
write_verilog synth.v