diff options
Diffstat (limited to 'src/aig')
| -rw-r--r-- | src/aig/gia/giaJf.c | 14 |
1 files changed, 12 insertions, 2 deletions
diff --git a/src/aig/gia/giaJf.c b/src/aig/gia/giaJf.c index 93329abe..87a05f2b 100644 --- a/src/aig/gia/giaJf.c +++ b/src/aig/gia/giaJf.c @@ -285,7 +285,17 @@ void Jf_ManFree( Jf_Man_t * p ) Sdm_ManPrintDsdStats( p->pDsd, 0 ); if ( p->pPars->fVerbose && p->vTtMem ) printf( "Unique truth tables = %d. Memory = %.2f MB\n", Vec_MemEntryNum(p->vTtMem), Vec_MemMemory(p->vTtMem) / (1<<20) ); - if ( p->pPars->fVeryVerbose && p->pPars->fCutMin ) + if ( p->pPars->fVeryVerbose && p->pPars->fUseTts ) + { + char * pFileName = "truths.txt"; + FILE * pFile = fopen( pFileName, "wb" ); + Vec_MemDump( pFile, p->vTtMem ); + fclose( pFile ); + printf( "Dumped %d %d-var truth tables into file \"%s\" (%.2f MB).\n", + Vec_MemEntryNum(p->vTtMem), p->pPars->nLutSize, pFileName, + 17.0 * Vec_MemEntryNum(p->vTtMem) / (1 << 20) ); + } + if ( p->pPars->fVeryVerbose && !p->pPars->fUseTts && p->pPars->fCutMin ) Jf_ManProfileClasses( p ); if ( p->pPars->fCoarsen ) Gia_ManCleanMark0( p->pGia ); @@ -1209,7 +1219,7 @@ int Jf_ManComputeRefs( Jf_Man_t * p ) } } // blend references and normalize flow - Gia_ManForEachObj( p->pGia, pObj, i ) + for ( i = 0; i < Gia_ManObjNum(p->pGia); i++ ) { if ( p->pPars->fOptEdge ) nRefsNew = Abc_MaxFloat( 1, 0.8 * pRefs[i] + 0.2 * p->pGia->pRefs[i] ); |