• Top
    • Documentation
    • Books
    • Boolean-reasoning
    • Projects
    • Debugging
    • Std
    • Proof-automation
    • Macro-libraries
    • ACL2
    • Interfacing-tools
    • Hardware-verification
      • Gl
      • Esim
      • Vl2014
      • Sv
      • Fgl
      • Vwsim
      • Vl
        • Syntax
          • Vl-module
          • Vl-vardecl
          • Vl-fundecl
          • Vl-interface
          • Vl-design
          • Vl-assign
          • Vl-modinst
          • Vl-gateinst
          • Vl-taskdecl
          • Vl-portdecl
          • Vl-commentmap
          • Vl-dpiimport
          • Vl-ansi-portdecl
          • Vl-package
          • Vl-paramdecl
          • Vl-dpiexport
          • Vl-class
          • Vl-sort-blockitems-aux
          • Vl-plainarglist->exprs
          • Vl-taskdecllist->names
          • Expressions-and-datatypes
            • Vl-atts
            • Vl-expr
            • Vl-datatype
              • Vl-datatype-p
              • Vl-usertype
              • Vl-struct
              • Vl-coredatatype-info
              • Vl-union
              • Vl-datatype->udims
              • Vl-datatype-update-dims
              • Vl-coretype
              • Vl-enum
                • Vl-enumitem
                  • Vl-enumitem-equiv
                  • Make-vl-enumitem
                  • Vl-enumitem->value
                  • Vl-enumitem->range
                  • Vl-enumitem->name
                  • Change-vl-enumitem
                  • Vl-enumitem-p
                  • Vl-enumitem-fix
                  • Vl-enumitem-count
                • Make-vl-enum
                • Vl-enum->values
                • Vl-enum->udims
                • Vl-enum->pdims
                • Vl-enum->items
                • Vl-enum->basetype
                • Change-vl-enum
                • Vl-enumitemlist
              • Vl-datatype->pdims
              • Vl-maybe-datatype
              • Vl-datatype-case
              • Vl-datatype-update-udims
              • Vl-datatype-update-pdims
              • Vl-datatype-equiv
              • Vl-datatype-kind
              • Vl-coretypename->info
              • *vl-core-data-type-table*
              • *vl-plain-old-logic-type*
              • Vl-datatype-fix
              • Vl-datatype-count
              • *vl-plain-old-time-type*
              • *vl-plain-old-reg-type*
              • *vl-plain-old-realtime-type*
              • *vl-plain-old-real-type*
              • *vl-plain-old-integer-type*
            • New-expression-representation
            • Vl-paramargs
            • Vl-evatom
            • Vl-maybe-paramargs
            • Vl-evatomlist
            • Vl-call-namedargs
            • Vl-paramvaluelist
            • Vl-namedparamvaluelist
          • Vl-fundecllist->names
          • Vl-udp
          • Vl-port
          • Vl-genelement
          • Vl-clkdecl
          • Vl-parse-temps
          • Vl-bind
          • Vl-namedarg
          • Vl-exprdist
          • Vl-clkassign
          • Vl-range
          • Vl-propport
          • Vl-typedef
          • Vl-gatedelay
          • Vl-dimension
          • Vl-sequence
          • Vl-clkskew
          • Vl-program
          • Vl-gatestrength
          • Vl-property
          • Vl-config
          • Vl-always
          • Vl-import
          • Vl-repeateventcontrol
          • Vl-timeliteral
          • Vl-initial
          • Vl-eventcontrol
          • Vl-final
          • Vl-udpsymbol-p
          • Vl-maybe-clkskew
          • Vl-function-specialization
          • Vl-alias
          • Vl-maybe-nettypename
          • Vl-maybe-gatedelay
          • Vl-letdecl
          • Vl-direction-p
          • Vl-modelement
          • Vl-maybe-timeprecisiondecl
          • Vl-maybe-scopeid
          • Vl-maybe-gatestrength
          • Vl-maybe-direction
          • Vl-maybe-delayoreventcontrol
          • Vl-gclkdecl
          • Vl-fwdtypedef
          • Vl-maybe-udpsymbol-p
          • Vl-maybe-timeunitdecl
          • Vl-maybe-timeliteral
          • Vl-maybe-parse-temps
          • Vl-maybe-cstrength
          • Vl-arguments
          • Vl-maybe-module
          • Vl-maybe-design
          • Vl-covergroup
          • Vl-udpline
          • Vl-timeunitdecl
          • Vl-genvar
          • Vl-defaultdisable
          • Vl-context1
          • Vl-timeprecisiondecl
          • Vl-sort-blockitems
          • Vl-elabtask
          • Vl-udpedge
          • Vl-delaycontrol
          • Vl-context
          • Vl-ctxelement
          • Vl-ctxelement->loc
          • Vl-modelement->loc
          • Statements
          • Vl-blockitem
          • Vl-vardecllist
          • Vl-interface->ifports
          • Vl-syntaxversion
          • Vl-nettypename-p
          • Vl-module->ifports
          • Vl-lifetime-p
          • Vl-paramdecllist
          • Vl-modelementlist->genelements
          • Vl-importlist
          • Vl-typedeflist
          • Vl-gatetype-p
          • Vl-cstrength-p
          • Vl-port->name
          • Vl-genelement->loc
          • Vl-delayoreventcontrol
          • Vl-udpentry-p
          • Vl-portdecllist
          • Vl-elabtask->loc
          • Property-expressions
          • Vl-taskdecllist
          • Vl-port->loc
          • Vl-fundecllist
          • Vl-sequencelist
          • Vl-propertylist
          • Vl-portlist
          • Vl-dpiimportlist
          • Vl-dpiexportlist
          • Vl-classlist
          • Vl-arguments->args
          • Vl-alwaystype-p
          • Vl-modinstlist
          • Vl-importpart-p
          • Vl-importpart-fix
          • Vl-bindlist
          • Vl-initiallist
          • Vl-genvarlist
          • Vl-gclkdecllist
          • Vl-function-specialization-map
          • Vl-finallist
          • Vl-elabtasklist
          • Vl-defaultdisablelist
          • Vl-clkdecllist
          • Vl-cassertionlist
          • Vl-blockstmt-p
          • Vl-assignlist
          • Vl-assertionlist
          • Vl-alwayslist
          • Vl-aliaslist
          • Vl-udptable
          • Vl-udplist
          • Vl-udpentrylist
          • Vl-propportlist
          • Vl-programlist
          • Vl-packagelist
          • Vl-namedarglist
          • Vl-modulelist
          • Vl-modportlist
          • Vl-modport-portlist
          • Vl-letdecllist
          • Vl-interfacelist
          • Vl-gateinstlist
          • Vl-fwdtypedeflist
          • Vl-covergrouplist
          • Vl-configlist
          • Vl-clkassignlist
          • Vl-blockitemlist
          • Vl-ansi-portdecllist
          • Vl-regularportlist
          • Vl-paramdecllist-list
          • Vl-modelementlist
          • Vl-interfaceportlist
          • Vl-casekey-p
          • Sv::maybe-4veclist
        • Loader
        • Warnings
        • Getting-started
        • Utilities
        • Printer
        • Kit
        • Mlib
        • Transforms
      • X86isa
      • Svl
      • Rtl
    • Software-verification
    • Math
    • Testing-utilities
  • Vl-enum

