From f10480f9bcbe89c8d15f47609a7bfbce3f5a938e Mon Sep 17 00:00:00 2001 From: Alan Mishchenko Date: Tue, 30 Jul 2013 00:18:57 -0700 Subject: Parametrizing standard-cell mapper to account for the fanout delay. --- src/map/mapper/mapperMatch.c | 3 +++ 1 file changed, 3 insertions(+) (limited to 'src/map/mapper/mapperMatch.c') diff --git a/src/map/mapper/mapperMatch.c b/src/map/mapper/mapperMatch.c index f062e4da..ad559d6a 100644 --- a/src/map/mapper/mapperMatch.c +++ b/src/map/mapper/mapperMatch.c @@ -450,6 +450,9 @@ void Map_MappingSetPiArrivalTimes( Map_Man_t * p ) pNode = p->pInputs[i]; // set the arrival time of the positive phase pNode->tArrival[1] = p->pInputArrivals[i]; + pNode->tArrival[1].Rise += p->pNodeDelays ? p->pNodeDelays[pNode->Num] : 0; + pNode->tArrival[1].Fall += p->pNodeDelays ? p->pNodeDelays[pNode->Num] : 0; + pNode->tArrival[1].Worst += p->pNodeDelays ? p->pNodeDelays[pNode->Num] : 0; // set the arrival time of the negative phase pNode->tArrival[0].Rise = pNode->tArrival[1].Fall + p->pSuperLib->tDelayInv.Rise; pNode->tArrival[0].Fall = pNode->tArrival[1].Rise + p->pSuperLib->tDelayInv.Fall; -- cgit v1.2.3