		Search-engine friendly clone of the ACL2 documentation.

Vl-expr

Vl-partselect-expr

A part select operator applied to an expression. Typically the subexpression is some sort of concatenation, since this is what the SystemVerilog grammar allows. E.g. {sub}[idx].

This is a product type, introduced by deftagsum in support of vl-expr.

Fields

subexp — vl-expr: The expression to apply the bitselect to
part — vl-partselect: The range to select
atts — vl-atts: Any (* foo = bar, baz *) style attributes.

Subtopics

Vl-partselect-expr->subexp: Get the subexp field from a vl-partselect-expr.
Vl-partselect-expr->part: Get the part field from a vl-partselect-expr.
Vl-partselect-expr->atts: Get the atts field from a vl-partselect-expr.
Make-vl-partselect-expr: Basic constructor macro for vl-partselect-expr structures.
Change-vl-partselect-expr: Modifying constructor for vl-partselect-expr structures.