Vl-enumitem

A single member of an enum.

This is a product type introduced by defprod.

Fields
name — stringp
Name of this enumeration item. For instance, in enum { red, yellow, green }, the individual enumitems would be named "red", "yellow", and "green".
range — vl-maybe-range
For simple enumeration items this is nil, but for a fancy item, e.g., for enum { color[6:2] }, the range would be [6:2]. These might later be converted into their expanded out names, e.g., color6, color5, ..., color2.
value — vl-maybe-expr
For simple enumeration items without an explicit value expression this is just nil. For fancier items with explicit values like enum { foo=5, ... } this is the right-hand side expression, i.e., 5.

Subtopics

Vl-enumitem-equiv
Basic equivalence relation for vl-enumitem structures.
Make-vl-enumitem
Basic constructor macro for vl-enumitem structures.
Vl-enumitem->value
Get the value field from a vl-enumitem.
Vl-enumitem->range
Get the range field from a vl-enumitem.
Vl-enumitem->name
Get the name field from a vl-enumitem.
Change-vl-enumitem
Modifying constructor for vl-enumitem structures.
Vl-enumitem-p
Recognizer for vl-enumitem structures.
Vl-enumitem-fix
Fixing function for vl-enumitem structures.
Vl-enumitem-count
Measure for recurring over vl-enumitem structures.