github-mirrors/ibex
1
0
Fork 0
mirror of https://github.com/lowRISC/ibex.git synced 2025-04-22 12:57:13 -04:00
Code Issues Projects Releases Packages Wiki Activity Actions

[regfile] Add countermeasure label

Browse source 
Signed-off-by: Michael Schaffner <msf@google.com>
This commit is contained in:
Michael Schaffner 2022-04-12 09:41:35 -07:00
parent cfd9b45cfc
commit ccc9bef3ec
4 changed files with 6 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

1
rtl/ibex_register_file_ff.sv
View file

@ -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

1
rtl/ibex_register_file_fpga.sv
View file

@ -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.

1
rtl/ibex_register_file_latch.sv
View file

@ -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

3
rtl/ibex_top.sv
View file

@ -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 (