AssertionExpr.h file

Assertion expression creation and analysis.

Namespaces

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.