read_verilog ../verilog/top.v
synth_xilinx -edif top.edif