diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2015-10-16 18:34:06 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2015-10-16 18:34:06 -0700 |
| commit | 0145b0ca724ba866480a3edcc1292cdf04117d6f (patch) | |
| tree | d8a88df537ad7e85be08ffac540d2ca88b58800e /src/map/if | |
| parent | d944384d9e2d39d022fbd338ba99d9b6e7b8e982 (diff) | |
| download | abc-0145b0ca724ba866480a3edcc1292cdf04117d6f.tar.gz abc-0145b0ca724ba866480a3edcc1292cdf04117d6f.tar.bz2 abc-0145b0ca724ba866480a3edcc1292cdf04117d6f.zip | |
Moving BDD-based threshold function detection to the BDD part of the code.
Diffstat (limited to 'src/map/if')
| -rw-r--r-- | src/map/if/if.h | 1 | ||||
| -rw-r--r-- | src/map/if/ifDsd.c | 8 |
2 files changed, 9 insertions, 0 deletions
diff --git a/src/map/if/if.h b/src/map/if/if.h index 214eda88..55f28fab 100644 --- a/src/map/if/if.h +++ b/src/map/if/if.h @@ -576,6 +576,7 @@ extern char * If_DsdManGetCellStr( If_DsdMan_t * p ); extern unsigned If_DsdManCheckXY( If_DsdMan_t * p, int iDsd, int LutSize, int fDerive, unsigned uMaskNot, int fHighEffort, int fVerbose ); extern int If_CutDsdBalanceEval( If_Man_t * p, If_Cut_t * pCut, Vec_Int_t * vAig ); extern int If_CutDsdBalancePinDelays( If_Man_t * p, If_Cut_t * pCut, char * pPerm ); +extern void Id_DsdManTuneThresh( If_DsdMan_t * p, int fUnate, int fThresh, int fThreshHeuristic, int fVerbose ); /*=== ifLib.c =============================================================*/ extern If_LibLut_t * If_LibLutRead( char * FileName ); extern If_LibLut_t * If_LibLutDup( If_LibLut_t * p ); diff --git a/src/map/if/ifDsd.c b/src/map/if/ifDsd.c index 5d9077c3..f70f2177 100644 --- a/src/map/if/ifDsd.c +++ b/src/map/if/ifDsd.c @@ -26,6 +26,10 @@ #include "aig/gia/gia.h" #include "bool/kit/kit.h" +#ifdef ABC_USE_CUDD +#include "bdd/extrab/extraBdd.h" +#endif + #ifdef ABC_USE_PTHREADS #ifdef _WIN32 @@ -2761,6 +2765,8 @@ void Id_DsdManTuneStr( If_DsdMan_t * p, char * pStruct, int nConfls, int nProcs, SeeAlso [] ***********************************************************************/ +#ifdef ABC_USE_CUDD + void Id_DsdManTuneThresh( If_DsdMan_t * p, int fUnate, int fThresh, int fThreshHeuristic, int fVerbose ) { extern int Extra_ThreshCheck( word * t, int nVars, int * pW ); @@ -2821,6 +2827,8 @@ void Id_DsdManTuneThresh( If_DsdMan_t * p, int fUnate, int fThresh, int fThreshH If_DsdManPrintDistrib( p ); } +#endif // ABC_USE_CUDD are used + //////////////////////////////////////////////////////////////////////// /// END OF FILE /// //////////////////////////////////////////////////////////////////////// |