Gotcha. Did you run into any issues with yosys given that it has limited system verilog support?
Ibex needed to add a pass with sv2v https://github.com/lowRISC/ibex/tree/master/syn
Ibex needed to add a pass with sv2v https://github.com/lowRISC/ibex/tree/master/syn