luke/abc
1
0
Fork 0
mirror of https://github.com/YosysHQ/abc.git synced 2026-09-01 10:18:06 +02:00
Code Issues Packages Projects Releases Wiki Activity

Changes to LUT mappers.

Browse Source
This commit is contained in:
Alan Mishchenko
2014-03-06 21:48:15 -08:00
parent 839632140e
commit a8a08035f5
4 changed files with 26 additions and 14 deletions
Download Patch File Download Diff File Expand all files Collapse all files
src/map/if/if.h
+1 -1
View File
@@ -519,7 +519,7 @@ extern int If_CluCheckExt3( void * p, word * pTruth, int nVars, int
/*=== ifDsd.c =============================================================*/
extern If_DsdMan_t * If_DsdManAlloc( int nVars, int nLutSize );
extern void If_DsdManDump( If_DsdMan_t * p );
extern void If_DsdManPrint( If_DsdMan_t * p, char * pFileName, int fVerbose );
extern void If_DsdManPrint( If_DsdMan_t * p, char * pFileName, int Number, int fVerbose );
extern void If_DsdManTune( If_DsdMan_t * p, int LutSize, int fFast, int fSpec, int fVerbose );
extern void If_DsdManFree( If_DsdMan_t * p, int fVerbose );
extern void If_DsdManSave( If_DsdMan_t * p, char * pFileName );
src/map/if/ifDsd.c
+4 -4
View File
@@ -220,7 +220,7 @@ void If_DsdManFree( If_DsdMan_t * p, int fVerbose )
int v;
// If_DsdManDump( p );
if ( fVerbose )
If_DsdManPrint( p, NULL, 0 );
If_DsdManPrint( p, NULL, 0, 0 );
if ( fVerbose )
Vec_MemDumpTruthTables( p->vTtMem, "dumpdsd", p->nVars );
for ( v = 2; v < p->nVars; v++ )
@@ -396,7 +396,7 @@ void If_DsdManPrintDistrib( If_DsdMan_t * p )
printf( "(%6.2f %%)", 100.0 * CountNonTotal / Vec_PtrSize(p->vObjs) );
printf( "\n" );
}
void If_DsdManPrint( If_DsdMan_t * p, char * pFileName, int fVerbose )
void If_DsdManPrint( If_DsdMan_t * p, char * pFileName, int Number, int fVerbose )
{
If_DsdObj_t * pObj;
int i, DsdMax = 0, CountUsed = 0, CountNonDsdStr = 0, CountMarked = 0;
@@ -441,8 +441,8 @@ void If_DsdManPrint( If_DsdMan_t * p, char * pFileName, int fVerbose )
return;
If_DsdVecForEachObj( p->vObjs, pObj, i )
{
// if ( i == 50 )
// break;
if ( Number && i % Number )
continue;
If_DsdManPrintOne( pFile, p, pObj->Id, NULL, 1 );
}
fprintf( pFile, "\n" );