Representation of a SystemVerilog assertion sequence repetition.
This is a product type introduced by defprod.
- type — vl-repetitiontype-p
- Kind of repetition, i.e., consecutive, goto, or nonconsecutive.
- left — vl-expr
- Sole or left bound on the repetition. Examples: left is 3 for
any of [* 3],
[= 3], or
In the special cases of [*] and [+], left should be
0 and 1, respectively.
- right — vl-maybe-expr
- Right bound on the repetition if applicable. For instance,
nil for any of [* 3],
[-> 3], or
It is 4 for any of [* 3:4],
[-> 3:4], or
It is $ for [*] or [+].
See SystemVerilog-2012 Section 16.9.2.
Note from Page 357 that [*] is equivalent to [0:$] and [+] is
equivalent to [1:$], so we don't bother with separate representations of
- Fixing function for vl-repetition structures.
- Basic equivalence relation for vl-repetition structures.
- Basic constructor macro for vl-repetition structures.
- Recognizer for vl-repetition structures.
- Get the type field from a vl-repetition.
- Get the right field from a vl-repetition.
- Get the left field from a vl-repetition.
- Modifying constructor for vl-repetition structures.