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