Package ru.ispras.verilog.parser.sva.expression
-
Class Summary Class Description SvaCaseExpression SvaCaseExpression
represents the SVA case expression.SvaCaseExpressionItem SvaCaseExpressionItem
represents the SVA case expression alternative.SvaConditionalExpression SvaConditionalExpression
represents the SVA expressions containing logical conditions in addition to operands.SvaDelayedExpression SvaDelayedExpression
represents the SVA sequence of expressions separated by delays.SvaEventExpression SvaEventExpression
represents the SVA expression with event control.SvaFirstMatchExpression SvaFirstMatchExpression
represents the SVA first_match sequence expression.SvaOperatorExpression SvaOperatorExpression
represents the SVA operator-based expression.SvaRangedExpression SvaRangedExpression
represents the SVA expressions containing range in addition to the operands.SvaRepeatedExpression SvaRepeatedExpression
represents the SVA repeated expression.SvaStrengthExpression SvaStrengthExpression
represents the sequence expression with strength specification. -
Enum Summary Enum Description SvaStrengthExpression.Strength Strength specifications.