diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2014-11-17 11:49:30 -0800 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2014-11-17 11:49:30 -0800 |
| commit | a28dd33df07b9b4932cf32855005f4cdc68316c9 (patch) | |
| tree | 00bae804c57f44056dfc3bbb9e01b045d95719e8 /src/misc | |
| parent | 5a10c8ad01b62a6760e4cf8720800acb1fab8554 (diff) | |
| download | abc-a28dd33df07b9b4932cf32855005f4cdc68316c9.tar.gz abc-a28dd33df07b9b4932cf32855005f4cdc68316c9.tar.bz2 abc-a28dd33df07b9b4932cf32855005f4cdc68316c9.zip | |
Integrating mfs2 package to work with boxes.
Diffstat (limited to 'src/misc')
| -rw-r--r-- | src/misc/tim/timMan.c | 10 |
1 files changed, 4 insertions, 6 deletions
diff --git a/src/misc/tim/timMan.c b/src/misc/tim/timMan.c index 8fcc8eaf..f6b97fe6 100644 --- a/src/misc/tim/timMan.c +++ b/src/misc/tim/timMan.c @@ -239,7 +239,7 @@ Tim_Man_t * Tim_ManTrim( Tim_Man_t * p, Vec_Int_t * vBoxPres ) /**Function************************************************************* - Synopsis [Trims the timing manager.] + Synopsis [Reduces the timing manager.] Description [] @@ -255,9 +255,7 @@ Tim_Man_t * Tim_ManReduce( Tim_Man_t * p, Vec_Int_t * vBoxesLeft ) Tim_Obj_t * pObj; float * pDelayTable, * pDelayTableNew; int i, k, iBox, nNewCis, nNewCos, nInputs, nOutputs; - if ( Vec_IntSize(vBoxesLeft) == Tim_ManBoxNum(p) ) - return Tim_ManDup( p, 0 ); - assert( Vec_IntSize(vBoxesLeft) < Tim_ManBoxNum(p) ); + assert( Vec_IntSize(vBoxesLeft) <= Tim_ManBoxNum(p) ); // count the number of CIs and COs in the trimmed manager nNewCis = Tim_ManPiNum(p); nNewCos = Tim_ManPoNum(p); @@ -267,8 +265,8 @@ Tim_Man_t * Tim_ManReduce( Tim_Man_t * p, Vec_Int_t * vBoxesLeft ) nNewCis += pBox->nOutputs; nNewCos += pBox->nInputs; } - assert( nNewCis < Tim_ManCiNum(p) ); - assert( nNewCos < Tim_ManCoNum(p) ); + assert( nNewCis <= Tim_ManCiNum(p) ); + assert( nNewCos <= Tim_ManCoNum(p) ); // clear traversal IDs Tim_ManForEachCi( p, pObj, i ) pObj->TravId = 0; |