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