read_verilog -formal  ../top.v