diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2014-10-10 13:15:31 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2014-10-10 13:15:31 -0700 |
| commit | 5a4592ee69c41dcecb4227a1474216e299f572e2 (patch) | |
| tree | 8398de2dc7003d79e7fa10d2e0a8cf4b04491f77 /src/base/abci | |
| parent | b8bd21c82df3e610d9df2dbe6945cc20db02216d (diff) | |
| download | abc-5a4592ee69c41dcecb4227a1474216e299f572e2.tar.gz abc-5a4592ee69c41dcecb4227a1474216e299f572e2.tar.bz2 abc-5a4592ee69c41dcecb4227a1474216e299f572e2.zip | |
Improvements to ISOP.
Diffstat (limited to 'src/base/abci')
| -rw-r--r-- | src/base/abci/abc.c | 2 | ||||
| -rw-r--r-- | src/base/abci/abcDec.c | 10 |
2 files changed, 7 insertions, 5 deletions
diff --git a/src/base/abci/abc.c b/src/base/abci/abc.c index 7a4d1405..f55201bf 100644 --- a/src/base/abci/abc.c +++ b/src/base/abci/abc.c @@ -10802,10 +10802,12 @@ int Abc_CommandTest( Abc_Frame_t * pAbc, int argc, char ** argv ) Abc_FrameReplaceCurrentNetwork( pAbc, pNtkRes ); } */ +/* { extern void Abc_IsopTestNew(); Abc_IsopTestNew(); } +*/ return 0; usage: Abc_Print( -2, "usage: test [-CKDNM] [-aovwh] <file_name>\n" ); diff --git a/src/base/abci/abcDec.c b/src/base/abci/abcDec.c index c6a6a985..a495cefc 100644 --- a/src/base/abci/abcDec.c +++ b/src/base/abci/abcDec.c @@ -499,13 +499,13 @@ void Abc_TruthDecPerform( Abc_TtStore_t * p, int DecType, int fVerbose ) Vec_Str_t * vStr; char * pSopStr; vStr = Vec_StrAlloc( 10000 ); - vCover = Vec_IntAlloc( 1 << 20 ); + vCover = Vec_IntAlloc( 1 << 16 ); for ( i = 0; i < p->nFuncs; i++ ) { - extern int Abc_IsopTest( word * pFunc, int nVars, Vec_Int_t * vCover ); - if ( i == 0 ) printf( "\n" ); - Abc_IsopTest( p->pFuncs[i], p->nVars, vCover ); - continue; +// extern int Abc_IsopTest( word * pFunc, int nVars, Vec_Int_t * vCover ); +// if ( i == 0 ) printf( "\n" ); +// Abc_IsopTest( p->pFuncs[i], p->nVars, vCover ); +// continue; if ( fVerbose ) printf( "%7d : ", i ); pSopStr = Kit_PlaFromTruthNew( (unsigned *)p->pFuncs[i], p->nVars, vCover, vStr ); |