From caa66f0ca97e2e24eac41ce8d1d4c4210c2b35ca Mon Sep 17 00:00:00 2001 From: Alan Mishchenko Date: Thu, 30 Aug 2012 14:32:36 -0700 Subject: Improving print-out in gate-sizing. --- src/map/scl/sclTime.c | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) (limited to 'src') 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 = (" ); -- cgit v1.2.3