read_verilog ../top_err_1.v tee -o result.log freduce proc tee -o result.log freduce synth tee -o result.log freduce
