		Search-engine friendly clone of the ACL2 documentation.

Lint

Lucid

Check for unused, unset, spurious wires, and multiply driven wires.

Subtopics

Vl-lucidstate: State for the lucid transform.
Vl-lucidstate-init: Construct the initial lucid state for a design.
Vl-lucid-dissect-pair
Vl-hidslice-mark
Vl-lucid-dissect-var-main
Vl-lucid-multidrive-detect
Vl-lucid-filter-merges: Group up occurrences into those to be merged (into a merge alist) and those not to be merged (into a regular list).
Vl-hidsolo-mark
Vl-maybe-delayoreventcontrol-lucidcheck
Vl-maybe-packeddimension-lucidcheck
Vl-delayoreventcontrol-lucidcheck
Vl-repeateventcontrol-lucidcheck
Vl-packeddimensionlist-lucidcheck
Vl-namedparamvaluelist-lucidcheck
Vl-hidtrace-mark-interfaces
Vl-hidstep-mark-interfaces
Vl-maybe-paramvalue-lucidcheck
Vl-paramvaluelist-lucidcheck
Vl-packeddimension-lucidcheck
Vl-namedparamvalue-lucidcheck
Vl-maybe-gatedelay-lucidcheck
Vl-rhsatom-lucidcheck
Vl-plainarglist-lucidcheck
Vl-namedarglist-lucidcheck
Vl-lucidstate-mark
Vl-lucid-mark-simple
Vl-eventcontrol-lucidcheck
Vl-enumitemlist-lucidcheck
Vl-enumbasetype-lucidcheck
Vl-enumbasekind-lucidcheck
Vl-delaycontrol-lucidcheck
Vl-plainarg-lucidcheck
Vl-paramvalue-lucidcheck
Vl-paramargs-lucidcheck
Vl-maybe-rhsexpr-lucidcheck
Vl-maybe-range-lucidcheck
Vl-gatedelay-lucidcheck
Vl-evatomlist-lucidcheck
Vl-arguments-lucidcheck
Vl-rangelist-lucidcheck
Vl-namedarg-lucidcheck
Vl-enumitem-lucidcheck
Vl-custom-suppress-multidrive-p: Mechanism for custom suppression of multidrive warnings.
Vl-evatom-lucidcheck
Vl-range-lucidcheck
Vl-pps-lucidstate: Pretty-printer for debugging the lucid state.
Vl-lucid-valid-bits-for-datatype
Vl-lucidocclist-drop-bad-modinsts: Removes occurrences from unresolved module instances.
Vl-paramdecl-lucidcheck
Vl-lucid-dissect-database
Vl-interfaceportlist-lucidcheck
Vl-interfaceport-lucidcheck
Vl-taskdecllist-lucidcheck
Vl-taskdecl-lucidcheck
Vl-portdecllist-lucidcheck
Vl-paramdecllist-lucidcheck
Vl-interfacelist-lucidcheck
Vl-gateinstlist-lucidcheck
Vl-fundecl-lucidcheck
Vl-design-lucidcheck-main
Vl-vardecllist-lucidcheck
Vl-vardecl-lucidcheck
Vl-typedeflist-lucidcheck
Vl-portdecl-lucidcheck
Vl-packagelist-lucidcheck
Vl-package-lucidcheck
Vl-modulelist-lucidcheck
Vl-modinstlist-lucidcheck
Vl-modinst-lucidcheck
Vl-interface-lucidcheck
Vl-initiallist-lucidcheck
Vl-gateinst-lucidcheck
Vl-fundecllist-lucidcheck
Vl-assignlist-lucidcheck
Vl-alwayslist-lucidcheck
Vl-typedef-lucidcheck
Vl-initial-lucidcheck
Vl-design-lucid
Vl-assign-lucidcheck
Vl-module-lucidcheck
Vl-always-lucidcheck
Vl-lucidocclist-drop-foreign-writes
Vl-lucid-valid-bits-for-decl
Vl-custom-suppress-multidrive-p-default
Vl-lucidmergealist-count
Vl-lucid-scopestack-subscope-p: Determine if scopestack a occurs within scopestack b.
Vl-lucid-collect-solo-occs
Vl-lucid-collect-resolved-slices
Vl-lucid-pp-multibits
Vl-lucid-ctx
Vl-lucidocclist-drop-initials: Remove all occurrences that are from initial statements.
Vl-lucidocclist-drop-generates: Removes all occurrences that are inside of generate blocks.
Vl-lucid-slices-append-bits
Vl-lucid-first-solo-occ
Vl-lucid-do-merges1
Vl-lucid-do-merges: Combine the occurrences in the merge alist into single occurrences.
Vl-lucidocclist-remove-tails
Vl-lucid-some-solo-occp
Vl-lucid-resolved-slices->bits
Vl-lucid-resolved-slice->bits
Vl-scopestack-top-level-name
Vl-normalize-scopestack
Vl-lucid-resolved-slice-p
Vl-lucid-all-slices-resolved-p: (vl-lucid-all-slices-resolved-p x) recognizes lists where every element satisfies vl-lucid-resolved-slice-p.
Vl-lucid-range->bits
Vl-lucid-plainarglist-nicely-resolved-p: (vl-lucid-plainarglist-nicely-resolved-p x) recognizes lists where every element satisfies vl-lucid-plainarg-nicely-resolved-p.
Vl-lucid-multidrive-summary
Vl-pp-lucid-multidrive-summary
Vl-lucid-dissect
Vl-lucid-all-slices-p: (vl-lucid-all-slices-p x) recognizes lists where every element satisfies eq.
Vl-lucidocclist-some-transistory-p
Vl-lucidocc-transistory-p
Vl-lucid-plainarg-nicely-resolved-p
Vl-inside-true-generate-p
Vl-lucid-z-gateinst-p
Vl-lucid-modinst-nicely-resolved-p
Vl-inside-interface-p
Vl-inside-blockscope-p
Vl-lucid-z-expr-p
Vl-lucid-z-assign-p
Vl-lucidmergealist: An alist mapping vl-context1-p to vl-lucidocclist-p.
Vl-lucid-summarize-bits
Vl-pp-merged-index-list
Vl-pp-merged-index
Vl-lucid-pp-bits
Vl-fast-range-p