read_verilog ../top.v
proc
tee -q -o result.log -a result2.log ls