read_verilog -dump_vlog2 ../top.v