Vl-propthen
Sequential sequence composition, i.e., foo ##1 bar and similar.
This is a product type, introduced by deftagsum in support of vl-propexpr.
Fields
- delay — vl-range
- The delay or range part between the two sequences. Note that
SystemVerilog gives a rich syntax here which we always boil down
to a range. In particular, a single expression like ##1 is
represented with the range [1:1]. The SystemVerilog syntax
##[*] just means ##[0:$] and the syntax ##[+] just
means ##[1:$]. Dollar signs are supposed to mean the end of
simulation, or for formal tools are supposed to mean some finite
but unbounded range.
- left — vl-propexpr
- Left-hand side sequence to match, e.g., foo.
- right — vl-propexpr
- Right-hand side sequence to match, e.g., bar.
Note that in SystemVerilog you can write sequences that don't have
a starting expression, e.g., you can just write ##1 foo ##1 bar.
In this case, we set left to the expression 1, which always
evaluates to true and hence has no effect on the sequence.
Subtopics
- Vl-propthen->right
- Get the right field from a vl-propthen.
- Make-vl-propthen
- Basic constructor macro for vl-propthen structures.
- Vl-propthen->left
- Get the left field from a vl-propthen.
- Vl-propthen->delay
- Get the delay field from a vl-propthen.
- Change-vl-propthen
- Modifying constructor for vl-propthen structures.
