diff options
author | Alan Mishchenko <alanmi@berkeley.edu> | 2012-08-30 14:32:36 -0700 |
---|---|---|
committer | Alan Mishchenko <alanmi@berkeley.edu> | 2012-08-30 14:32:36 -0700 |
commit | caa66f0ca97e2e24eac41ce8d1d4c4210c2b35ca (patch) | |
tree | 79d0e14d7bd7656044d54e3a9acf1a2cf03db7ae /src/map/scl/sclTime.c | |
parent | a38861babfdc239d4a8285bd8acf55efa6b08236 (diff) | |
download | abc-caa66f0ca97e2e24eac41ce8d1d4c4210c2b35ca.tar.gz abc-caa66f0ca97e2e24eac41ce8d1d4c4210c2b35ca.tar.bz2 abc-caa66f0ca97e2e24eac41ce8d1d4c4210c2b35ca.zip |
Improving print-out in gate-sizing.
Diffstat (limited to 'src/map/scl/sclTime.c')
-rw-r--r-- | src/map/scl/sclTime.c | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/src/map/scl/sclTime.c b/src/map/scl/sclTime.c index 80123754..bdad7f7c 100644 --- a/src/map/scl/sclTime.c +++ b/src/map/scl/sclTime.c @@ -84,8 +84,9 @@ Abc_Obj_t * Abc_SclFindMostCriticalFanin( SC_Man * p, int * pfRise, Abc_Obj_t * ***********************************************************************/ static inline void Abc_SclTimeGatePrint( SC_Man * p, Abc_Obj_t * pObj, int fRise ) { - printf( "%5d : ", Abc_ObjId(pObj) ); - printf( "%-10s ", Abc_SclObjCell(p, pObj)->pName ); + printf( "%7d : ", Abc_ObjId(pObj) ); + printf( "%d ", Abc_ObjFaninNum(pObj) ); + printf( "%-12s ", Abc_SclObjCell(p, pObj)->pName ); if ( fRise >= 0 ) printf( "(%s) ", fRise ? "rise" : "fall" ); printf( "delay = (" ); |