Top

Vl-stmt

Vl-timingstmt

Representation of timing statements.

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

Fields

ctrl — vl-delayoreventcontrol
body — vl-stmt
atts — vl-atts: Any (* foo, bar = 1*) style attributes associated with this statement.

General Form:

<ctrl> <body>

Examples:

#3 foo = bar;
@@(posedge clk) foo = bar;
@@(bar or baz) foo = bar | baz;

Subtopics

Vl-timingstmt->ctrl: Get the ctrl field from a vl-timingstmt.
Make-vl-timingstmt: Basic constructor macro for vl-timingstmt structures.
Vl-timingstmt->body: Get the body field from a vl-timingstmt.
Vl-timingstmt->atts: Get the atts field from a vl-timingstmt.
Change-vl-timingstmt: Modifying constructor for vl-timingstmt structures.