diff options
author | Alan Mishchenko <alanmi@berkeley.edu> | 2013-08-09 21:05:06 -0700 |
---|---|---|
committer | Alan Mishchenko <alanmi@berkeley.edu> | 2013-08-09 21:05:06 -0700 |
commit | fbdaf2075f1d51630f538d14bd9baf40fdc280d4 (patch) | |
tree | 79b5cd0f937fefe607d8eacd041139dbce68b05c /src/map/scl/sclSize.c | |
parent | d4ad3b4156dd2d4fa6d56573e606b05c2d2d97f9 (diff) | |
download | abc-fbdaf2075f1d51630f538d14bd9baf40fdc280d4.tar.gz abc-fbdaf2075f1d51630f538d14bd9baf40fdc280d4.tar.bz2 abc-fbdaf2075f1d51630f538d14bd9baf40fdc280d4.zip |
Integrated buffering and sizing.
Diffstat (limited to 'src/map/scl/sclSize.c')
-rw-r--r-- | src/map/scl/sclSize.c | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/map/scl/sclSize.c b/src/map/scl/sclSize.c index fcc32da9..122c8b56 100644 --- a/src/map/scl/sclSize.c +++ b/src/map/scl/sclSize.c @@ -109,7 +109,7 @@ Abc_Obj_t * Abc_SclFindMostCriticalFanin( SC_Man * p, int * pfRise, Abc_Obj_t * static inline void Abc_SclTimeNodePrint( SC_Man * p, Abc_Obj_t * pObj, int fRise, int Length, float maxDelay ) { SC_Cell * pCell = Abc_ObjIsNode(pObj) ? Abc_SclObjCell(pObj) : NULL; - printf( "%6d : ", Abc_ObjId(pObj) ); + printf( "%8d : ", Abc_ObjId(pObj) ); printf( "%d ", Abc_ObjFaninNum(pObj) ); printf( "%4d ", Abc_ObjFanoutNum(pObj) ); printf( "%-*s ", Length, pCell ? pCell->pName : "pi" ); @@ -170,7 +170,7 @@ void Abc_SclTimeNtkPrint( SC_Man * p, int fShowAll, int fPrintPath ) pObj = Abc_ObjFanin0(pPivot); while ( pObj )//&& Abc_ObjIsNode(pObj) ) { - printf( "Path%3d -- ", i-- ); + printf( "Path%3d --", i-- ); Abc_SclTimeNodePrint( p, pObj, fRise, nLength, maxDelay ); pObj = Abc_SclFindMostCriticalFanin( p, &fRise, pObj ); } |