slang::AssertionInstanceExpression class

Represents an instance of an assertion item, either a sequence, a property, or a formal argument that is being referenced and expanded.

Base classes

class Expression
The base class for all expressions in SystemVerilog.