summaryrefslogtreecommitdiffstats
path: root/src
diff options
context:
space:
mode:
authorAlan Mishchenko <alanmi@berkeley.edu>2013-07-19 11:35:03 -0700
committerAlan Mishchenko <alanmi@berkeley.edu>2013-07-19 11:35:03 -0700
commit9e384d5ca9338467c2df8f4a0dda2d7800979a80 (patch)
tree3cbc17f30bce852da2971337b13ab27dff01bfd0 /src
parent21d7938adccc8bcdc5f0a48e351923fccc3beed5 (diff)
downloadabc-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.c2
-rw-r--r--src/map/scl/sclTime.c4
-rw-r--r--src/map/scl/sclUpsize.c2
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 )