diff options
author | Alan Mishchenko <alanmi@berkeley.edu> | 2012-11-11 14:38:24 -0800 |
---|---|---|
committer | Alan Mishchenko <alanmi@berkeley.edu> | 2012-11-11 14:38:24 -0800 |
commit | 1116313d28d4e7665459bb90cca210bc86c7ffe5 (patch) | |
tree | 3b741c9ea94ab662ebf4b0655b57645339a82568 /src/opt/dau/dauDivs.c | |
parent | 21e6a59ed8574efb07b3700c0ab7ad35ff06b96d (diff) | |
download | abc-1116313d28d4e7665459bb90cca210bc86c7ffe5.tar.gz abc-1116313d28d4e7665459bb90cca210bc86c7ffe5.tar.bz2 abc-1116313d28d4e7665459bb90cca210bc86c7ffe5.zip |
Improved DSD.
Diffstat (limited to 'src/opt/dau/dauDivs.c')
-rw-r--r-- | src/opt/dau/dauDivs.c | 111 |
1 files changed, 111 insertions, 0 deletions
diff --git a/src/opt/dau/dauDivs.c b/src/opt/dau/dauDivs.c new file mode 100644 index 00000000..424a11df --- /dev/null +++ b/src/opt/dau/dauDivs.c @@ -0,0 +1,111 @@ +/**CFile**************************************************************** + + FileName [dauDivs.c] + + SystemName [ABC: Logic synthesis and verification system.] + + PackageName [DAG-aware unmapping.] + + Synopsis [Divisor computation.] + + Author [Alan Mishchenko] + + Affiliation [UC Berkeley] + + Date [Ver. 1.0. Started - June 20, 2005.] + + Revision [$Id: dauDivs.c,v 1.00 2005/06/20 00:00:00 alanmi Exp $] + +***********************************************************************/ + +#include "dauInt.h" +#include "dau.h" +#include "misc/util/utilTruth.h" + +ABC_NAMESPACE_IMPL_START + +//////////////////////////////////////////////////////////////////////// +/// DECLARATIONS /// +//////////////////////////////////////////////////////////////////////// + + +//////////////////////////////////////////////////////////////////////// +/// FUNCTION DEFINITIONS /// +//////////////////////////////////////////////////////////////////////// + +/**Function************************************************************* + + Synopsis [] + + Description [] + + SideEffects [] + + SeeAlso [] + +***********************************************************************/ +Vec_Int_t * Dau_DsdDivisors( word * pTruth, int nVars ) +{ + word Copy[DAU_MAX_WORD]; + int nWords = Abc_TtWordNum(nVars); + int nDigits = Abc_TtHexDigitNum(nVars); + int i, j, k, Digit, Counter[5]; + + printf( " " ); + printf( " !a *!b" ); + printf( " !a * b" ); + printf( " a *!b" ); + printf( " a * b" ); + printf( " a + b" ); + printf( "\n" ); + + for ( i = 0; i < nVars; i++ ) + for ( j = i+1; j < nVars; j++ ) + { + Abc_TtCopy( Copy, pTruth, nWords, 0 ); + Abc_TtSwapVars( Copy, nVars, 0, i ); + Abc_TtSwapVars( Copy, nVars, 1, j ); + for ( k = 0; k < 5; k++ ) + Counter[k] = 0; + for ( k = 0; k < nDigits; k++ ) + { + Digit = Abc_TtGetHex( Copy, k ); + if ( Digit == 1 || Digit == 14 ) + Counter[0]++; + else if ( Digit == 2 || Digit == 13 ) + Counter[1]++; + else if ( Digit == 4 || Digit == 11 ) + Counter[2]++; + else if ( Digit == 8 || Digit == 7 ) + Counter[3]++; + else if ( Digit == 6 || Digit == 9 ) + Counter[4]++; + } + printf( "%c %c ", 'a'+i, 'a'+j ); + for ( k = 0; k < 5; k++ ) + printf( "%7d", Counter[k] ); + printf( "\n" ); + } + return NULL; +} +void Dau_DsdTest() +{ +// char * pDsd = "!(!(abc)!(def))"; +// char * pDsd = "[(abc)(def)]"; + char * pDsd = "<<abc>d(ef)>"; + word t = Dau_Dsd6ToTruth( pDsd ); +// word t = 0xCA88CA88CA88CA88; +// word t = 0x9ef7a8d9c7193a0f; + int nVars = Abc_TtSupportSize( &t, 6 ); + return; +// word t = 0xCACACACACACACACA; + Dau_DsdDivisors( &t, nVars ); +} + +//////////////////////////////////////////////////////////////////////// +/// END OF FILE /// +//////////////////////////////////////////////////////////////////////// + + +ABC_NAMESPACE_IMPL_END + |