read_verilog ../top.v
splice
proc
splice
synth
splice
tee -o result.log dump