# Yosys synthesis script for ${TOP_MODULE}

plugin -i ql-qlf

# Read verilog files
read_verilog ${READ_VERILOG_OPTIONS} ${VERILOG_FILES}

synth_ql -blif ${OUTPUT_BLIF} -top ${TOP_MODULE} ${YOSYS_ARGS}

write_verilog -noattr -nohex ${OUTPUT_VERILOG}