yosys/techlibs/xilinx/example_basys3/run_yosys.ys

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