Vl-value
The actual value of a vl-literal expression, e.g., 42,
3'bxxx, '1, "foo", 3.14, 45.12ns, etc.
This is a tagged union type, introduced by deftagsum.
Member Tags → Types
- :vl-constint → vl-constint
- Representation for constant integer literals with no X or Z bits,
e.g., 42, 5'b1, etc.
- :vl-weirdint → vl-weirdint
- Representation for constant integer literals with any X or Z bits,
e.g., 4'b11xx.
- :vl-extint → vl-extint
- Representation for unbased, unsized integer literals, viz. '0,
'1, 'x, and 'z.
- :vl-real → vl-real
- Representation of real (floating point) literals like 3.41e+12.
- :vl-time → vl-time
- Representation of time amounts like 45.12ns.
- :vl-string → vl-string
- Representation for string literals like "hello".
Subtopics
- Vl-constint
- Representation for constant integer literals with no X or Z bits,
e.g., 42, 5'b1, etc.
- Vl-weirdint
- Representation for constant integer literals with any X or Z bits,
e.g., 4'b11xx.
- Vl-value-fix
- Fixing function for vl-value structures.
- Vl-value-p
- Recognizer for vl-value structures.
- Vl-value-case
- Case macro for the different kinds of vl-value structures.
- Vl-time
- Representation of time amounts like 45.12ns.
- Vl-real
- Representation of real (floating point) literals like 3.41e+12.
- Vl-extint
- Representation for unbased, unsized integer literals, viz. '0,
'1, 'x, and 'z.
- Vl-value-equiv
- Basic equivalence relation for vl-value structures.
- Vl-string
- Representation for string literals like "hello".
- Vl-value-kind
- Get the kind (tag) of a vl-value structure.
- Vl-valuelist
- A list of vl-value-p objects.
