Vl-distitem
Representation of weighted distribution information.
This is a product type introduced by defprod.
Fields
- left — vl-expr
- The sole or left expression in a dist item. For instance, left
will be 100 in either 100 := 1 or [100:102] := 1.
- right — vl-maybe-expr
- The right expression in a dist item that has a value range, or nil
if this dist item just has a single item. For instance, right
would be nil in 100 := 1, but would be 102 in
[100:102] := 1.
- type — vl-distweighttype-p
- The weight type, i.e., :vl-weight-each for :=-style dist items,
or :vl-weight-total for :/-style dist items. Note per
SystemVerilog-2012 Section 18.5.4, if no weight is specified, the
default weight is := 1, i.e., the default is
:vl-weight-each.
- weight — vl-expr
- The weight, e.g., 1 in 100 := 1. Note per
SystemVerilog-2012 Section 18.5.4, if no weight is specified, the
default weight is := 1, so the default weight is 1.
See SystemVerilog-2012 Section 18.5.4, Distribution. This is our
representation of a single dist_item. The associated grammar rules
are:
dist_item ::= value_range [ dist_weight ]
dist_weight ::= ':=' expression ;; see vl-distweighttype-p
| ':/' expression
value_range ::= expression
| [ expression : expression ]
Subtopics
- Vl-distitem-fix
- Fixing function for vl-distitem structures.
- Vl-distitem-equiv
- Basic equivalence relation for vl-distitem structures.
- Make-vl-distitem
- Basic constructor macro for vl-distitem structures.
- Change-vl-distitem
- Modifying constructor for vl-distitem structures.
- Vl-distitem->weight
- Get the weight field from a vl-distitem.
- Vl-distitem->type
- Get the type field from a vl-distitem.
- Vl-distitem->right
- Get the right field from a vl-distitem.
- Vl-distitem->left
- Get the left field from a vl-distitem.
- Vl-distitem-p
- Recognizer for vl-distitem structures.