diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2015-10-05 16:10:57 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2015-10-05 16:10:57 -0700 |
| commit | 72f4dfff1b0b62bd3f3beaa647e6111482a923d0 (patch) | |
| tree | 04ea6528f9dd10886efa8fe796647d5e72550991 /src/base/abci | |
| parent | a1e9f668a88f01dccda8da1bc5ca8e22211b1751 (diff) | |
| download | abc-72f4dfff1b0b62bd3f3beaa647e6111482a923d0.tar.gz abc-72f4dfff1b0b62bd3f3beaa647e6111482a923d0.tar.bz2 abc-72f4dfff1b0b62bd3f3beaa647e6111482a923d0.zip | |
Experiments with functional matching.
Diffstat (limited to 'src/base/abci')
| -rw-r--r-- | src/base/abci/abc.c | 12 |
1 files changed, 7 insertions, 5 deletions
diff --git a/src/base/abci/abc.c b/src/base/abci/abc.c index d1c86e62..f2b436f8 100644 --- a/src/base/abci/abc.c +++ b/src/base/abci/abc.c @@ -10820,11 +10820,11 @@ int Abc_CommandTestColor( Abc_Frame_t * pAbc, int argc, char ** argv ) ***********************************************************************/ int Abc_CommandTest( Abc_Frame_t * pAbc, int argc, char ** argv ) { -// Abc_Ntk_t * pNtk = Abc_FrameReadNtk(pAbc); + Abc_Ntk_t * pNtk = Abc_FrameReadNtk(pAbc); int nCutMax = 1; int nLeafMax = 4; int nDivMax = 2; - int nDecMax = 20; + int nDecMax = 70; int nNumOnes = 4; int fNewAlgo = 0; int fNewOrder = 0; @@ -10909,13 +10909,13 @@ int Abc_CommandTest( Abc_Frame_t * pAbc, int argc, char ** argv ) goto usage; } } -/* + if ( pNtk == NULL ) { Abc_Print( -1, "Empty network.\n" ); return 1; } - +/* if ( Abc_NtkIsStrash(pNtk) ) { Abc_Print( -1, "This command works only for logic networks.\n" ); @@ -11029,9 +11029,11 @@ int Abc_CommandTest( Abc_Frame_t * pAbc, int argc, char ** argv ) } { extern void Tab_DecomposeTest(); + extern void Sfm_DecTestBench( Abc_Ntk_t * pNtk, int iNode ); //Tab_DecomposeTest(); extern void Cnf_AddCardinConstrTest(); - Cnf_AddCardinConstrTest(); + //Cnf_AddCardinConstrTest(); + Sfm_DecTestBench( pNtk, nDecMax ); } return 0; usage: |