diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2020-01-16 19:52:00 -0800 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2020-01-16 19:52:00 -0800 |
| commit | a7c9f6d12da2e3cbc25125dbc74620777fe97030 (patch) | |
| tree | 0e238f12c5943da3bcd084d8aa576e1d35d418c0 /src/aig/gia/giaMan.c | |
| parent | c32a2ece07a716d40bab8176f05620658f4838c3 (diff) | |
| download | abc-a7c9f6d12da2e3cbc25125dbc74620777fe97030.tar.gz abc-a7c9f6d12da2e3cbc25125dbc74620777fe97030.tar.bz2 abc-a7c9f6d12da2e3cbc25125dbc74620777fe97030.zip | |
Adding AIG stats logging.
Diffstat (limited to 'src/aig/gia/giaMan.c')
| -rw-r--r-- | src/aig/gia/giaMan.c | 25 |
1 files changed, 25 insertions, 0 deletions
diff --git a/src/aig/gia/giaMan.c b/src/aig/gia/giaMan.c index e346b260..ef913904 100644 --- a/src/aig/gia/giaMan.c +++ b/src/aig/gia/giaMan.c @@ -444,6 +444,29 @@ int Gia_ManPrintEdges( Gia_Man_t * p ) SeeAlso [] ***********************************************************************/ +void Gia_ManLogAigStats( Gia_Man_t * p, char * pDumpFile ) +{ + FILE * pTable = fopen( pDumpFile, "wb" ); + fprintf( pTable, "Name = %24s ", p->pName ); + fprintf( pTable, "In = %6d ", Gia_ManCiNum(p) ); + fprintf( pTable, "Out = %6d ", Gia_ManCoNum(p) ); + fprintf( pTable, "And = %8d ", Gia_ManAndNum(p) ); + fprintf( pTable, "Lev = %6d", Gia_ManLevelNum(p) ); + fprintf( pTable, "\n" ); + fclose( pTable ); +} + +/**Function************************************************************* + + Synopsis [Prints stats for the AIG.] + + Description [] + + SideEffects [] + + SeeAlso [] + +***********************************************************************/ void Gia_ManPrintStats( Gia_Man_t * p, Gps_Par_t * pPars ) { extern float Gia_ManLevelAve( Gia_Man_t * p ); @@ -535,6 +558,8 @@ void Gia_ManPrintStats( Gia_Man_t * p, Gps_Par_t * pPars ) Gia_ManEquivPrintClasses( p, 0, 0.0 ); if ( Gia_ManHasMapping(p) && (pPars == NULL || !pPars->fSkipMap) ) Gia_ManPrintMappingStats( p, pPars ? pPars->pDumpFile : NULL ); + else if ( pPars && pPars->pDumpFile ) + Gia_ManLogAigStats( p, pPars->pDumpFile ); if ( pPars && pPars->fNpn && Gia_ManHasMapping(p) && Gia_ManLutSizeMax(p) <= 4 ) Gia_ManPrintNpnClasses( p ); if ( p->vPacking ) |