read_verilog ../top.v
add -output o 3
tee -o result.log dump