From 661abab094143930f58633dfad415468a90cef6f Mon Sep 17 00:00:00 2001 From: Alan Mishchenko Date: Sun, 6 Apr 2008 08:01:00 -0700 Subject: Version abc80406 --- src/aig/nwk/nwkMan.c | 26 +++++++++++++++++++++++++- 1 file changed, 25 insertions(+), 1 deletion(-) (limited to 'src/aig/nwk/nwkMan.c') diff --git a/src/aig/nwk/nwkMan.c b/src/aig/nwk/nwkMan.c index 2d0254f2..9c2c5ed8 100644 --- a/src/aig/nwk/nwkMan.c +++ b/src/aig/nwk/nwkMan.c @@ -80,6 +80,29 @@ void Nwk_ManFree( Nwk_Man_t * p ) free( p ); } +/**Function************************************************************* + + Synopsis [Prints stats of the manager.] + + Description [] + + SideEffects [] + + SeeAlso [] + +***********************************************************************/ +void Nwk_ManPrintLutSizes( Nwk_Man_t * p, If_Lib_t * pLutLib ) +{ + Nwk_Obj_t * pObj; + int i, Counters[256] = {0}; + Nwk_ManForEachNode( p, pObj, i ) + Counters[Nwk_ObjFaninNum(pObj)]++; + printf( "LUTs by size: " ); + for ( i = 0; i <= pLutLib->LutMax; i++ ) + printf( "%d:%d ", i, Counters[i] ); + printf( "\n" ); +} + /**Function************************************************************* Synopsis [Prints stats of the manager.] @@ -104,7 +127,8 @@ void Nwk_ManPrintStats( Nwk_Man_t * p, If_Lib_t * pLutLib ) printf( "aig = %6d ", Nwk_ManGetAigNodeNum(p) ); printf( "lev = %3d ", Nwk_ManLevel(p) ); // printf( "lev2 = %3d ", Nwk_ManLevelBackup(p) ); - printf( "delay = %5.2f", Nwk_ManDelayTraceLut(p) ); + printf( "delay = %5.2f ", Nwk_ManDelayTraceLut(p) ); + Nwk_ManPrintLutSizes( p, pLutLib ); printf( "\n" ); // Nwk_ManDelayTracePrint( p, pLutLib ); fflush( stdout ); -- cgit v1.2.3