Lines Matching defs:required_transition
201 double required_transition = 40e-12;
216 while(required_transition < transition)
219 ": Required transition = " + (String)required_transition +
221 ", Slack = " + (String)(required_transition - transition) +
225 while(required_transition < transition)
236 Log::printLine(getInstanceName() + " -> Slack: " + (String)(required_transition - transition));
239 if(required_transition < transition)
250 ": Required transition = " + (String)required_transition +
252 ", Slack = " + (String)(required_transition - transition) +
292 ": Required transition = " + (String)required_transition +
294 ", Slack = " + (String)(required_transition - transition) +
298 while(required_transition < transition)
303 ": Required transition = " + (String)required_transition +
305 ", Slack = " + (String)(required_transition - transition);
316 if(required_transition < transition)