diff options
author | Alan Mishchenko <alanmi@berkeley.edu> | 2013-08-12 23:34:54 -0700 |
---|---|---|
committer | Alan Mishchenko <alanmi@berkeley.edu> | 2013-08-12 23:34:54 -0700 |
commit | ee1e20ddf8716d057fa8e5ce18485afac2b7a871 (patch) | |
tree | 55fa5a93e3bc0fd63ff894b89b27ec846a800f22 /src/aig/gia | |
parent | fcfafb06017e50144966cd4d56dfac77123ae03c (diff) | |
download | abc-ee1e20ddf8716d057fa8e5ce18485afac2b7a871.tar.gz abc-ee1e20ddf8716d057fa8e5ce18485afac2b7a871.tar.bz2 abc-ee1e20ddf8716d057fa8e5ce18485afac2b7a871.zip |
Enabling additional matching feature in the LUT mapper.
Diffstat (limited to 'src/aig/gia')
-rw-r--r-- | src/aig/gia/giaIf.c | 5 |
1 files changed, 2 insertions, 3 deletions
diff --git a/src/aig/gia/giaIf.c b/src/aig/gia/giaIf.c index 583e178a..3238a3dc 100644 --- a/src/aig/gia/giaIf.c +++ b/src/aig/gia/giaIf.c @@ -235,11 +235,10 @@ void Gia_ManPrintMappingStats( Gia_Man_t * p ) Abc_Print( 1, "lev =%5d ", LevelMax ); Abc_Print( 1, "mem =%5.2f MB", 4.0*(Gia_ManObjNum(p) + 2*nLuts + nFanins)/(1<<20) ); Abc_Print( 1, "\n" ); - +/* { char * pFileName = "stats_map.txt"; static char FileNameOld[1000] = {0}; - static int nNodesOld, nAreaOld, nDelayOld; static abctime clk = 0; FILE * pTable = fopen( pFileName, "a+" ); if ( strcmp( FileNameOld, p->pName ) ) @@ -263,6 +262,7 @@ void Gia_ManPrintMappingStats( Gia_Man_t * p ) } fclose( pTable ); } +*/ } /**Function************************************************************* @@ -372,7 +372,6 @@ void Gia_ManChoiceLevel_rec( Gia_Man_t * p, Gia_Obj_t * pObj ) if ( LevelMax < Gia_ObjLevel(p, pNext) ) LevelMax = Gia_ObjLevel(p, pNext); LevelMax++; - assert( LevelMax > 0 ); // get the level of the nodes in the choice node if ( (pNext = Gia_ObjSiblObj(p, Gia_ObjId(p, pObj))) ) |