		Search-engine friendly clone of the ACL2 documentation.

Syntax

Vl-repeateventcontrol

Representation of repeat constructs in intra-assignment delays.

This is a product type introduced by defprod.

Fields

expr — vl-expr: The number of times to repeat the control, e.g., 3 in the below example.
ctrl — vl-eventcontrol: Says which event to wait for, e.g., @(posedge clk) in the below example.

See Section 9.7.7 of the Verilog-2005 standard. These are used to represent special intra-assignment delays, where the assignment should not occur until some number of occurrences of an event. For instance:

a = repeat(3) @(posedge clk)   <-- repeat expr ctrl
      b;                       <-- statement to repeat

BOZO Consider consolidating all of these different kinds of controls into a single, unified representation. E.g., you could at least extend eventcontrol with a maybe-expr that is its count, and get rid of repeateventcontrol.

Subtopics

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