diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2011-08-20 20:38:44 +0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2011-08-20 20:38:44 +0700 |
| commit | 151fe402420e2be2c1a0c2ddcd817920346ef766 (patch) | |
| tree | 5a7e7b810cd443b0d5304319cfc85a641983a215 /src/aig/bdc | |
| parent | 56035ab9ab1051f87e1186d06bd250375f9d4227 (diff) | |
| download | abc-151fe402420e2be2c1a0c2ddcd817920346ef766.tar.gz abc-151fe402420e2be2c1a0c2ddcd817920346ef766.tar.bz2 abc-151fe402420e2be2c1a0c2ddcd817920346ef766.zip | |
Experiments with SPFD-based decomposition.
Diffstat (limited to 'src/aig/bdc')
| -rw-r--r-- | src/aig/bdc/bdcSpfd.c | 7 |
1 files changed, 5 insertions, 2 deletions
diff --git a/src/aig/bdc/bdcSpfd.c b/src/aig/bdc/bdcSpfd.c index 25790983..e3f6f2d9 100644 --- a/src/aig/bdc/bdcSpfd.c +++ b/src/aig/bdc/bdcSpfd.c @@ -78,6 +78,9 @@ static inline word Bdc_Cof6( word t, int iVar, int fCof1 ) return (t &~Truths[iVar]) | ((t &~Truths[iVar]) << (1<<iVar)); } + +extern void Abc_Show6VarFunc( word F0, word F1 ); + //////////////////////////////////////////////////////////////////////// /// FUNCTION DEFINITIONS /// //////////////////////////////////////////////////////////////////////// @@ -778,7 +781,6 @@ word Bdc_SpfdFindBest( Vec_Wrd_t * vDivs, Vec_Int_t * vWeights, word F0, word F1 ***********************************************************************/ int Bdc_SpfdDecomposeTestOne( word t, Vec_Wrd_t * vDivs, Vec_Int_t * vWeights ) { - extern void Abc_Show6VarFunc( word F0, word F1 ); word F1 = t; word F0 = ~F1; word Func; @@ -826,7 +828,8 @@ void Bdc_SpfdDecomposeTest() // vDivs = Bdc_SpfdDecomposeTest__( &vWeights ); vDivs = Bdc_SpfdReadFiles( &vWeights ); - Abc_Show6VarFunc( ~t, t ); +// Abc_Show6VarFunc( ~t, t ); + /* for ( i = 0; i < 6; i++ ) for ( j = 0; j < 6; j++ ) |