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


            
            read_verilog example.v

            
            synth_xilinx -top example -family xc6s -ise

            
            write_edif -pvector bra example.edif
	read_verilog example.v
	synth_xilinx -top example -family xc6s -ise
	write_edif -pvector bra example.edif