commit bd464bc4c88ea117c2b0541deb2ab85ea827ad47
author Srikrishna Iyer <sriyer@google.com> Sat Nov 20 10:20:44 2021 -0800
committer Srikrishna Iyer <46467186+sriyerg@users.noreply.github.com> Mon Nov 22 12:09:47 2021 -0800
tree 6e34e5bd02a8602b5e0614fb0549e273276a6563
parent d19f4f8b2aa40950224569a6b12c46743e1b0400

[kmac, dv] Disable h_data stability SVA

See #9324 for issue details.

Signed-off-by: Srikrishna Iyer <sriyer@google.com>

hw/ip/keymgr/dv/tb.sv

diff --git a/hw/ip/keymgr/dv/tb.sv b/hw/ip/keymgr/dv/tb.sv
index 63c068c..c1765e4 100644
--- a/hw/ip/keymgr/dv/tb.sv
+++ b/hw/ip/keymgr/dv/tb.sv
@@ -90,4 +90,15 @@
     run_test();
   end
 
+  // TODO (#9324): Disable h_data stability assertion when keymgr is in disabled state.
+  initial begin
+    forever @tb.dut.u_ctrl.state_q begin
+      if (tb.dut.u_ctrl.state_q == 10'b1010101000) begin // StCtrlDisabled
+        $assertoff(0, tb.keymgr_kmac_intf.req_data_if.H_DataStableWhenValidAndNotReady_A);
+      end else begin
+        $asserton(0, tb.keymgr_kmac_intf.req_data_if.H_DataStableWhenValidAndNotReady_A);
+      end
+    end
+  end
+
 endmodule