luke/abc
1
0
Fork 0
mirror of https://github.com/YosysHQ/abc.git synced 2026-09-04 08:33:58 +02:00
Code Issues Packages Projects Releases Wiki Activity

Updated technology mapping.

Browse Source
This commit is contained in:
Alan Mishchenko
2011-05-08 00:22:32 -07:00
parent 27bb2a684d
commit 57daeee997
4 changed files with 5 additions and 5 deletions
Download Patch File Download Diff File Expand all files Collapse all files
src/base/abci/abc.c
+2 -3
View File
@@ -12884,10 +12884,9 @@ int Abc_CommandIf( Abc_Frame_t * pAbc, int argc, char ** argv )
}
pPars->fCutMin = 1;
}
/*
if ( pPars->fEnableCheck )
{
extern int If_CutPerformCheck( unsigned * pTruth, int nVars, int nLeaves );
if ( pPars->nLutSize < 6 || pPars->nLutSize > 7 )
{
Abc_Print( -1, "This feature only works for {6,7}-LUTs.\n" );
@@ -12896,7 +12895,7 @@ int Abc_CommandIf( Abc_Frame_t * pAbc, int argc, char ** argv )
pPars->pFuncCell = If_CutPerformCheck;
pPars->fCutMin = 1;
}
*/
// enable truth table computation if cut minimization is selected
if ( pPars->fCutMin )
{
src/map/if/if.h
+2
View File
@@ -404,6 +404,8 @@ extern float If_CutPowerDeref( If_Man_t * p, If_Cut_t * pCut, If_Obj_t
extern float If_CutPowerRef( If_Man_t * p, If_Cut_t * pCut, If_Obj_t * pRoot );
extern float If_CutPowerDerefed( If_Man_t * p, If_Cut_t * pCut, If_Obj_t * pRoot );
extern float If_CutPowerRefed( If_Man_t * p, If_Cut_t * pCut, If_Obj_t * pRoot );
/*=== ifDec.c =============================================================*/
extern int If_CutPerformCheck( unsigned * pTruth, int nVars, int nLeaves );
/*=== ifLib.c =============================================================*/
extern If_Lib_t * If_LutLibRead( char * FileName );
extern If_Lib_t * If_LutLibDup( If_Lib_t * p );
src/map/if/module.make
+1
View File
@@ -1,5 +1,6 @@
SRC += src/map/if/ifCore.c \
src/map/if/ifCut.c \
src/map/if/ifDec.c \
src/map/if/ifLib.c \
src/map/if/ifMan.c \
src/map/if/ifMap.c \