read_verilog ../top.v
extract -map ../top.v