From a38861babfdc239d4a8285bd8acf55efa6b08236 Mon Sep 17 00:00:00 2001 From: Alan Mishchenko Date: Thu, 30 Aug 2012 14:27:25 -0700 Subject: Improving print-out in gate-sizing. --- src/map/scl/sclSize.c | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) (limited to 'src') diff --git a/src/map/scl/sclSize.c b/src/map/scl/sclSize.c index 00c05e3c..b9d7ff18 100644 --- a/src/map/scl/sclSize.c +++ b/src/map/scl/sclSize.c @@ -327,8 +327,8 @@ void Abc_SclUpdateNetwork( SC_Man * p, Abc_Obj_t * pObj, int fUpsize, int iStep, // print output if ( fVerbose ) { - printf( "%5d : ", iStep ); - printf( "%5d ", Abc_ObjId(pObj) ); + printf( "%5d :", iStep ); + printf( "%7d ", Abc_ObjId(pObj) ); printf( "%-12s-> %-12s ", pOld->pName, pNew->pName ); printf( "delay =%8.2f ps ", SC_LibTimePs(p->pLib, Abc_SclGetMaxDelay(p)) ); printf( "area =%10.2f ", p->SumArea ); @@ -366,8 +366,8 @@ void Abc_SclSizingPerform( SC_Lib * pLib, Abc_Ntk_t * pNtk, int nSteps, int nRan printf( "Iterative gate-sizing of network \"%s\" with library \"%s\":\n", Abc_NtkName(pNtk), pLib->pName ); if ( fVerbose ) { -// printf( "%5d : ", 0 ); - printf( "Starting parameters of current mapping: " ); +// printf( "%5d : ", 0 ); + printf( "Starting parameters of current mapping: " ); printf( "delay =%8.2f ps ", SC_LibTimePs(p->pLib, Abc_SclGetMaxDelay(p)) ); printf( "area =%10.2f ", p->SumArea ); Abc_PrintTime( 1, "Time", clock() - p->clkStart ); -- cgit v1.2.3