read_verilog ../top.v
tee -a result.log synth_xilinx