		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
finals — vl-finallist
typedefs — vl-typedeflist
imports — vl-importlist
fwdtypedefs — vl-fwdtypedeflist
modports — vl-modportlist
genvars — vl-genvarlist
assertions — vl-assertionlist
cassertions — vl-cassertionlist
properties — vl-propertylist
sequences — vl-sequencelist
clkdecls — vl-clkdecllist
gclkdecls — vl-gclkdecllist
defaultdisables — vl-defaultdisablelist
dpiimports — vl-dpiimportlist
dpiexports — vl-dpiexportlist
binds — vl-bindlist
classes — vl-classlist
covergroups — vl-covergrouplist
elabtasks — vl-elabtasklist
letdecls — vl-letdecllist
generates — vl-genelementlist
ports — vl-portlist
scopetype — vl-scopetype-p
id — vl-maybe-scopeid: Name of the subscope, or index in the case of a genarrayblock.

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-p: Recognizer for vl-genblob structures.
Vl-genblob-count
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->defaultdisables: Get the defaultdisables field from a vl-genblob.
Vl-genblob->fwdtypedefs: Get the fwdtypedefs field from a vl-genblob.
Vl-genblob->dpiimports: Get the dpiimports field from a vl-genblob.
Vl-genblob->dpiexports: Get the dpiexports field from a vl-genblob.
Vl-genblob->covergroups: Get the covergroups field from a vl-genblob.
Vl-genblob->cassertions: Get the cassertions 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->sequences: Get the sequences field from a vl-genblob.
Vl-genblob->scopetype: Get the scopetype field from a vl-genblob.
Vl-genblob->properties: Get the properties 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->letdecls: Get the letdecls field from a vl-genblob.
Vl-genblob->initials: Get the initials field from a vl-genblob.
Vl-genblob->genvars: Get the genvars field from a vl-genblob.
Vl-genblob->generates: Get the generates field from a vl-genblob.
Vl-genblob->gclkdecls: Get the gclkdecls 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->elabtasks: Get the elabtasks field from a vl-genblob.
Vl-genblob->clkdecls: Get the clkdecls field from a vl-genblob.
Vl-genblob->assertions: Get the assertions field from a vl-genblob.
Vl-genblob->alwayses: Get the alwayses field from a vl-genblob.
Vl-genblob->ports: Get the ports 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->id: Get the id field from a vl-genblob.
Vl-genblob->finals: Get the finals field from a vl-genblob.
Vl-genblob->classes: Get the classes field from a vl-genblob.
Vl-genblob->binds: Get the binds field from a vl-genblob.
Vl-genblob->assigns: Get the assigns field from a vl-genblob.
Vl-genblob->aliases: Get the aliases field from a vl-genblob.