read_verilog ../top.v
add -input i 2
tee -o result.log add -input i 2