From a28dd33df07b9b4932cf32855005f4cdc68316c9 Mon Sep 17 00:00:00 2001 From: Alan Mishchenko Date: Mon, 17 Nov 2014 11:49:30 -0800 Subject: Integrating mfs2 package to work with boxes. --- src/misc/tim/timMan.c | 10 ++++------ 1 file changed, 4 insertions(+), 6 deletions(-) (limited to 'src/misc/tim') 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; -- cgit v1.2.3