diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2015-10-13 18:48:38 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2015-10-13 18:48:38 -0700 |
| commit | b5e0b7d4fcdf81e9d9ba896d087a4981e336603e (patch) | |
| tree | 85dab28aca9904e20d80dba9c6185c7df8bbbb9c /src/opt/sfm/sfmInt.h | |
| parent | 9df63f529175dba9300ada4e02897b5178235477 (diff) | |
| download | abc-b5e0b7d4fcdf81e9d9ba896d087a4981e336603e.tar.gz abc-b5e0b7d4fcdf81e9d9ba896d087a4981e336603e.tar.bz2 abc-b5e0b7d4fcdf81e9d9ba896d087a4981e336603e.zip | |
Experiments with precomputation and matching.
Diffstat (limited to 'src/opt/sfm/sfmInt.h')
| -rw-r--r-- | src/opt/sfm/sfmInt.h | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/opt/sfm/sfmInt.h b/src/opt/sfm/sfmInt.h index 3bd218a7..cc502d6f 100644 --- a/src/opt/sfm/sfmInt.h +++ b/src/opt/sfm/sfmInt.h @@ -47,6 +47,7 @@ ABC_NAMESPACE_HEADER_START #define SFM_SUPP_MAX 6 #define SFM_WORD_MAX ((SFM_SUPP_MAX>6) ? (1<<(SFM_SUPP_MAX-6)) : 1) +#define SFM_WIN_MAX 1000 //////////////////////////////////////////////////////////////////////// /// BASIC TYPES /// @@ -193,7 +194,7 @@ extern int Sfm_LibFindComplInputGate( Vec_Wrd_t * vFuncs, int iGate, in extern Sfm_Lib_t * Sfm_LibPrepare( int nVars, int fTwo, int fVerbose ); extern void Sfm_LibPrint( Sfm_Lib_t * p ); extern void Sfm_LibStop( Sfm_Lib_t * p ); -extern int Sfm_LibImplement( Sfm_Lib_t * p, word uTruth, int * pFanins, int nFanins, int AreaMffc, Vec_Int_t * vGates, Vec_Wec_t * vFanins ); +extern int Sfm_LibImplement( Sfm_Lib_t * p, word uTruth, int * pFanins, int nFanins, int AreaMffc, Vec_Int_t * vGates, Vec_Wec_t * vFanins, int fZeroCost ); /*=== sfmNtk.c ==========================================================*/ extern Sfm_Ntk_t * Sfm_ConstructNetwork( Vec_Wec_t * vFanins, int nPis, int nPos ); extern void Sfm_NtkPrepare( Sfm_Ntk_t * p ); |