@User it's also possible to get support using surelog + the uhdm plugin, https://github.com/SymbiFlow/yosys-symbiflow-plugins#uhdm-plugin