check limits ignore -inf slack results
This commit is contained in:
parent
035c9c3cee
commit
0bc7169bd3
|
|
@ -252,7 +252,7 @@ CheckCapacitanceLimits::pinCapacitanceLimitViolations(Instance *inst,
|
|||
const RiseFall *rf;
|
||||
float capacitance, limit, slack;
|
||||
checkCapacitance(pin, corner, min_max, corner1, rf, capacitance, limit, slack );
|
||||
if (rf && slack < 0.0)
|
||||
if (rf && slack < 0.0 && !fuzzyInf(slack))
|
||||
violators->push_back(pin);
|
||||
}
|
||||
}
|
||||
|
|
|
|||
|
|
@ -226,7 +226,7 @@ CheckFanoutLimits::pinFanoutLimitViolations(Instance *inst,
|
|||
float fanout;
|
||||
float limit, slack;
|
||||
checkFanout(pin, min_max, fanout, limit, slack );
|
||||
if (slack < 0.0)
|
||||
if (slack < 0.0 && !fuzzyInf(slack))
|
||||
violators->push_back(pin);
|
||||
}
|
||||
}
|
||||
|
|
|
|||
|
|
@ -309,7 +309,7 @@ CheckSlewLimits::pinSlewLimitViolations(Instance *inst,
|
|||
Slew slew;
|
||||
float limit, slack;
|
||||
checkSlew(pin, corner, min_max, true, corner1, rf, slew, limit, slack);
|
||||
if (rf && slack < 0.0)
|
||||
if (rf && slack < 0.0 && !fuzzyInf(slack))
|
||||
violators->push_back(pin);
|
||||
}
|
||||
delete pin_iter;
|
||||
|
|
|
|||
Loading…
Reference in New Issue