Search-engine friendly clone of the
ACL2 documentation
.
Top
Vl-modulelist->svex-modalist
Sv::vl-moddb.lisp
Subtopics
Vl-datatype-elem->mod-components
Vl-vardecllist->svex
Collects svex module components for a list of vardecls, by collecting results from
vl-vardecl->svex
.
Vl-vardecl->svex
Produce the svex wire declaration and any aliases, modinsts, and modules necessary for a given vardecl.
Vl-modinstlist->svex-assigns/aliases
Collects svex module components for a list of module/interface instances, by collecting results from
vl-modinst->svex-assigns/aliases
.
Vl-modinst->svex-assigns/aliases
Produces all the new svex module components associated with a VL module instance or instance array.
Vl-gateinst->svex-assigns/aliases
Produces all the new svex module components associated with a VL module instance or instance array.
Vl-streaming-unpack-to-svex-assign-top
Resolve an assignment where the LHS is a streaming concatenation, after converting the RHS expression to svex (untyped).
Vl-plainarglist-portinfo
Vl-plainarg-portinfo
Processes a module instance argument into a vl-portinfo structure.
Vl-gateinstlist->svex-assigns/aliases
Collects svex module components for a list of module/interface instances, by collecting results from
vl-gateinst->svex-assigns/aliases
.
Vl-datatype-dimension->mod-components-tr
Iterates over the indices of an array, creating svex module components for each index using
vl-datatype-elem->mod-components
Vl-instarray-plainarg-type-check
Vl-interfaceinst->svex
Produces the wires and aliases for an interface instantiation.
Vl-gate-plainarg-portinfo
Processes a gate instance argument into a vl-portinfo structure.
Vl-gate-plainarglist-portinfo
Vl-instarray-nested-aliases
Vl-fixup-wide-gate-inputs
(vl-fixup-wide-gate-inputs x)
maps
vl-fixup-wide-gate-input
across a list.
Vl-instarray-replicated-port-assigns
Vl-instarray-replicated-port-aliases
Vl-port-type-err-warn
Vl-interfaceport->svex
Produces svex wires, insts, aliases for an interface port.
Vl-gatetype-names/dirs/assigns
Vl-portinfo-to-svex-assign-or-alias
Vl-interfaceports->svex
Vl-datatype-dimension->mod-components
Iterates over the indices of an array, creating svex module components for each index using
vl-datatype-elem->mod-components
Vl-instarray-nonreplicated-port-lhs
Vl-portinfolist-to-svex-assigns/aliases
Vl-instarray-nonreplicated-port-lhs-aux
Vl-assign->svex-assign
Turn a VL assignment into an SVEX assignment or delayed assignment.
Vl-union-fields->mod-components
Iterates over the fields of a union, creating svex module components for each field using
vl-datatype-elem->mod-components
Vl-struct-fields->mod-components
Iterates over the fields of a struct, creating svex module components for each field using
vl-datatype-elem->mod-components
Vl-interface->svex-module
Translate a VL interface definition into an svex module.
Vl-assigns->svex-assigns
Collects svex module components for a list of assignments, by collecting results from
vl-assign->svex-assign
.
Vl-aliases->svex-aliases
Collects svex module components for a list of aliases by collecting results from
vl-alias->svex-alias
.
Vl-module->svex-module
Translate a VL module into an svex module, adding any auxiliary modules necessary.
Vl-datatype->mods
Create an svex module representing a datatype. This module declares the wire names that exist inside the datatype, contains module instances representing nested datatypes, and arranges aliases among the various pieces of different wires.
Vl-modulelist->svex-modalist
Vl-interfacelist->svex-modalist
Vl-alias->svex-alias
Turn a VL alias into an SVEX alias.
Vl-gate-make-svex-module
Vl-atts->svex
Vl-interfaceref-to-svar
Vl-vardecllist-sizes
Finds the packed size in bits for each variable in the list.
Vl-genblob->svex-modules
Given a
vl-genblob
, translate its contents into an svex
sv::module
.
Vl-gatetypenames-count-up
Vlsv-aggregate-superalias
Vl-vardecl-enum-constraint
Vl-fixup-wide-gate-input
Wrap an input to a gate instance in a truncation expression.
Vlsv-aggregate-aliases
Svex-lhs-from-name
Vl-vardecl-enum-fixup
Vl-maybe-gatedelay->delay
Extracts a delay amount from a vl-maybe-gatedelay.
Vl-interface-size
Vl-enumvalues->constraint
Vlsv-aggregate-subalias
Vl-portinfo
Svex-vars-from-names
Vl-portinfo-vars
Svex-lhses-from-names
Svex-gateinst-wirelist
Svcall-join
Svex-var-from-name
Svex-svar-from-name
Vl-portinfolist-vars
Vl-datatype->svex-modname
Vl-datatype->all-dims
Vl-enum-basetype-signedp
Vl-expr-is-extensional
Maybe-nat
Sv::maybe-modnamelist-p
Vl-portinfolist
A list of
vl-portinfo-p
objects.