diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2013-07-19 11:35:03 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2013-07-19 11:35:03 -0700 |
| commit | 9e384d5ca9338467c2df8f4a0dda2d7800979a80 (patch) | |
| tree | 3cbc17f30bce852da2971337b13ab27dff01bfd0 /src | |
| parent | 21d7938adccc8bcdc5f0a48e351923fccc3beed5 (diff) | |
| download | abc-9e384d5ca9338467c2df8f4a0dda2d7800979a80.tar.gz abc-9e384d5ca9338467c2df8f4a0dda2d7800979a80.tar.bz2 abc-9e384d5ca9338467c2df8f4a0dda2d7800979a80.zip | |
Small changes to the printout in timing analysis.
Diffstat (limited to 'src')
| -rw-r--r-- | src/map/mio/mioParse.c | 2 | ||||
| -rw-r--r-- | src/map/scl/sclTime.c | 4 | ||||
| -rw-r--r-- | src/map/scl/sclUpsize.c | 2 |
3 files changed, 5 insertions, 3 deletions
diff --git a/src/map/mio/mioParse.c b/src/map/mio/mioParse.c index c709e589..dd633443 100644 --- a/src/map/mio/mioParse.c +++ b/src/map/mio/mioParse.c @@ -484,7 +484,7 @@ int Mio_ParseCheckFormula( Mio_Gate_t * pGate, char * pForm ) for ( pPin = Mio_GateReadPins(pGate), i = 0; pPin; pPin = Mio_PinReadNext(pPin), i++ ) if ( fVisit[i] == 0 ) { - printf( "Skipping gate \"%s\" because pin \"%s\" does not appear in the formula \"%s\".\n", pGate->pName, Mio_PinReadName(pPin), pForm ); +// printf( "Skipping gate \"%s\" because pin \"%s\" does not appear in the formula \"%s\".\n", pGate->pName, Mio_PinReadName(pPin), pForm ); return 0; } return 1; diff --git a/src/map/scl/sclTime.c b/src/map/scl/sclTime.c index 4e3b3de8..b153db89 100644 --- a/src/map/scl/sclTime.c +++ b/src/map/scl/sclTime.c @@ -109,7 +109,7 @@ static inline void Abc_SclTimeNodePrint( SC_Man * p, Abc_Obj_t * pObj, int fRise { printf( "%7d : ", Abc_ObjId(pObj) ); printf( "%d ", Abc_ObjFaninNum(pObj) ); - printf( "%d ", Abc_ObjFanoutNum(pObj) ); + printf( "%2d ", Abc_ObjFanoutNum(pObj) ); printf( "%-*s ", Length, Abc_SclObjCell(p, pObj)->pName ); if ( fRise >= 0 ) printf( "(%s) ", fRise ? "rise" : "fall" ); @@ -162,7 +162,7 @@ void Abc_SclTimeNtkPrint( SC_Man * p, int fShowAll, int fShort ) pObj = Abc_ObjFanin0(pPivot); while ( pObj && Abc_ObjIsNode(pObj) ) { - printf( "C-path %2d -- ", i-- ); + printf( "C-path %3d -- ", i-- ); Abc_SclTimeNodePrint( p, pObj, fRise, nLength, maxDelay ); pObj = Abc_SclFindMostCriticalFanin( p, &fRise, pObj ); } diff --git a/src/map/scl/sclUpsize.c b/src/map/scl/sclUpsize.c index 7e0f5a92..17ae658d 100644 --- a/src/map/scl/sclUpsize.c +++ b/src/map/scl/sclUpsize.c @@ -572,6 +572,8 @@ void Abc_SclUpsizePerform( SC_Lib * pLib, Abc_Ntk_t * pNtk, SC_UpSizePars * pPar Abc_SclTimeNtkRecompute( p, &p->SumArea, &p->MaxDelay, 0 ); if ( pPars->fVerbose ) Abc_SclUpsizePrint( p, i, pPars->Window, nAllPos/(i?i:1), nAllNodes/(i?i:1), nAllUpsizes/(i?i:1), nAllTfos/(i?i:1), 1 ); + else + printf( " \r" ); // report runtime p->timeTotal = Abc_Clock() - p->timeTotal; if ( pPars->fVerbose ) |