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