diff options
author | Alan Mishchenko <alanmi@berkeley.edu> | 2015-09-08 19:53:49 -0700 |
---|---|---|
committer | Alan Mishchenko <alanmi@berkeley.edu> | 2015-09-08 19:53:49 -0700 |
commit | 97751e43b71792ded1947d98945e1e832325be6d (patch) | |
tree | 2b88dea48591c73d70bc4172f449de9a6b77bd5b /src/map/mapper/mapperMatch.c | |
parent | f623b04da47aaa2810c06b880f85354becef288e (diff) | |
download | abc-97751e43b71792ded1947d98945e1e832325be6d.tar.gz abc-97751e43b71792ded1947d98945e1e832325be6d.tar.bz2 abc-97751e43b71792ded1947d98945e1e832325be6d.zip |
New constraint manager and memory reporting 'ps'.
Diffstat (limited to 'src/map/mapper/mapperMatch.c')
-rw-r--r-- | src/map/mapper/mapperMatch.c | 13 |
1 files changed, 12 insertions, 1 deletions
diff --git a/src/map/mapper/mapperMatch.c b/src/map/mapper/mapperMatch.c index 2b31d73a..e5e12fa8 100644 --- a/src/map/mapper/mapperMatch.c +++ b/src/map/mapper/mapperMatch.c @@ -18,6 +18,9 @@ #include "mapperInt.h" +#include "misc/util/utilNam.h" +#include "map/scl/sclCon.h" + ABC_NAMESPACE_IMPL_START @@ -356,7 +359,15 @@ 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]; + if ( Scl_ConIsRunning() ) + { + float Time = Scl_ConGetInArrFloat( i ); + pNode->tArrival[1].Fall = Time; + pNode->tArrival[1].Rise = Time; + pNode->tArrival[1].Worst = Time; + } + else + 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; |