examples/basys3/run_yosys.ys - third_party/yosys - Git at Google


            
            read_verilog example.v

            
            synth_xilinx -edif example.edif -top example
	read_verilog example.v
	synth_xilinx -edif example.edif -top example