Checkout Surelog - https://antmicro.com/blog/2020/12/ibex-support-in-verilator-yosys-via-uhdm-surelog/ https://antmicro.com/blog/2020/12/ibex-support-in-verilat

Checkout Surelog - https://antmicro.com/blog/2020/12/ibex-support-in-verilator-yosys-via-uhdm-surelog/ https://antmicro.com/blog/2020/12/ibex-support-in-verilator-... and the more recent usage in https://github.com/siliconcompiler/siliconcompiler https://github.com/siliconcompiler/siliconcompiler