Skip to content

Commit

Permalink
[otbn] Add missing CM annotation
Browse files Browse the repository at this point in the history
Fixes part of #20887

Signed-off-by: Michael Schaffner <[email protected]>
  • Loading branch information
msfschaffner committed Feb 14, 2024
1 parent 72c05a2 commit 3938983
Showing 1 changed file with 1 addition and 0 deletions.
1 change: 1 addition & 0 deletions hw/ip/otbn/rtl/otbn_start_stop_control.sv
Original file line number Diff line number Diff line change
Expand Up @@ -419,6 +419,7 @@ module otbn_start_stop_control
assign sec_wipe_addr_o = addr_cnt_q[4:0];
`ASSERT(NoSecWipeAbove32Bit_A, addr_cnt_q[5] |-> (!sec_wipe_wdr_o && !sec_wipe_acc_urnd_o))

// SEC_CM: START_STOP_CTRL.STATE.CONSISTENCY
// A check for spurious or dropped secure wipe requests.
// We only expect to start a secure wipe when running.
assign spurious_secure_wipe_req = secure_wipe_req_i & ~allow_secure_wipe;
Expand Down

0 comments on commit 3938983

Please sign in to comment.