yosys -import
plugin -i xdc
#Import the commands from the plugins to the tcl interpreter
yosys -import
read_verilog VexRiscv_Lite.v
# -flatten is used to ensure that the output eblif has only one module.
# Some of symbiflow expects eblifs with only one module.
synth_xilinx -vpr -flatten -abc9 -nosrl -noclkbuf -nodsp

#Read the design constraints
read_xdc -part_json $::env(PART_JSON) $::env(INPUT_XDC_FILE)

# Write the design in JSON format.
write_json $::env(OUT_JSON)
write_blif -attr -param -cname -conn counter.eblif