crpr with pocv min/max libs

This commit is contained in:
James Cherry 2019-12-24 09:04:43 -08:00
parent 5df4091a83
commit afa58b5001
1 changed files with 6 additions and 3 deletions

View File

@ -295,9 +295,12 @@ CheckCrpr::findCrpr1(const PathVertex *src_clk_path,
// sigma of the common clock path.
const EarlyLate *src_el = src_clk_path->minMax(this);
const EarlyLate *tgt_el = tgt_clk_path->minMax(this);
float crpr_sigma2 = delaySigma2(src_clk_path->arrival(this), src_el)
+ delaySigma2(src_clk_path->arrival(this), tgt_el);
return makeDelay2(0.0, -crpr_sigma2, -crpr_sigma2);
Arrival src_arrival = src_clk_path->arrival(this);
Arrival tgt_arrival = tgt_clk_path->arrival(this);
float crpr_mean = delayAsFloat(src_arrival) - delayAsFloat(tgt_arrival);
float crpr_sigma2 = delaySigma2(src_arrival, src_el)
+ delaySigma2(tgt_arrival, tgt_el);
return makeDelay2(abs(crpr_mean), -crpr_sigma2, -crpr_sigma2);
}
else {
// The source and target edges are different so the crpr