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