[regfile] Add countermeasure label

Signed-off-by: Michael Schaffner <[email protected]>
Memmedud · Apr 13, 2022 · ccc9bef · ccc9bef
1 parent cfd9b45
commit ccc9bef
Show file tree

Hide file tree

Showing 4 changed files with 6 additions and 0 deletions.
diff --git a/rtl/ibex_register_file_ff.sv b/rtl/ibex_register_file_ff.sv
@@ -55,6 +55,7 @@ module ibex_register_file_ff #(
     end
   end
 
+  // SEC_CM: DATA_REG_SW.GLITCH_DETECT
   // This checks for spurious WE strobes on the regfile.
   if (WrenCheck) begin : gen_wren_check
     // Buffer the decoded write enable bits so that the checker

diff --git a/rtl/ibex_register_file_fpga.sv b/rtl/ibex_register_file_fpga.sv
@@ -55,6 +55,7 @@ module ibex_register_file_fpga #(
   // we select
   assign we = (waddr_a_i == '0) ? 1'b0 : we_a_i;
 
+  // SEC_CM: DATA_REG_SW.GLITCH_DETECT
   // This checks for spurious WE strobes on the regfile.
   if (WrenCheck) begin : gen_wren_check
     // Since the FPGA uses a memory macro, there is only one write-enable strobe to check.

diff --git a/rtl/ibex_register_file_latch.sv b/rtl/ibex_register_file_latch.sv
@@ -101,6 +101,7 @@ module ibex_register_file_latch #(
     end
   end
 
+  // SEC_CM: DATA_REG_SW.GLITCH_DETECT
   // This checks for spurious WE strobes on the regfile.
   if (WrenCheck) begin : gen_wren_check
     // Buffer the decoded write enable bits so that the checker

diff --git a/rtl/ibex_top.sv b/rtl/ibex_top.sv
@@ -384,6 +384,7 @@ module ibex_top import ibex_pkg::*; #(
       .RV32E            (RV32E),
       .DataWidth        (RegFileDataWidth),
       .DummyInstructions(DummyInstructions),
+      // SEC_CM: DATA_REG_SW.GLITCH_DETECT
       .WrenCheck        (RegFileWrenCheck),
       .WordZeroVal      (RegFileDataWidth'(prim_secded_pkg::SecdedInv3932ZeroWord))
     ) register_file_i (
@@ -407,6 +408,7 @@ module ibex_top import ibex_pkg::*; #(
       .RV32E            (RV32E),
       .DataWidth        (RegFileDataWidth),
       .DummyInstructions(DummyInstructions),
+      // SEC_CM: DATA_REG_SW.GLITCH_DETECT
       .WrenCheck        (RegFileWrenCheck),
       .WordZeroVal      (RegFileDataWidth'(prim_secded_pkg::SecdedInv3932ZeroWord))
     ) register_file_i (
@@ -430,6 +432,7 @@ module ibex_top import ibex_pkg::*; #(
       .RV32E            (RV32E),
       .DataWidth        (RegFileDataWidth),
       .DummyInstructions(DummyInstructions),
+      // SEC_CM: DATA_REG_SW.GLITCH_DETECT
       .WrenCheck        (RegFileWrenCheck),
       .WordZeroVal      (RegFileDataWidth'(prim_secded_pkg::SecdedInv3932ZeroWord))
     ) register_file_i (