Add "synth_xilinx -arch"