From 0f081d9441c695baf404a73764ae94a1b8efd80c Mon Sep 17 00:00:00 2001
From: Peter Rugg <pdr32@cam.ac.uk>
Date: Thu, 9 Feb 2023 14:20:13 +0000
Subject: [PATCH] Connect ndm reset up in src_SSITH_P3 build

---
 src_SSITH_P3/src_BSV/P3_Core.bsv | 5 +++++
 1 file changed, 5 insertions(+)

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;