read_verilog ../top.v proc tee -o result.log sim -resetn we_a top