diff --git a/src_SSITH_P3/src_BSV/P3_Core.bsv b/src_SSITH_P3/src_BSV/P3_Core.bsv
index 7f5ff60..f42ccf8 100644
--- a/src_SSITH_P3/src_BSV/P3_Core.bsv
+++ b/src_SSITH_P3/src_BSV/P3_Core.bsv
@@ -168,6 +168,11 @@ module mkP3_Core (P3_Core_IFC);
 
 `ifdef INCLUDE_GDB_CONTROL
 
+   (* no_implicit_conditions, fire_when_enabled *)
+   rule rl_forward_debug_reset (otherRst);
+     ndm_reset_controller.assertReset();
+   endrule
+
    // ================================================================
    // Instantiate JTAG TAP controller,
    // connect to corew.dmi;