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