		Search-engine friendly clone of the ACL2 documentation.

Genblob

Vl-genblob

A collection of module elements (see vl-modelement), generates, and ports.

This is a product type introduced by defprod.

Fields

portdecls — vl-portdecllist
assigns — vl-assignlist
aliases — vl-aliaslist
vardecls — vl-vardecllist
paramdecls — vl-paramdecllist
fundecls — vl-fundecllist
taskdecls — vl-taskdecllist
modinsts — vl-modinstlist
gateinsts — vl-gateinstlist
alwayses — vl-alwayslist
initials — vl-initiallist
typedefs — vl-typedeflist
imports — vl-importlist
fwdtypedefs — vl-fwdtypedeflist
modports — vl-modportlist
genvars — vl-genvarlist
generates — vl-genelementlist
ports — vl-portlist
name — maybe-string: Just a debugging aide, not intended to be semantically meaningful.

A genblob can be made from a vl-genelementlist-p by sorting the elements by type; see vl-sort-genelements.

Its fields each contain the list of elements of the given type.

Subtopics

Vl-genblob-count
Vl-genblob-p: Recognizer for vl-genblob structures.
Vl-genblob-fix: Fixing function for vl-genblob structures.
Make-vl-genblob: Basic constructor macro for vl-genblob structures.
Change-vl-genblob: Modifying constructor for vl-genblob structures.
Vl-genblob-equiv: Basic equivalence relation for vl-genblob structures.
Vl-genblob->fwdtypedefs: Get the fwdtypedefs field from a vl-genblob.
Vl-genblob->vardecls: Get the vardecls field from a vl-genblob.
Vl-genblob->typedefs: Get the typedefs field from a vl-genblob.
Vl-genblob->taskdecls: Get the taskdecls field from a vl-genblob.
Vl-genblob->portdecls: Get the portdecls field from a vl-genblob.
Vl-genblob->paramdecls: Get the paramdecls field from a vl-genblob.
Vl-genblob->modports: Get the modports field from a vl-genblob.
Vl-genblob->modinsts: Get the modinsts field from a vl-genblob.
Vl-genblob->initials: Get the initials field from a vl-genblob.
Vl-genblob->generates: Get the generates field from a vl-genblob.
Vl-genblob->gateinsts: Get the gateinsts field from a vl-genblob.
Vl-genblob->fundecls: Get the fundecls field from a vl-genblob.
Vl-genblob->ports: Get the ports field from a vl-genblob.
Vl-genblob->name: Get the name field from a vl-genblob.
Vl-genblob->imports: Get the imports field from a vl-genblob.
Vl-genblob->ifports: Collect just the interface ports for a genblob.
Vl-genblob->genvars: Get the genvars field from a vl-genblob.
Vl-genblob->assigns: Get the assigns field from a vl-genblob.
Vl-genblob->alwayses: Get the alwayses field from a vl-genblob.
Vl-genblob->aliases: Get the aliases field from a vl-genblob.