diff options
| author | Mathias Soeken <mathias.soeken@epfl.ch> | 2016-08-16 08:20:28 +0200 |
|---|---|---|
| committer | Mathias Soeken <mathias.soeken@epfl.ch> | 2016-08-16 08:20:28 +0200 |
| commit | 821029038d7dacf754f50c57954896755f8ac436 (patch) | |
| tree | a238b2846d83334e51f9be0dde666c5293090c79 /src | |
| parent | 077f8bdbb85641f78c11d905edd25f866d007fda (diff) | |
| download | abc-821029038d7dacf754f50c57954896755f8ac436.tar.gz abc-821029038d7dacf754f50c57954896755f8ac436.tar.bz2 abc-821029038d7dacf754f50c57954896755f8ac436.zip | |
Used wrong truth table function in exact synthesis.
Diffstat (limited to 'src')
| -rw-r--r-- | src/base/abci/abcExact.c | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/src/base/abci/abcExact.c b/src/base/abci/abcExact.c index 83777d3e..05c06051 100644 --- a/src/base/abci/abcExact.c +++ b/src/base/abci/abcExact.c @@ -237,7 +237,7 @@ static inline int Ses_StoreTableHash( word * pTruth, int nVars ) static int s_Primes[4] = { 1291, 1699, 1999, 2357 }; int i; unsigned uHash = 0; - for ( i = 0; i < Kit_TruthWordNum( nVars ); ++i ) + for ( i = 0; i < Abc_TtWordNum( nVars ); ++i ) uHash ^= pTruth[i] * s_Primes[i & 0xf]; return (int)(uHash % SES_STORE_TABLE_SIZE ); } @@ -249,7 +249,7 @@ static inline int Ses_StoreTruthEqual( Ses_TruthEntry_t * pEntry, word * pTruth, if ( pEntry->nVars != nVars ) return 0; - for ( i = 0; i < Kit_TruthWordNum( nVars ); ++i ) + for ( i = 0; i < Abc_TtWordNum( nVars ); ++i ) if ( pEntry->pTruth[i] != pTruth[i] ) return 0; return 1; @@ -259,7 +259,7 @@ static inline void Ses_StoreTruthCopy( Ses_TruthEntry_t * pEntry, word * pTruthS { int i; pEntry->nVars = nVars; - for ( i = 0; i < Kit_TruthWordNum( nVars ); ++i ) + for ( i = 0; i < Abc_TtWordNum( nVars ); ++i ) pEntry->pTruth[i] = pTruthSrc[i]; } |