		Search-engine friendly clone of the ACL2 documentation.

Vl-bindelim-insttable

Table associating module names to all the instances of that module and where they occur.

This is an ordinary fty::defalist.

Vl-bindelim-insttable-p: Recognizer for vl-bindelim-insttable.
Vl-bindelim-insttable-fix: (vl-bindelim-insttable-fix x) is an fty alist fixing function that follows the fix-keys strategy.
Vl-bindelim-extend-insttable: Straightforward extension of the vl-bindelim-insttable with a bunch of instances from some context.
Vl-bindelim-insttable-equiv: Basic equivalence relation for vl-bindelim-insttable structures.
Vl-bindelim-create-insttable: Create a vl-bindelim-insttable that summarizes the module instances throughout the entire design.
Vl-genblob-bindelim-insttable: Main function to recursively collect up the vl-bindelim-insttable from a module/interface/generate block. Recursively goes into generates.