minitests/litex_litedram/src.yosys/synth.ys - prjxray - Git at Google

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