diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2013-10-09 21:31:57 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2013-10-09 21:31:57 -0700 |
| commit | 608fe4e3bd2051aeba4cb557af6f348d0fb1075c (patch) | |
| tree | 5133fbd33a24e0707cee07eaa1ca2055a85b5c89 /src/base/abci/abcDec.c | |
| parent | 51fb9e4ed44be517b7f78c64a7b6b90fd02c5314 (diff) | |
| download | abc-608fe4e3bd2051aeba4cb557af6f348d0fb1075c.tar.gz abc-608fe4e3bd2051aeba4cb557af6f348d0fb1075c.tar.bz2 abc-608fe4e3bd2051aeba4cb557af6f348d0fb1075c.zip | |
Towards better Boolean matching.
Diffstat (limited to 'src/base/abci/abcDec.c')
| -rw-r--r-- | src/base/abci/abcDec.c | 15 |
1 files changed, 14 insertions, 1 deletions
diff --git a/src/base/abci/abcDec.c b/src/base/abci/abcDec.c index 60fbcbd4..873ef876 100644 --- a/src/base/abci/abcDec.c +++ b/src/base/abci/abcDec.c @@ -481,6 +481,8 @@ void Abc_TruthDecPerform( Abc_TtStore_t * p, int DecType, int fVerbose ) pAlgoName = "DSD"; else if ( DecType == 4 ) pAlgoName = "fast DSD"; + else if ( DecType == 5 ) + pAlgoName = "analysis"; if ( pAlgoName ) printf( "Applying %-10s to %8d func%s of %2d vars... ", @@ -558,6 +560,17 @@ void Abc_TruthDecPerform( Abc_TtStore_t * p, int DecType, int fVerbose ) nNodes += Dau_DsdCountAnds( pDsd ); } } + else if ( DecType == 5 ) + { + for ( i = 0; i < p->nFuncs; i++ ) + { + extern void Dau_DecTrySets( word * pInit, int nVars ); + if ( fVerbose ) + printf( "%7d : ", i ); + Dau_DecTrySets( p->pFuncs[i], p->nVars ); + printf( "\n" ); + } + } else assert( 0 ); printf( "AIG nodes =%9d ", nNodes ); @@ -608,7 +621,7 @@ int Abc_DecTest( char * pFileName, int DecType, int nVarNum, int fVerbose ) printf( "Using truth tables from file \"%s\"...\n", pFileName ); if ( DecType == 0 ) { if ( nVarNum < 0 ) Abc_TtStoreTest( pFileName ); } - else if ( DecType >= 1 && DecType <= 4 ) + else if ( DecType >= 1 && DecType <= 5 ) Abc_TruthDecTest( pFileName, DecType, nVarNum, fVerbose ); else printf( "Unknown decomposition type value (%d).\n", DecType ); |