luke
/
abc
mirror of https://github.com/YosysHQ/abc.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

Enabling additional matching feature in the LUT mapper.

This commit is contained in:
Alan Mishchenko 2013-08-12 23:34:54 -07:00
parent fcfafb0601
commit ee1e20ddf8
3 changed files with 3 additions and 15 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
src/aig/gia/giaIf.c
View File

@ -235,11 +235,10 @@ void Gia_ManPrintMappingStats( Gia_Man_t * p )
Abc_Print( 1, "lev =%5d ", LevelMax ); 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, "mem =%5.2f MB", 4.0*(Gia_ManObjNum(p) + 2*nLuts + nFanins)/(1<<20) );
Abc_Print( 1, "\n" ); Abc_Print( 1, "\n" );
/*
{ {
char * pFileName = "stats_map.txt"; char * pFileName = "stats_map.txt";
static char FileNameOld[1000] = {0}; static char FileNameOld[1000] = {0};
static int nNodesOld, nAreaOld, nDelayOld;
static abctime clk = 0; static abctime clk = 0;
FILE * pTable = fopen( pFileName, "a+" ); FILE * pTable = fopen( pFileName, "a+" );
if ( strcmp( FileNameOld, p->pName ) ) if ( strcmp( FileNameOld, p->pName ) )
@ -263,6 +262,7 @@ void Gia_ManPrintMappingStats( Gia_Man_t * p )
} }
fclose( pTable ); fclose( pTable );
} }
*/
} }
/**Function************************************************************* /**Function*************************************************************
@ -372,7 +372,6 @@ void Gia_ManChoiceLevel_rec( Gia_Man_t * p, Gia_Obj_t * pObj )
if ( LevelMax < Gia_ObjLevel(p, pNext) ) if ( LevelMax < Gia_ObjLevel(p, pNext) )
LevelMax = Gia_ObjLevel(p, pNext); LevelMax = Gia_ObjLevel(p, pNext);
LevelMax++; LevelMax++;
assert( LevelMax > 0 );
// get the level of the nodes in the choice node // get the level of the nodes in the choice node
if ( (pNext = Gia_ObjSiblObj(p, Gia_ObjId(p, pObj))) ) if ( (pNext = Gia_ObjSiblObj(p, Gia_ObjId(p, pObj))) )

12
src/base/abci/abc.c
View File

@ -29454,17 +29454,7 @@ int Abc_CommandAbc9If( Abc_Frame_t * pAbc, int argc, char ** argv )
pPars->pFuncCell = If_CutPerformCheck10; pPars->pFuncCell = If_CutPerformCheck10;
pPars->fCutMin = 1; pPars->fCutMin = 1;
} }
if ( pPars->fEnableCheck75 ) if ( pPars->fEnableCheck75 || pPars->fEnableCheck75u )
{
if ( pPars->nLutSize < 6 || pPars->nLutSize > 8 )
{
Abc_Print( -1, "This feature only works for {6,7,8}-LUTs.\n" );
return 1;
}
pPars->pFuncCell = If_CutPerformCheck75;
pPars->fCutMin = 1;
}
if ( pPars->fEnableCheck75u )
{ {
if ( pPars->nLutSize < 6 || pPars->nLutSize > 8 ) if ( pPars->nLutSize < 6 || pPars->nLutSize > 8 )
{ {

1
src/map/if/ifDec75.c
View File

@ -205,7 +205,6 @@ int Dau_DsdCheckDecAndExist( char * pDsd )
int If_CutPerformCheck75__( If_Man_t * p, unsigned * pTruth, int nVars, int nLeaves, char * pStr ) int If_CutPerformCheck75__( If_Man_t * p, unsigned * pTruth, int nVars, int nLeaves, char * pStr )
{ {
char pDsdStr[1000]; char pDsdStr[1000];
int fDerive = 0;
int nSizeNonDec, nDecExists, nDecAndExists; int nSizeNonDec, nDecExists, nDecAndExists;
static int Counter = 0; static int Counter = 0;
Counter++; Counter++;