		Search-engine friendly clone of the ACL2 documentation.

Syntax

Vl-evatom

A single item in an event control list.

This is a product type introduced by defprod.

Fields

type — vl-evatomtype-p: Kind of atom, e.g., posedge, negedge, or plain.
expr — vl-expr: Associated expression, e.g., foo for posedge foo.

Event expressions and controls are described in Section 9.7.

We represent the expressions for an event control (see vl-eventcontrol-p) as a list of vl-evatom-p structures. Each individual evatom is either a plain Verilog expression, or is posedge or negedge applied to a Verilog expression.

Subtopics

Vl-evatom-p: Recognizer for vl-evatom structures.
Vl-evatom-fix: Fixing function for vl-evatom structures.
Vl-evatom-equiv: Basic equivalence relation for vl-evatom structures.
Make-vl-evatom: Basic constructor macro for vl-evatom structures.
Vl-evatom->type: Get the type field from a vl-evatom.
Vl-evatom->expr: Get the expr field from a vl-evatom.
Change-vl-evatom: Modifying constructor for vl-evatom structures.