exec yosys $::env(SCRIPTS_DIR)/synth.tcl