luke
/
verilator
mirror of https://github.com/verilator/verilator.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

added commentary

This commit is contained in:
em2machine 2025-12-22 18:04:51 +01:00
parent d8d46b8fce
commit 2db7e9e60c
1 changed files with 11 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

11
src/V3UndrivenCapture.h
View File

@ -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_