		Search-engine friendly clone of the ACL2 documentation.

Edgesynth

Vl-edgesynth-get-delay

Extract the shared, simple delay from the controls for the assignment statements.

Signature
(vl-edgesynth-get-delay x) → maybe-natp
Arguments: x — Guard (and (vl-assigncontrols-p x) (vl-edgesynth-delays-okp x)).

Definitions and Theorems

Function: vl-edgesynth-get-delay

(defun vl-edgesynth-get-delay (x)
  (declare (xargs :guard (and (vl-assigncontrols-p x)
                              (vl-edgesynth-delays-okp x))))
  (let ((__function__ 'vl-edgesynth-get-delay))
    (declare (ignorable __function__))
    (vl-edgesynth-simple-delay->amount (car x))))