Search-engine friendly clone of the
ACL2 documentation
.
Top
Documentation
Books
Boolean-reasoning
Projects
Debugging
Std
Proof-automation
Macro-libraries
ACL2
Interfacing-tools
Hardware-verification
Gl
Esim
Vl2014
Warnings
Primitives
Use-set
Syntax
Vl-module
Vl-vardecl
Expressions
Vl-fundecl
Vl-assign
Vl-gateinst
Vl-modinst
Vl-commentmap
Vl-portdecl
Vl-taskdecl
Vl-design
Vl-interface
Vl-plainarglist->exprs
Vl-taskdecllist->names
Vl-fundecllist->names
Vl-package
Vl-port
Vl-udp
Vl-paramdecl
Vl-genelement
Vl-cycledelayrange
Vl-namedarg
Vl-sort-blockitems-aux
Vl-distitem
Vl-gatedelay
Vl-repetition
Vl-typedef
Vl-range
Vl-gatestrength
Vl-program
Vl-config
Vl-always
Vl-datatype-update-dims
Vl-import
Vl-enumbasetype
Vl-repeateventcontrol
Vl-paramargs
Vl-initial
Vl-eventcontrol
Vl-udpsymbol-p
Vl-maybe-range
Vl-maybe-nettypename
Vl-maybe-gatestrength
Vl-maybe-gatedelay
Vl-maybe-delayoreventcontrol
Vl-alias
Maybe-string-fix
Vl-maybe-packeddimension
Vl-fwdtypedef
Vl-evatom
Vl-packeddimension-p
Vl-maybe-udpsymbol
Vl-maybe-module
Vl-maybe-direction
Vl-maybe-datatype
Vl-maybe-cstrength
Vl-direction-p
Vl-arguments
Vl-maybe-design
Vl-udpline
Vl-exprdist
Vl-context1
Vl-genvar
Vl-enumitem
Vl-datatype-update-udims
Vl-datatype-update-pdims
Vl-modelement
Vl-udpedge
Vl-delaycontrol
Vl-context
Vl-sort-blockitems
Vl-distweighttype-p
Vl-ctxelement->loc
Vl-blockitem
Vl-vardecllist
Vl-module->ifports
Vl-modelement->loc
Vl-ctxelement
Vl-coretypename-p
Vl-packeddimensionlist
Vl-modelementlist->genelements
Vl-gatetype-p
Vl-paramdecllist
Vl-lifetime-p
Vl-datatype->udims
Vl-datatype->pdims
Vl-timeunit-p
Vl-repetitiontype-p
Vl-port->name
Vl-importlist
Vl-genelement->loc
Vl-delayoreventcontrol
Vl-cstrength-p
Statements
Vl-udpentry-p
Vl-packeddimension-fix
Vl-nettypename-p
Vl-portdecllist
Vl-port->loc
Vl-enumbasekind-fix
Vl-arguments->args
Vl-taskdecllist
Vl-portlist
Vl-importpart-p
Vl-importpart-fix
Vl-fundecllist
Vl-blockstmt-p
Vl-assignlist
Vl-alwaystype-p
Vl-typedeflist
Vl-syntaxversion-p
Vl-randomqualifier-p
Vl-modinstlist
Vl-gateinstlist
Vl-blockitemlist
Vl-udptable
Vl-udplist
Vl-udpentrylist
Vl-programlist
Vl-paramvaluelist
Vl-packagelist
Vl-namedparamvaluelist
Vl-namedarglist
Vl-modulelist
Vl-modportlist
Vl-modport-portlist
Vl-interfacelist
Vl-initiallist
Vl-genvarlist
Vl-fwdtypedeflist
Vl-evatomlist
Vl-enumitemlist
Vl-distlist
Vl-configlist
Vl-alwayslist
Vl-aliaslist
Vl-regularportlist
Vl-rangelist-list
Vl-rangelist
Vl-paramdecllist-list
Vl-modelementlist
Vl-maybe-range-list
Vl-interfaceportlist
Vl-argumentlist
Data-types
Vl-structmember
Vl-datatype
Vl-datatype-p
Vl-coredatatype-info
Vl-coredatatype-info-fix
Vl-coredatatype-info-equiv
Make-vl-coredatatype-info
Vl-coredatatype-info->takes-dimensionsp
Vl-coredatatype-info->takes-signingp
Vl-coredatatype-info->default-signedp
Vl-coredatatype-info->coretypename
Vl-coredatatype-info-p
Vl-coredatatype-info->4valuedp
Change-vl-coredatatype-info
Vl-coredatatype-info->size
Vl-coredatatype-info->keyword
Vl-datatype-case
Vl-coretype
Vl-union
Vl-struct
Vl-enum
Vl-datatype-equiv
Vl-usertype
Vl-datatype->packedp
Vl-datatype-kind
Vl-coretypename->info
*vl-core-data-type-table*
Vl-datatype-fix
Vl-datatype-count
*vl-plain-old-wire-type*
*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*
Vl-structmemberlist
Getting-started
Utilities
Loader
Transforms
Lint
Mlib
Server
Kit
Printer
Esim-vl
Well-formedness
Sv
Vwsim
Fgl
Vl
X86isa
Svl
Rtl
Software-verification
Math
Testing-utilities
Vl-datatype
Vl-coredatatype-info
Structure to store properties of a coretype.
This is a product type introduced by
defprod
.
Fields
coretypename —
vl-coretypename-p
name of the coretype
keyword —
symbolp
parser keyword for the name
default-signedp —
booleanp
what's the default signedness?
takes-signingp —
booleanp
does it have an optional [signing] part?
takes-dimensionsp —
booleanp
does it optionally take dimensions?
4valuedp —
booleanp
Is each bit of it 4-valued (as opposed to 2-valued)?
size —
maybe-natp
Size, when an integer vector type, nil otherwise
Subtopics
Vl-coredatatype-info-fix
Fixing function for
vl-coredatatype-info
structures.
Vl-coredatatype-info-equiv
Basic equivalence relation for
vl-coredatatype-info
structures.
Make-vl-coredatatype-info
Basic constructor macro for
vl-coredatatype-info
structures.
Vl-coredatatype-info->takes-dimensionsp
Get the
takes-dimensionsp
field from a
vl-coredatatype-info
.
Vl-coredatatype-info->takes-signingp
Get the
takes-signingp
field from a
vl-coredatatype-info
.
Vl-coredatatype-info->default-signedp
Get the
default-signedp
field from a
vl-coredatatype-info
.
Vl-coredatatype-info->coretypename
Get the
coretypename
field from a
vl-coredatatype-info
.
Vl-coredatatype-info-p
Recognizer for
vl-coredatatype-info
structures.
Vl-coredatatype-info->4valuedp
Get the
4valuedp
field from a
vl-coredatatype-info
.
Change-vl-coredatatype-info
Modifying constructor for
vl-coredatatype-info
structures.
Vl-coredatatype-info->size
Get the
size
field from a
vl-coredatatype-info
.
Vl-coredatatype-info->keyword
Get the
keyword
field from a
vl-coredatatype-info
.