Search-engine friendly clone of the
ACL2 documentation
.
Top
Documentation
Books
Boolean-reasoning
Debugging
Projects
Std
Proof-automation
Macro-libraries
ACL2
Interfacing-tools
Hardware-verification
Gl
Esim
Vl2014
Sv
Vwsim
Fgl
Vl
Syntax
Loader
Warnings
Getting-started
Utilities
Printer
Kit
Mlib
Transforms
Unparameterization
Elaborate
Addnames
Annotate
Increment-elim
Make-implicit-wires
Shadowcheck
Implicit-wires-minutia
Implicit-wires-generate-scoping
Vl-genbase-make-implicit-wires
Vl-expr-names-for-implicit
Vl-expr-names-for-implicit-nrev
Vl-exprlist-names-for-implicit-nrev
Vl-exprlist-names-for-implicit
Vl-make-implicit-wires-main
Vl-implicitst
Vl-make-port-implicit-wires
Vl-import-update-implicit
Vl-blockitemlist-update-implicit
Vl-blockitem-update-implicit
Vl-make-ordinary-implicit-wires
Vl-remove-declared-wires
Vl-implicitsts-restore-fast-alists
Vl-genblock-under-cond-make-implicit-wires
Vl-collect-exprs-for-implicit-wires-from-namedargs
Vl-genblock-make-implicit-wires
Vl-collect-exprs-for-implicit-wires-from-portargs
Vl-collect-exprs-for-implicit-wires-from-namedarg
Vl-gateinst-exprs-for-implicit-wires
Vl-modinst-exprs-for-implicit-wires
Vl-genelementlist-make-implicit-wires
Vl-packagemap-find-name
Basic-bind-elim
Argresolve
Basicsanity
Portdecl-sign
Enum-names
Port-resolve
Udp-elim
Vl-annotate-design
Vl-annotate-module
Clean-warnings
Eliminitial
Custom-transform-hooks
Problem-modules
X86isa
Svl
Rtl
Software-verification
Math
Testing-utilities
Vl-expr-names-for-implicit
Vl-expr-names-for-implicit-nrev
Signature
(vl-expr-names-for-implicit-nrev x nrev) → nrev
Arguments
x
—
Guard
(
vl-expr-p
x)
.
Subtopics
Vl-exprlist-names-for-implicit-nrev