Skip to content

Commit 14fd15b

Browse files
dkabely-otandreaskurth
authored andcommitted
[dv/otp_ctrl] do not compare direct_access_rdata_* on on non-integrity partitions
Signed-off-by: Dror Kabely <dror.kabely@opentitan.org>
1 parent 8cb25a6 commit 14fd15b

File tree

2 files changed

+6
-0
lines changed

2 files changed

+6
-0
lines changed

hw/ip/otp_ctrl/data/otp_ctrl_scoreboard.sv.tpl

Lines changed: 3 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -807,6 +807,9 @@ class otp_ctrl_scoreboard #(type CFG_T = otp_ctrl_env_cfg)
807807
predict_no_err(OtpDaiErrIdx);
808808
predict_rdata(is_secret(dai_addr) || is_digest(dai_addr),
809809
read_out0, read_out1);
810+
// do not check direct_access_rdata_* on ECC errors in
811+
// non-integrity partitions
812+
check_dai_rd_data = 0;
810813
end else begin
811814
predict_no_err(OtpDaiErrIdx);
812815
predict_rdata(is_secret(dai_addr) || is_digest(dai_addr),

hw/ip/otp_ctrl/dv/env/otp_ctrl_scoreboard.sv

Lines changed: 3 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -801,6 +801,9 @@ class otp_ctrl_scoreboard #(type CFG_T = otp_ctrl_env_cfg)
801801
predict_no_err(OtpDaiErrIdx);
802802
predict_rdata(is_secret(dai_addr) || is_digest(dai_addr),
803803
read_out0, read_out1);
804+
// do not check direct_access_rdata_* on ECC errors in
805+
// non-integrity partitions
806+
check_dai_rd_data = 0;
804807
end else begin
805808
predict_no_err(OtpDaiErrIdx);
806809
predict_rdata(is_secret(dai_addr) || is_digest(dai_addr),

0 commit comments

Comments
 (0)