Update lowrisc_ibex to lowRISC/ibex@0c233f54

Update code from upstream repository
https://github.com/lowRISC/ibex.git to revision
0c233f54361d769f370889223acc456f2ac19d46

* [formal] Disable the Zc* extensions for formal verification (Samuel
  Riedel)
* [rtl] Make Zcmp state registers resettable (Samuel Riedel)
* [rtl] Compute `gets_expanded_o` only if the instruction is valid
  (Samuel Riedel)
* [rtl] Add assertion to ensure the push/pop FSM only advances if
  valid (Samuel Riedel)
* [rtl] Only start the push/pop FSM if the instruction is valid
  (Samuel Riedel)
* [rtl] Optimize the Zcmp FSM (Samuel Riedel)
* [rtl] Add explanations to the Zcmp state machine (Samuel Riedel)
* [rtl] Fix handshake on compressed decoder (Samuel Riedel)
* [rtl] Annotate traces with expanded instruction information (Samuel
  Riedel)
* [rvfi] Track expanded instruction in rvfi (Samuel Riedel)
* [rtl] Track last expanded instruction (Samuel Riedel)
* [doc] Add Zcb and Zcmp extension to documentation (Samuel Riedel)
* [rtl] Parametrize Zcb and Zcmp extensions (Samuel Riedel)
* [rvfi] Output expanded instructions (except for the last one)
  (Andreas Kurth)
* [rtl] Implement Zcmp extension (Andreas Kurth)
* [rtl] Implement the Zcb extension (Elias Christen)

Signed-off-by: Samuel Riedel <sriedel@lowrisc.org>

Author: SamuelRiedel

hw/vendor/lowrisc_ibex.lock.hjson

@@ -9,6 +9,6 @@
   upstream:
   {
     url: https://github.com/lowRISC/ibex.git
-    rev: 246849ed1063828355cae8a22c6f1aa95250c3b6
+    rev: 0c233f54361d769f370889223acc456f2ac19d46
   }
 }

hw/vendor/lowrisc_ibex/doc/01_overview/compliance.rst

@@ -47,6 +47,14 @@ In addition, the following instruction set extensions are available.
      - 2.0
      - always enabled
 
+   * - **Zcb**: Simple Code-Size Saving Instructions
+     - 1.0.0
+     - optional
+
+   * - **Zcmp**: Push/Pop/Move Code-Size Saving Instructions
+     - 1.0.0
+     - optional
+
    * - **Smepmp** - PMP Enhancements for memory access and execution prevention on Machine mode
      - 1.0
      - always enabled in configurations with PMP see :ref:`PMP Enhancements<pmp-enhancements>`

hw/vendor/lowrisc_ibex/doc/02_user/integration.rst

@@ -93,3 +93,13 @@ Read the description for more information.
 |                       |                                      | jump (which does the required flushing) so it has the same  |
 |                       |                                      | stall characteristics (see above).                          |
 +-----------------------+--------------------------------------+-------------------------------------------------------------+
+| Zcmp Push/Pop         | 2 - N                                | The cm.push/pop instructions as defined in 'Zcmp' of the    |
+|                       |                                      | RISC-V specification. Internally, they expand to multiple   |
+|                       |                                      | register load/store operations combined with stack pointer  |
+|                       |                                      | adjustments, so their latency corresponds to the total      |
+|                       |                                      | number of instructions issued and the memory latency.       |
++-----------------------+--------------------------------------+-------------------------------------------------------------+
+| Zcmp Move             | 2                                    | The `cm.mvsa01` and `cm.mva01s` instruction as defined in   |
+|                       |                                      | 'Zcmp' of the RISC-V specification. Internally, they are    |
+|                       |                                      | implemented as two `addi rd, rs1, 0` instructions.          |
++-----------------------+--------------------------------------+-------------------------------------------------------------+

hw/vendor/lowrisc_ibex/doc/03_reference/pipeline_details.rst

@@ -40,6 +40,7 @@ module top import ibex_pkg::*; #(
   parameter bit          SecureIbex       = 1'b0,
   parameter bit          WritebackStage   = 1'b1,
   parameter bit          RV32E            = 1'b0,
+  parameter rv32zc_e     RV32ZC           = RV32Zca,
   parameter int unsigned PMPNumRegions    = 4
 ) (
   // Clock and Reset
@@ -131,6 +132,7 @@ ibex_top #(
     .SecureIbex(SecureIbex),
     .WritebackStage(WritebackStage),
     .RV32E(RV32E),
+    .RV32ZC(RV32ZC),
     .BranchTargetALU(1'b1),
     .PMPEnable(1'b1),
     .PMPNumRegions(PMPNumRegions),
@@ -441,25 +443,35 @@ assign ex_is_checkable_csr = ~(
 
 logic [31:0] decompressed_instr;
 logic decompressed_instr_illegal;
-ibex_compressed_decoder decompression_assertion_decoder(
+ibex_compressed_decoder #(
+    .RV32ZC(RV32ZC),
+    .ResetAll(SecureIbex)
+) decompression_assertion_decoder (
     .clk_i,
     .rst_ni,
     .valid_i(1'b1),
+    .id_in_ready_i(1'b1),
     .instr_i(ex_compressed_instr),
     .instr_o(decompressed_instr),
     .is_compressed_o(),
+    .gets_expanded_o(),
     .illegal_instr_o(decompressed_instr_illegal)
 );
 
 logic [31:0] decompressed_instr_2;
 logic decompressed_instr_illegal_2;
-ibex_compressed_decoder decompression_assertion_decoder_2(
+ibex_compressed_decoder #(
+    .RV32ZC(RV32ZC),
+    .ResetAll(SecureIbex)
+) decompression_assertion_decoder_2(
     .clk_i,
     .rst_ni,
     .valid_i(1'b1),
+    .id_in_ready_i(1'b1),
     .instr_i(wbexc_instr),
     .instr_o(decompressed_instr_2),
     .is_compressed_o(wbexc_is_compressed),
+    .gets_expanded_o(),
     .illegal_instr_o(decompressed_instr_illegal_2)
 );