Top

Vl-propexpr

Vl-propalways

An always or s_always property expression.

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

Fields

strongp — booleanp: True when this is an s_always.
range — vl-maybe-range: The range applied to this always if applicable. For instance, in always [2:3] foo, the range is [2:3]. A plain always may or may not have a range, but an s_always should always have one. We don't enforce this in our data structures, but it is enforced by the parser.
prop — vl-propexpr: The property being tested, e.g., foo in always foo.

Subtopics

Vl-propalways->strongp: Get the strongp field from a vl-propalways.
Vl-propalways->range: Get the range field from a vl-propalways.
Vl-propalways->prop: Get the prop field from a vl-propalways.
Make-vl-propalways: Basic constructor macro for vl-propalways structures.
Change-vl-propalways: Modifying constructor for vl-propalways structures.