diff options
author | Alan Mishchenko <alanmi@berkeley.edu> | 2013-07-30 00:18:57 -0700 |
---|---|---|
committer | Alan Mishchenko <alanmi@berkeley.edu> | 2013-07-30 00:18:57 -0700 |
commit | f10480f9bcbe89c8d15f47609a7bfbce3f5a938e (patch) | |
tree | ccee589d9f3d310b4e7d0571a6371b0e16ad8123 /src/map/mapper/mapperMatch.c | |
parent | 8e54792cd048f1884ecf335f79f2016408bbb2e4 (diff) | |
download | abc-f10480f9bcbe89c8d15f47609a7bfbce3f5a938e.tar.gz abc-f10480f9bcbe89c8d15f47609a7bfbce3f5a938e.tar.bz2 abc-f10480f9bcbe89c8d15f47609a7bfbce3f5a938e.zip |
Parametrizing standard-cell mapper to account for the fanout delay.
Diffstat (limited to 'src/map/mapper/mapperMatch.c')
-rw-r--r-- | src/map/mapper/mapperMatch.c | 3 |
1 files changed, 3 insertions, 0 deletions
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; |