diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2013-09-26 00:47:45 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2013-09-26 00:47:45 -0700 |
| commit | 16a75e9861502d0d78a567d54764308bd47f6c81 (patch) | |
| tree | 7e1c53f35ec31c3386b9fb4c5b4de911ffbb5515 | |
| parent | c8fa1c82f77ae7bc63d3a1545f4df12bf2d62d9a (diff) | |
| download | abc-16a75e9861502d0d78a567d54764308bd47f6c81.tar.gz abc-16a75e9861502d0d78a567d54764308bd47f6c81.tar.bz2 abc-16a75e9861502d0d78a567d54764308bd47f6c81.zip | |
Updates to the mapper.
| -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] ); |