diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2013-08-10 11:14:33 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2013-08-10 11:14:33 -0700 |
| commit | 5d0ba30518b3c062171adfa01c447da30d98008d (patch) | |
| tree | 9be8b078a3f7749911bda8db54bb9bf60b9537fb /src/map/scl/sclUpsize.c | |
| parent | 573d6d7ab7b24739b22ba1a2876b076c0ee09e40 (diff) | |
| download | abc-5d0ba30518b3c062171adfa01c447da30d98008d.tar.gz abc-5d0ba30518b3c062171adfa01c447da30d98008d.tar.bz2 abc-5d0ba30518b3c062171adfa01c447da30d98008d.zip | |
Bug fix in incremental timing.
Diffstat (limited to 'src/map/scl/sclUpsize.c')
| -rw-r--r-- | src/map/scl/sclUpsize.c | 12 |
1 files changed, 9 insertions, 3 deletions
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 ) |