You are on page 1of 1

6/2/2014 SDF Warnings: Relevance

https://solvnet.synopsys.com/retrieve/print/022330.html 1/1

SDF Warnings: Relevance
Doc Id: 022330 Product: VCS Last Modified: 11/14/2007
Question:
What do these three SDF warnings mean?
SDF Warning: Negative INTERCONNECT DELAY SRC_PATH to DEST_PATH ignored.
SDF Warning: Negative IOPATH DELAY SRC_PIN to DEST_PIN ignored.
SDF Warning: Negative Timing Check delay of signal INPUT_PIN is larger than module path delay.
Answer:
SDF Warning: Negative INTERCONNECT DELAY SRC_PATH to DEST_PATH ignored.
SDF Warning: Negative IOPATH DELAY SRC_PIN to DEST_PIN ignored.
Explanation: -negdelay is a switch that handles the negative INTERCONNECT/IOPATH
delay as much as possible by countering the -ve value with some related positive delay,
when our algorithm can't find a proper positive delay to handle the -ve delay,
a warning will still be raised and the -ve value is ignored.
SDF Warning: Negative Timing Check delay of signal INPUT_PIN is larger than module path delay.
Explanation: Such warnings are referring to IEEE Std 1364-2005(P262-263):
"
If a timing check signal becomes delayed by more than the propagation
delay from that signal to an output, that output shall take longer
than its propagation delay to change. It shall instead transition at
the same time that the delayed timing check signal changes. Thus, the
output shall behave as if its specify path delay were equal to the
delay applied to the timing check signal. This situation can only
arise when unique setup/hold or removal/recovery times are given for
each edge of the data signal.
For example:
(CLK = Q) = 6;
$setuphold (posedge CLK, posedge D, -3, 8, , , , dCLK, dD); $setuphold
(posedge CLK, negedge D, -7, 13, , , , dCLK, dD); The setup time of -7
(the larger in absolute value of -3 and
-7) creates a delay of 7 for dCLK; therefore, output Q shall not
change until 7 time units after a positive edge on CLK, rather than
the 6 time units given in the specify path.
2014 Synopsys, Inc. All Rights Reserved.

You might also like