commit 4f93c310b012b28fbe7dd22a50c68e2ae4cf751f
author Prajwala Puttappa <prajwalaputtappa@lowrisc.org> Tue May 03 12:32:23 2022 +0100
committer Canberk Topal <87007427+ctopal@users.noreply.github.com> Wed May 04 12:14:06 2022 +0100
tree 7e5d0c255ca824f037093547f6acab18ead90689
parent e283afb2d403021ea1b3ff016e7221fbd0b8ea46

[otbn, dv] Assertion fixes in otbn_idle_checker

This commit adds minor assetion fixes in otbn_idle_checker as they were
causing false failures.

Signed-off-by: Prajwala Puttappa <prajwalaputtappa@lowrisc.org>

hw/ip/otbn/dv/uvm/sva/otbn_idle_checker.sv

diff --git a/hw/ip/otbn/dv/uvm/sva/otbn_idle_checker.sv b/hw/ip/otbn/dv/uvm/sva/otbn_idle_checker.sv
index 7e9ccd5..ec7e97c 100644
--- a/hw/ip/otbn/dv/uvm/sva/otbn_idle_checker.sv
+++ b/hw/ip/otbn/dv/uvm/sva/otbn_idle_checker.sv
@@ -121,13 +121,13 @@
           (idle_o_i == prim_mubi_pkg::MuBi4True))
 
   `ASSERT(NoStartKeyRotationWhenLocked_A,
-          (status_q_i == otbn_pkg::StatusLocked) |-> !$rose(keys_busy))
+          (status_q_i == otbn_pkg::StatusLocked) |=> !$rose(keys_busy))
 
   `ASSERT(OnlyKeyRotationWhenRunningOrLocked_A,
           keys_busy |-> (running_q || (status_q_i == otbn_pkg::StatusLocked)))
 
   `ASSERT(NotRunningWhenLocked_A,
-          !((status_q_i == otbn_pkg::StatusLocked) && running_q))
+          !((status_q_i == otbn_pkg::StatusLocked) && running_d))
 
   `ASSERT(NoMemRdataWhenBusy_A, running_q |-> imem_rdata_bus == 'b0 && dmem_rdata_bus == 'b0)