analysis directory
Post-elaboration analysis framework.
Files
- file AbstractFlowAnalysis.h
- Base class for flow analysis passes.
- file AnalysisManager.h
- Central manager for analyzing ASTs.
- file AnalysisOptions.h
- Various options that control analysis.
- file AnalyzedAssertion.h
- Analysis support for concurrent assertions.
- file AnalyzedProcedure.h
- Analysis support for procedures.
- file CaseDecisionDag.h
- Decision DAG for case exhaustiveness analysis.
- file ClockInference.h
- Assertion clock inference support.
- file DataFlowAnalysis.h
- Data flow analysis pass.
- file DriverTracker.h
- Centralized tracking of assigned / driven symbols.
- file ValueDriver.h
- Tracking of assigned / driven symbols.