		Search-engine friendly clone of the ACL2 documentation.

Transforms

Addinstnames

Name any unnamed gate or module instances

This transformation does nothing more than generate a name for every gate and module instance which are unnamed. The names are safely generated using a vl-namefactory-p and will have names such as modinst_11 and gateinst_46.

Subtopics

Vl-modulelist-addinstnames: (vl-modulelist-addinstnames x) maps vl-module-addinstnames across a list.
Vl-modinstlist-addinstnames: Name unnamed module instances.
Vl-gateinstlist-addinstnames: Name unnamed gate instances.
Vl-modinst-addinstnames: Name a module instance, if necessary.
Vl-gateinst-addinstnames: Name a gate instance, if necessary.
Vl-module-addinstnames: Name any unnamed module and gate instances throughout a module.
Vl-modinstlist-all-named-p: Are there any module instances that need names?
Vl-gateinstlist-all-named-p: Are there any gate instances that need names?
Vl-design-addinstnames