diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2015-08-28 17:47:00 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2015-08-28 17:47:00 -0700 |
| commit | 04be8af56019e6e831bcf5e244d6ae3fb7a92d81 (patch) | |
| tree | 115b2b3b4bec4df53000a7cb3d4d51972aa71049 /src/map/mapper | |
| parent | cb439f2ecf000ebaab4447de120a95480b231ef5 (diff) | |
| download | abc-04be8af56019e6e831bcf5e244d6ae3fb7a92d81.tar.gz abc-04be8af56019e6e831bcf5e244d6ae3fb7a92d81.tar.bz2 abc-04be8af56019e6e831bcf5e244d6ae3fb7a92d81.zip | |
Important bug fixes in standard-cell library handling and mapper &nf.
Diffstat (limited to 'src/map/mapper')
| -rw-r--r-- | src/map/mapper/mapperTime.c | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/map/mapper/mapperTime.c b/src/map/mapper/mapperTime.c index 414d366a..fb734713 100644 --- a/src/map/mapper/mapperTime.c +++ b/src/map/mapper/mapperTime.c @@ -349,7 +349,7 @@ void Map_TimePropagateRequired( Map_Man_t * p ) if ( pNode->pCutBest[1] && pNode->tRequired[1].Worst < MAP_FLOAT_LARGE ) Map_TimePropagateRequiredPhase( p, pNode, 1 ); } - +/* // in the end, we verify the required times // for this, we compute the arrival times of the outputs of each phase // of the supergates using the fanins' required times as the fanins' arrival times @@ -377,6 +377,7 @@ void Map_TimePropagateRequired( Map_Man_t * p ) // assert( ptReqOutTest->Fall < pNode->tRequired[1].Fall + p->fEpsilon ); } } +*/ } void Map_TimeComputeRequiredGlobal( Map_Man_t * p ) { |