diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2011-08-21 15:05:44 +0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2011-08-21 15:05:44 +0700 |
| commit | d79cd4db44c869e62a1d0022c5c44eaaab6c39b3 (patch) | |
| tree | 76ae9edf760c4ad871791197964dfca644ae791e /src/base | |
| parent | 151fe402420e2be2c1a0c2ddcd817920346ef766 (diff) | |
| download | abc-d79cd4db44c869e62a1d0022c5c44eaaab6c39b3.tar.gz abc-d79cd4db44c869e62a1d0022c5c44eaaab6c39b3.tar.bz2 abc-d79cd4db44c869e62a1d0022c5c44eaaab6c39b3.zip | |
Experiments with SPFD-based decomposition.
Diffstat (limited to 'src/base')
| -rw-r--r-- | src/base/abci/abc.c | 15 |
1 files changed, 7 insertions, 8 deletions
diff --git a/src/base/abci/abc.c b/src/base/abci/abc.c index f2348d34..fd8d4e07 100644 --- a/src/base/abci/abc.c +++ b/src/base/abci/abc.c @@ -860,7 +860,7 @@ void Abc_Init( Abc_Frame_t * pAbc ) Dar_LibStart(); } { - extern void Bdc_ManDecomposeTest( unsigned uTruth, int nVars ); +// extern void Bdc_ManDecomposeTest( unsigned uTruth, int nVars ); // Bdc_ManDecomposeTest( 0x0f0f0f0f, 3 ); } @@ -881,10 +881,6 @@ void Abc_Init( Abc_Frame_t * pAbc ) void For_ManFileExperiment(); // For_ManFileExperiment(); } - { - void Bdc_SpfdDecomposeTest(); - Bdc_SpfdDecomposeTest(); - } /* { int i1, i2, i3, i4, i5, i6, N, Counter = 0; @@ -8843,7 +8839,7 @@ int Abc_CommandTest( Abc_Frame_t * pAbc, int argc, char ** argv ) Aig_ManStop( pAig ); } */ - +/* { extern Aig_Man_t * Abc_NtkToDar( Abc_Ntk_t * pNtk, int fExors, int fRegisters ); if ( pAbc->pCex && pNtk ) @@ -8855,8 +8851,11 @@ int Abc_CommandTest( Abc_Frame_t * pAbc, int argc, char ** argv ) Abc_FrameReplaceCex( pAbc, &pNew ); } } - - +*/ + { + void Bdc_SpfdDecomposeTest(); + Bdc_SpfdDecomposeTest(); + } return 0; usage: Abc_Print( -2, "usage: test [-CKDN] [-aovwh] <file_name>\n" ); |