ClockInference.h file
Assertion clock inference support.
Namespaces
- namespace slang
- Root namespace.
- namespace slang::ast
- The SystemVerilog AST.
- namespace slang::analysis
- Post-elaboration analysis framework.
Classes
- class slang::analysis::ClockInference
- Various helper methods for inferring clocks in assertions and checkers.