From 2db7e9e60c009f13876360c51cbaa390d2ad436a Mon Sep 17 00:00:00 2001
From: em2machine <92717390+em2machine@users.noreply.github.com>
Date: Mon, 22 Dec 2025 18:04:51 +0100
Subject: [PATCH] added commentary

---
 src/V3UndrivenCapture.h | 11 +++++++++++
 1 file changed, 11 insertions(+)

diff --git a/src/V3UndrivenCapture.h b/src/V3UndrivenCapture.h
index 27e6ffeb7..12bc4968c 100644
--- a/src/V3UndrivenCapture.h
+++ b/src/V3UndrivenCapture.h
@@ -14,6 +14,17 @@
 //
 //*************************************************************************
 
+//*************************************************************************
+//
+// Capture task/function write summaries for multidriven checks.
+// Per-task/function capture info keyed by resolved AstNodeFTask* identity (FTask = function or
+// task).  This is our 'graph' of tasks/functions.  Each node has a list of direct callees and
+// a list of variables written in the function body.  There are methods to dedup after walking the tree.
+// V3Undriven then uses the writeSummary for multidriven checks - i.e. it treats writes (side effects)
+// inside subroutines as part of the caller's process.
+//
+//*************************************************************************
+
 #ifndef VERILATOR_V3UNDRIVENCAPTURE_H_
 #define VERILATOR_V3UNDRIVENCAPTURE_H_