		Search-engine friendly clone of the ACL2 documentation.

Vl-genelement

Vl-genblock

Representation of an explicit or implicit begin/end generate block.

This is a product type introduced by defprod.

Fields

name — vl-maybe-scopeid: The name of the block, if named.
elems — vl-genelementlist: Elements within the block.
condnestp — booleanp: Reflects special case where the block doesn't create a scope, in case of nested conditionals. See SystemVerilog-2012 27.5: a block within a conditional construct that has only one element, and is not surrounded by begin/end keywords, is not treated as a separate scope.
loc — vl-location: Location of the block in the Verilog source code.

See the documentation for vl-genbegin. A vl-genblock may represent an explicit begin/end construct, or might instead be something like the true or false branch of an if/else generate construct, etc.

Subtopics

Vl-genblock-equiv: Basic equivalence relation for vl-genblock structures.
Vl-genblock-p: Recognizer for vl-genblock structures.
Make-vl-genblock: Basic constructor macro for vl-genblock structures.
Vl-genblock->elems: Get the elems field from a vl-genblock.
Vl-genblock->condnestp: Get the condnestp field from a vl-genblock.
Change-vl-genblock: Modifying constructor for vl-genblock structures.
Vl-genblock->name: Get the name field from a vl-genblock.
Vl-genblock->loc: Get the loc field from a vl-genblock.
Vl-genblock-fix: Fixing function for vl-genblock structures.
Vl-genblock-count: Measure for recurring over vl-genblock structures.