diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2012-08-30 14:27:25 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2012-08-30 14:27:25 -0700 |
| commit | a38861babfdc239d4a8285bd8acf55efa6b08236 (patch) | |
| tree | 4e92970498708b1fee997e3c885f6b9d226dcd9f /src/map/scl | |
| parent | 3400670839760fbdee1b18eb3086cc8403eacf72 (diff) | |
| download | abc-a38861babfdc239d4a8285bd8acf55efa6b08236.tar.gz abc-a38861babfdc239d4a8285bd8acf55efa6b08236.tar.bz2 abc-a38861babfdc239d4a8285bd8acf55efa6b08236.zip | |
Improving print-out in gate-sizing.
Diffstat (limited to 'src/map/scl')
| -rw-r--r-- | src/map/scl/sclSize.c | 8 |
1 files changed, 4 insertions, 4 deletions
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 ); |