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_