diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2012-04-22 19:14:22 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2012-04-22 19:14:22 -0700 |
| commit | 74d0ffee6977c24ee8f3c4fa1471f98f6455d5bb (patch) | |
| tree | 56cadb3a4e68e4dbcf02858880a53984a0e9c10d /src/misc/tim | |
| parent | c4911370bbcf09e675e61ff49117bc91cc92ebc1 (diff) | |
| download | abc-74d0ffee6977c24ee8f3c4fa1471f98f6455d5bb.tar.gz abc-74d0ffee6977c24ee8f3c4fa1471f98f6455d5bb.tar.bz2 abc-74d0ffee6977c24ee8f3c4fa1471f98f6455d5bb.zip | |
Misc changes.
Diffstat (limited to 'src/misc/tim')
| -rw-r--r-- | src/misc/tim/tim.c | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/src/misc/tim/tim.c b/src/misc/tim/tim.c index fe5f214d..9056d261 100644 --- a/src/misc/tim/tim.c +++ b/src/misc/tim/tim.c @@ -582,6 +582,7 @@ void Tim_ManCreateBoxFirst( Tim_Man_t * p, int firstIn, int nIns, int firstOut, { Tim_Box_t * pBox; int i; +// printf( "Creating %d x %d box with first inputs (%d and %d).\n", nIns, nOuts, firstIn, firstOut ); pBox = (Tim_Box_t *)Mem_FlexEntryFetch( p->pMemObj, sizeof(Tim_Box_t) + sizeof(int) * (nIns+nOuts) ); memset( pBox, 0, sizeof(Tim_Box_t) ); @@ -847,7 +848,7 @@ float Tim_ManGetCoRequired( Tim_Man_t * p, int iCo ) if ( p->fUseTravId ) Tim_ManBoxForEachOutput( p, pBox, pObj, i ) if ( pObj->TravId != p->nTravIds ) - printf( "Tim_ManGetCoRequired(): Output required times of the box are not up to date!\n" ); + printf( "Tim_ManGetCoRequired(): Output required times of output %d the box %d are not up to date!\n", i, pBox->iBox ); // compute the required times for each input of the box (POs) Tim_ManBoxForEachInput( p, pBox, pObjRes, i ) { @@ -855,7 +856,7 @@ float Tim_ManGetCoRequired( Tim_Man_t * p, int iCo ) Tim_ManBoxForEachOutput( p, pBox, pObj, k ) { pDelays = pBox->pDelayTable + k * pBox->nInputs; - DelayBest = Abc_MinInt( DelayBest, pObj->timeReq - pDelays[i] ); + DelayBest = Abc_MinFloat( DelayBest, pObj->timeReq - pDelays[i] ); } pObjRes->timeReq = DelayBest; pObjRes->TravId = p->nTravIds; |