file
AssertionExpr.hAssertion expression creation and analysis.
Namespaces
- namespace slang
- Root namespace.
Classes
- struct slang::SequenceRange
- Represents a range of potential sequence matches.
- struct slang::SequenceRepetition
- Encodes a repetition of some sub-sequence.
- class slang::SimpleAssertionExpr
- Represents an assertion expression defined as a simple regular expression.
- class slang::SequenceConcatExpr
- Represents an assertion expression defined as a delayed concatenation of other expressions.
- class slang::SequenceWithMatchExpr
- class slang::UnaryAssertionExpr
- Represents a unary operator in a property expression.
- class slang::BinaryAssertionExpr
- Represents a binary operator in a sequence or property expression.
- class slang::FirstMatchAssertionExpr
- Represents a first_match operator in a sequence expression.
- class slang::ClockingAssertionExpr
- Represents an assertion expression with attached clocking control.
- class slang::StrongWeakAssertionExpr
- Represents a strong or weak operator in a property expression.
- class slang::AbortAssertionExpr
- Represents an abort (accept_on / reject_on) property expression.
- class slang::ConditionalAssertionExpr
- Represents a conditional operator in a property expression.
- class slang::CaseAssertionExpr
- Represents a case operator in a property expression.
- class slang::DisableIffAssertionExpr
- Represents a disable iff condition in a property spec.