[cheriot,rtl] Add TRVK filter to Ibex sources

ibex_pkg.core

@@ -9,6 +9,7 @@ filesets:
   files_rtl:
     files:
       - rtl/ibex_pkg.sv
+      - rtl/ibex_cheriot_pkg.sv
     file_type: systemVerilogSource
 
 targets:

ibex_top.core

@@ -23,6 +23,7 @@ filesets:
       - rtl/ibex_register_file_ff.sv # generic FF-based
       - rtl/ibex_register_file_fpga.sv # FPGA
       - rtl/ibex_register_file_latch.sv # ASIC
+      - rtl/ibex_trvk.sv
       - rtl/ibex_lockstep.sv
       - rtl/ibex_top.sv
     file_type: systemVerilogSource

rtl/ibex_cheriot_pkg.sv

@@ -0,0 +1,56 @@
+// Copyright lowRISC contributors (OpenTitan project).
+// Licensed under the Apache License, Version 2.0, see LICENSE for details.
+// SPDX-License-Identifier: Apache-2.0
+
+package ibex_cheriot_pkg;
+
+  parameter int unsigned TOP_W     = 9;
+  parameter int unsigned BOT_W     = 9;
+  parameter int unsigned EXP_W     = 5;
+  parameter int unsigned OTYPE_W   = 3;
+  parameter int unsigned CPERMS_W  = 6;
+
+
+  // Obtain 32-bit representation of top
+  function automatic logic[32:0] get_bound33(logic [TOP_W-1:0] top, logic [1:0]  cor,
+                                             logic [EXP_W-1:0] exponent, logic [31:0] addr);
+    logic [32:0] t1, t2, mask, cor_val;
+
+    if (cor[1])
+      // negative sign extension
+      cor_val = {33{cor[1]}};
+    else
+      cor_val = {32'h0, (~cor[1]) & cor[0]};
+
+    cor_val = (cor_val << exponent) << TOP_W;
+    mask    = (33'h1_ffff_ffff << exponent) << TOP_W;
+
+    // apply correction and truncate
+    t1 = ({1'b0, addr} & mask) + cor_val;
+    // extend to 32 bit
+    t2 = {24'h0, top};
+    t1 = t1 | (t2 << exponent);
+
+    return t1;
+  endfunction
+
+
+  // Update the top/base correction for a cap
+  function automatic logic [2:0] update_temp_fields(logic [TOP_W-1:0] top, logic [BOT_W-1:0] base,
+                                                    logic [BOT_W-1:0] addrmi);
+    logic top_hi, addr_hi;
+    logic [2:0] res3;
+
+    top_hi   = (top < base);
+    addr_hi  = (addrmi < base);
+
+    // top_cor
+    res3[2:1] = (top_hi == addr_hi)? 2'b00 : ((top_hi && (!addr_hi))? 2'b01 : 2'b11);
+
+    // base_cor
+    res3[0] = (addr_hi) ? 1'b1 : 1'b0;
+
+    return res3;
+  endfunction
+
+endpackage