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
Getting-started
Utilities
Loader
Transforms
Lint
Mlib
Scopestack
Filtering-by-name
Vl-namefactory
Substitution
Allexprs
Hid-tools
Vl-consteval
Range-tools
Lvalexprs
Hierarchy
Vl-remove-unnecessary-elements
Vl-necessary-elements-transitive
Vl-dependent-elements-transitive
Vl-necessary-elements-direct
Vl-modulelist-everinstanced
Vl-dependent-elements-direct
Vl-modulelist-toplevel
Vl-design-deporder-modules
Vl-design-check-complete
Vl-design-upgraph
Immdeps
Immdeps-main
Vl-expr-immdeps
Vl-atomguts-immdeps
Vl-maybe-delayoreventcontrol-immdeps
Vl-packeddimensionlist-immdeps
Vl-namedparamvaluelist-immdeps
Vl-maybe-packeddimension-immdeps
Vl-delayoreventcontrol-immdeps
Vl-repeateventcontrol-immdeps
Vl-packeddimension-immdeps
Vl-namedparamvalue-immdeps
Vl-maybe-paramvalue-immdeps
Vl-paramvaluelist-immdeps
Vl-maybe-gatedelay-immdeps
Vl-maybe-datatype-immdeps
Vl-plainarglist-immdeps
Vl-paramtype-immdeps
Vl-namedarglist-immdeps
Vl-eventcontrol-immdeps
Vl-enumitemlist-immdeps
Vl-enumbasetype-immdeps
Vl-enumbasekind-immdeps
Vl-delaycontrol-immdeps
Vl-argumentlist-immdeps
Vl-paramvalue-immdeps
Vl-paramargs-immdeps
Vl-maybe-range-immdeps
Vl-maybe-expr-immdeps
Vl-gatedelay-immdeps
Vl-evatomlist-immdeps
Vl-arguments-immdeps
Vl-rangelist-immdeps
Vl-plainarg-immdeps
Vl-namedarg-immdeps
Vl-enumitem-immdeps
Vl-range-immdeps
Vl-modelement-immdeps
Vl-evatom-immdeps
Vl-interfaceportlist-immdeps
Vl-regularportlist-immdeps
Vl-modport-portlist-immdeps
Vl-interfaceport-immdeps
Vl-taskdecllist-immdeps
Vl-taskdecl-immdeps
Vl-portdecllist-immdeps
Vl-paramdecllist-immdeps
Vl-modport-port-immdeps
Vl-gateinstlist-immdeps
Vl-fundecl-immdeps
Vl-vardecllist-immdeps
Vl-typedeflist-immdeps
Vl-regularport-immdeps
Vl-paramdecl-immdeps
Vl-modportlist-immdeps
Vl-modinstlist-immdeps
Vl-modinst-immdeps
Vl-initiallist-immdeps
Vl-importlist-immdeps
Vl-gateinst-immdeps
Vl-fundecllist-immdeps
Vl-assignlist-immdeps
Vl-alwayslist-immdeps
Vl-vardecl-immdeps
Vl-typedef-immdeps
Vl-portlist-immdeps
Vl-portdecl-immdeps
Vl-modport-immdeps
Vl-initial-immdeps
Vl-assign-immdeps
Vl-aliaslist-immdeps
Vl-port-immdeps
Vl-import-immdeps
Vl-always-immdeps
Vl-alias-immdeps
Vl-immdeps
Immdeps-top
Vl-immdepgraph
Vl-depgraph
Vl-design-downgraph
Vl-collect-dependencies
Vl-hierarchy-free
Finding-by-name
Expr-tools
Expr-slicing
Stripping-functions
Stmt-tools
Modnamespace
Vl-parse-expr-from-str
Welltyped
Reordering-by-name
Flat-warnings
Genblob
Expr-building
Datatype-tools
Syscalls
Relocate
Expr-cleaning
Namemangle
Caremask
Port-tools
Lvalues
Server
Kit
Printer
Esim-vl
Well-formedness
Sv
Vwsim
Fgl
Vl
X86isa
Svl
Rtl
Software-verification
Math
Testing-utilities
Immdeps
Immdeps-main
Main functions for gathering immediate dependencies from parse tree elements.
Subtopics
Vl-expr-immdeps
Gather immediate dependencies for an expression.
Vl-atomguts-immdeps
Gather immediate dependencies from an atom.
Vl-maybe-delayoreventcontrol-immdeps
Vl-packeddimensionlist-immdeps
Vl-namedparamvaluelist-immdeps
Vl-maybe-packeddimension-immdeps
Vl-delayoreventcontrol-immdeps
Vl-repeateventcontrol-immdeps
Vl-packeddimension-immdeps
Vl-namedparamvalue-immdeps
Vl-maybe-paramvalue-immdeps
Vl-paramvaluelist-immdeps
Vl-maybe-gatedelay-immdeps
Vl-maybe-datatype-immdeps
Vl-plainarglist-immdeps
Vl-paramtype-immdeps
Vl-namedarglist-immdeps
Vl-eventcontrol-immdeps
Vl-enumitemlist-immdeps
Vl-enumbasetype-immdeps
Vl-enumbasekind-immdeps
Vl-delaycontrol-immdeps
Vl-argumentlist-immdeps
Vl-paramvalue-immdeps
Vl-paramargs-immdeps
Vl-maybe-range-immdeps
Vl-maybe-expr-immdeps
Vl-gatedelay-immdeps
Vl-evatomlist-immdeps
Vl-arguments-immdeps
Vl-rangelist-immdeps
Vl-plainarg-immdeps
Vl-namedarg-immdeps
Vl-enumitem-immdeps
Vl-range-immdeps
Vl-modelement-immdeps
Vl-evatom-immdeps
Vl-interfaceportlist-immdeps
Vl-regularportlist-immdeps
Vl-modport-portlist-immdeps
Vl-interfaceport-immdeps
Vl-taskdecllist-immdeps
Vl-taskdecl-immdeps
Vl-portdecllist-immdeps
Vl-paramdecllist-immdeps
Vl-modport-port-immdeps
Vl-gateinstlist-immdeps
Vl-fundecl-immdeps
Vl-vardecllist-immdeps
Vl-typedeflist-immdeps
Vl-regularport-immdeps
Vl-paramdecl-immdeps
Vl-modportlist-immdeps
Vl-modinstlist-immdeps
Vl-modinst-immdeps
Vl-initiallist-immdeps
Vl-importlist-immdeps
Vl-gateinst-immdeps
Vl-fundecllist-immdeps
Vl-assignlist-immdeps
Vl-alwayslist-immdeps
Vl-vardecl-immdeps
Vl-typedef-immdeps
Vl-portlist-immdeps
Vl-portdecl-immdeps
Vl-modport-immdeps
Vl-initial-immdeps
Vl-assign-immdeps
Vl-aliaslist-immdeps
Vl-port-immdeps
Vl-import-immdeps
Vl-always-immdeps
Vl-alias-immdeps