Package ru.ispras.verilog.parser.sva.basis
-
Class Summary Class Description SvaPortConnection SvaPortConnection
represents the property/sequence port connection.SvaProperty SvaProperty
represents the SVA property specification.SvaRange SvaRange
represents the ranges used in SVA expressions.SvaRepetition SvaRepetition
represents the SVA repetition operation.SvaSequenceMatchAction SvaSequenceMatchAction
represents the action performed on a sequence match. -
Enum Summary Enum Description SvaTemporalOperations SvaTemporalOperations
represents the SVA sequence/property operations.