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