User guide

D-35
Compiler Directives and System Tasks
$recrem
Reports a timing violation if a data event occurs less than a
specified time limit before or after a reference event. This timing
check is identical to the $setuphold timing check except that
typically the reference event is on a control signal and the data
event is on a clock signal. You can specify negative values for the
recovery and removal limits. The syntax is as follows:
$recrem(reference_event, data_event,
recovery_limit, removal_limit, notifier,
timestamp_cond, timecheck_cond, delay_reference,
delay_data);
See “The $recrem Timing Check Syntax” on page 14-11 for more
information. Also see IEEE Std 1364-2001 pages 246-248.
$removal
Reports a timing violation if a the reference event, typically an
asynchronous control signal, happens too soon after the data
event, the clock signal. See IEEE Std 1364-2001 pages 244-245.
$setup
Reports a timing violation when the data event happens before
and too close to the reference event.
See IEEE Std 1364-2001 page 241. This timing check also has
an extended syntax like the $recrem timing check. This extended
syntax is not described in IEEE Std 1364-2001.