Update lowrisc_ibex

[SamuelRiedel]

Ibex and OpenTitan have not been aligned in quite a long time. The Ibex PR lowRISC/ibex#2339 pulls in the latest changes in OpenTitan to Ibex (new fusesoc version, updated prims, changed ram interface) and this PR now includes the updated Ibex back in OpenTitan. It contains mainly small fixes, a lot of typo fixes, and an open-source software formal flow.

This PR currently vendors in the branch from lowRISC/ibex#2339 to demonstrate that this version of Ibex passes the OT CI. Before merging this OT PR, we should merge the Ibex one and quickly modify the WIP commit to point back to the upstream repo and create the update commit with all modification in the commit message. lowRISC/ibex#2339 was merged, and this PR now pulls the current master branch of Ibex.

This PR will resolve this comment: #28715 (comment)

[vogelpi]

Thanks @SamuelRiedel , this looks good modulo merging the PR in Ibex first and then update this PR on top :-)

[SamuelRiedel]

Thanks @vogelpi for having a look. After merging Ibex, I updated the commit and this PR is fully ready from my side now. The Run earlgrey DV test regression 0 failed due to a spurious Bazel download error. I restarted the pipeline and the second run passed.

[vogelpi]

CHANGE AUTHORIZED: hw/vendor/lowrisc_ibex/rtl/ibex_alu.sv
CHANGE AUTHORIZED: hw/vendor/lowrisc_ibex/rtl/ibex_controller.sv
CHANGE AUTHORIZED: hw/vendor/lowrisc_ibex/rtl/ibex_core.sv
CHANGE AUTHORIZED: hw/vendor/lowrisc_ibex/rtl/ibex_cs_registers.sv
CHANGE AUTHORIZED: hw/vendor/lowrisc_ibex/rtl/ibex_decoder.sv
CHANGE AUTHORIZED: hw/vendor/lowrisc_ibex/rtl/ibex_dummy_instr.sv
CHANGE AUTHORIZED: hw/vendor/lowrisc_ibex/rtl/ibex_ex_block.sv
CHANGE AUTHORIZED: hw/vendor/lowrisc_ibex/rtl/ibex_icache.sv
CHANGE AUTHORIZED: hw/vendor/lowrisc_ibex/rtl/ibex_id_stage.sv
CHANGE AUTHORIZED: hw/vendor/lowrisc_ibex/rtl/ibex_if_stage.sv
CHANGE AUTHORIZED: hw/vendor/lowrisc_ibex/rtl/ibex_load_store_unit.sv
CHANGE AUTHORIZED: hw/vendor/lowrisc_ibex/rtl/ibex_lockstep.sv
CHANGE AUTHORIZED: hw/vendor/lowrisc_ibex/rtl/ibex_multdiv_fast.sv
CHANGE AUTHORIZED: hw/vendor/lowrisc_ibex/rtl/ibex_multdiv_slow.sv
CHANGE AUTHORIZED: hw/vendor/lowrisc_ibex/rtl/ibex_pkg.sv
CHANGE AUTHORIZED: hw/vendor/lowrisc_ibex/rtl/ibex_pmp.sv
CHANGE AUTHORIZED: hw/vendor/lowrisc_ibex/rtl/ibex_prefetch_buffer.sv
CHANGE AUTHORIZED: hw/vendor/lowrisc_ibex/rtl/ibex_top.sv
CHANGE AUTHORIZED: hw/vendor/lowrisc_ibex/rtl/ibex_top_tracing.sv

This PR contains a set of Ibex RTL changes. Most of them are typo fixes in comments, the remaining changes are related to prim modules and making the RTL more generic (replacing literals by parameters). These changes don't have a functional impact.

[vogelpi]

Thanks @SamuelRiedel , this looks good. We need another committer to authorize the changes and can then merge this. Maybe @andreaskurth could take a look please?

[marnovandermaas]

Thanks for making these changes! It's really nice to avoid having too many patches.

[marnovandermaas]

CHANGE AUTHORIZED: hw/vendor/lowrisc_ibex/rtl/ibex_alu.sv
CHANGE AUTHORIZED: hw/vendor/lowrisc_ibex/rtl/ibex_controller.sv
CHANGE AUTHORIZED: hw/vendor/lowrisc_ibex/rtl/ibex_core.sv
CHANGE AUTHORIZED: hw/vendor/lowrisc_ibex/rtl/ibex_cs_registers.sv
CHANGE AUTHORIZED: hw/vendor/lowrisc_ibex/rtl/ibex_decoder.sv
CHANGE AUTHORIZED: hw/vendor/lowrisc_ibex/rtl/ibex_dummy_instr.sv
CHANGE AUTHORIZED: hw/vendor/lowrisc_ibex/rtl/ibex_ex_block.sv
CHANGE AUTHORIZED: hw/vendor/lowrisc_ibex/rtl/ibex_icache.sv
CHANGE AUTHORIZED: hw/vendor/lowrisc_ibex/rtl/ibex_id_stage.sv
CHANGE AUTHORIZED: hw/vendor/lowrisc_ibex/rtl/ibex_if_stage.sv
CHANGE AUTHORIZED: hw/vendor/lowrisc_ibex/rtl/ibex_load_store_unit.sv
CHANGE AUTHORIZED: hw/vendor/lowrisc_ibex/rtl/ibex_lockstep.sv
CHANGE AUTHORIZED: hw/vendor/lowrisc_ibex/rtl/ibex_multdiv_fast.sv
CHANGE AUTHORIZED: hw/vendor/lowrisc_ibex/rtl/ibex_multdiv_slow.sv
CHANGE AUTHORIZED: hw/vendor/lowrisc_ibex/rtl/ibex_pkg.sv
CHANGE AUTHORIZED: hw/vendor/lowrisc_ibex/rtl/ibex_pmp.sv
CHANGE AUTHORIZED: hw/vendor/lowrisc_ibex/rtl/ibex_prefetch_buffer.sv
CHANGE AUTHORIZED: hw/vendor/lowrisc_ibex/rtl/ibex_top.sv
CHANGE AUTHORIZED: hw/vendor/lowrisc_ibex/rtl/ibex_top_tracing.sv

[marnovandermaas]

CI actually passed on a second attempt if you click through.