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
Sv
Vwsim
Fgl
Vl
Syntax
Loader
Warnings
Getting-started
Utilities
Printer
Kit
Mlib
Scopestack
Hid-tools
Filtering-by-name
Vl-interface-mocktype
Stripping-functions
Genblob
Expr-tools
Extract-vl-types
Hierarchy
Range-tools
Finding-by-name
Fast-finding-by-name
Vl-interfaceportlist-alist
Vl-genelementlist-alist
Vl-vardecllist-alist
Vl-portdecllist-alist
Vl-paramdecllist-alist
Vl-interfacelist-alist
Vl-gateinstlist-alist
Vl-fundecllist-alist
Vl-dpiimportlist-alist
Vl-typedeflist-alist
Vl-taskdecllist-alist
Vl-programlist-alist
Vl-packagelist-alist
Vl-modulelist-alist
Vl-modportlist-alist
Vl-modinstlist-alist
Vl-genvarlist-alist
Vl-configlist-alist
Vl-classlist-alist
Vl-udplist-alist
Vl-vardecl-alist
Vl-typedef-alist
Vl-taskdecl-alist
Vl-taskdecl-alist-p
Vl-taskdecl-alist-fix
Vl-taskdecl-alist-equiv
Vl-program-alist
Vl-portdecl-alist
Vl-paramdecl-alist
Vl-package-alist
Vl-module-alist
Vl-modport-alist
Vl-modinst-alist
Vl-interfaceport-alist
Vl-interface-alist
Vl-genvar-alist
Vl-genelement-alist
Vl-gateinst-alist
Vl-fundecl-alist
Vl-dpiimport-alist
Vl-config-alist
Vl-class-alist
Vl-udp-alist
Vl-find-interfaceport
Vl-find-portdecl
Vl-find-taskdecl
Vl-find-paramdecl
Vl-find-interface
Vl-find-gateinst
Vl-find-dpiimport
Vl-find-vardecl
Vl-find-typedef
Vl-find-program
Vl-find-package
Vl-find-module
Vl-find-modport
Vl-find-modinst
Vl-find-genelement
Vl-find-fundecl
Vl-find-genvar
Vl-find-config
Vl-find-class
Vl-find-udp
Vl-modalist
Vl-make-portdecl-alist
Vl-fast-find-module
Vl-fast-find-portdecl
Stmt-tools
Modnamespace
Flat-warnings
Reordering-by-name
Datatype-tools
Syscalls
Allexprs
Lvalues
Port-tools
Transforms
X86isa
Svl
Rtl
Software-verification
Math
Testing-utilities
Fast-finding-by-name
Vl-taskdecl-alist
An alist mapping
stringp
to
vl-taskdecl-p
.
This is an ordinary
fty::defalist
.
Subtopics
Vl-taskdecl-alist-p
Recognizer for
vl-taskdecl-alist
.
Vl-taskdecl-alist-fix
(vl-taskdecl-alist-fix x)
is an
fty
alist fixing function that follows the fix-keys strategy.
Vl-taskdecl-alist-equiv
Basic equivalence relation for
vl-taskdecl-alist
structures.