From 5d0ba30518b3c062171adfa01c447da30d98008d Mon Sep 17 00:00:00 2001 From: Alan Mishchenko Date: Sat, 10 Aug 2013 11:14:33 -0700 Subject: Bug fix in incremental timing. --- src/map/scl/sclUpsize.c | 12 +++++++++--- 1 file changed, 9 insertions(+), 3 deletions(-) (limited to 'src/map/scl/sclUpsize.c') diff --git a/src/map/scl/sclUpsize.c b/src/map/scl/sclUpsize.c index 987e95e2..25056eac 100644 --- a/src/map/scl/sclUpsize.c +++ b/src/map/scl/sclUpsize.c @@ -425,6 +425,8 @@ int Abc_SclFindBypasses( SC_Man * p, Vec_Int_t * vPathNodes, int Ratio, int Notc Vec_IntFree( vEvals ); if ( Vec_QueSize(p->vNodeByGain) == 0 ) return 0; + if ( fVeryVerbose ) + printf( "\n" ); // accept changes for that are half above the average and do not overlap Counter = 0; @@ -500,9 +502,13 @@ int Abc_SclFindBypasses( SC_Man * p, Vec_Int_t * vPathNodes, int Ratio, int Notc Abc_NodeInvUpdateObjFanoutPolarity( pFanin, pFanout ); // report if ( fVeryVerbose ) - printf( "Node %6d Redir fanout %6d to fanin %6d. Gain = %7.1f ps. Replacing gate %12s by gate %12s.\n", - Abc_ObjId(pBuf), Abc_ObjId(pFanout), Abc_ObjId(pFanin), - Vec_FltEntry(p->vNode2Gain, iNode), pCellOld->pName, pCellNew->pName ); + { + printf( "Node %6d Redir fanout %6d to fanin %6d. Gain = %7.1f ps. ", + Abc_ObjId(pBuf), Abc_ObjId(pFanout), Abc_ObjId(pFanin), Vec_FltEntry(p->vNode2Gain, iNode) ); + printf( "Gate %12s (%2d/%2d) -> %12s (%2d/%2d) \n", + pCellOld->pName, pCellOld->Order, pCellOld->nGates, + pCellNew->pName, pCellNew->Order, pCellNew->nGates ); + } /* // check if the node became useless if ( Abc_ObjFanoutNum(pBuf) == 0 ) -- cgit v1.2.3