From 50c51e93a126d355a5f2cc471e0a10f6dec6ed9c Mon Sep 17 00:00:00 2001
From: Peter Rugg <pdr32@cam.ac.uk>
Date: Thu, 9 Feb 2023 14:34:13 +0000
Subject: [PATCH] Add assertion that ndm resets don't get dropped

---
 src_Core/Core/CoreW.bsv | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src_Core/Core/CoreW.bsv b/src_Core/Core/CoreW.bsv
index 59eda10..ecd6880 100644
--- a/src_Core/Core/CoreW.bsv
+++ b/src_Core/Core/CoreW.bsv
@@ -147,6 +147,7 @@ module mkCoreW (CoreW_IFC #(t_n_irq));
 `endif
           , .ifc} 
      <- mkCoreW_reset ( rst, reset_by newRst.new_rst);
+   (* no_implicit_conditions, fire_when_enabled *)
    rule rl_forward_debug_reset (otherRst);
       newRst.assertReset;
    endrule