[formal] Switch to new top level
[formal] Switch to new top level

Use `ibex_top` instead of `ibex_core`.

AmbiML/ibex,lowRISC/ibex,AmbiML/ibex,lowRISC/ibex,AmbiML/ibex,lowRISC/ibex,AmbiML/ibex,lowRISC/ibex