Package ru.ispras.verilog.parser.sva
-
Class Summary Class Description SvaAssertionStatement SvaAssertionStatement
represents the SystemVerilog Assertion statement.SvaDeclaration SvaDeclaration
represents the declaration of a property or a sequence.SvaInstantiation SvaInstantiation
represents the instance of a sequence or a property.SvaPort SvaPort
represents the SVA sequence/property port.SvaPropertyDeclaration SvaPropertyDeclaration
represents the declaration of a property.SvaSequenceDeclaration SvaSequenceDeclaration
represents the declaration of a sequence. -
Enum Summary Enum Description SvaAssertionStatement.AssertionKind Assertion kinds.SvaAssertionStatement.StatementType Statement types.SvaPort.Direction Port direction types.