Add assertion that ndm resets don't get dropped

2023-02-09 14:34:13 +00:00
parent 0f081d9441
commit 50c51e93a1
1 changed files with 1 additions and 0 deletions
--- 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