From 5f5e391e3232d944cddf67f1e769f6ccc45ac4a6 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 4de67b9..a20f371 100644
--- a/src_SSITH_P3/src_BSV/P3_Core.bsv
+++ b/src_SSITH_P3/src_BSV/P3_Core.bsv
@@ -177,6 +177,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;