read_verilog ../top.v
extract -map top.v -mine out.ilang