diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2012-10-06 16:02:36 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2012-10-06 16:02:36 -0700 |
| commit | 3d23bc8c570db1f8de39691df7f6ac464154f644 (patch) | |
| tree | 4439c0d3cd010115d677c2d1ab4c13fba0abf39b /src/base | |
| parent | 46370974917ac8fc9ea4d0f864fcb15721d5c591 (diff) | |
| download | abc-3d23bc8c570db1f8de39691df7f6ac464154f644.tar.gz abc-3d23bc8c570db1f8de39691df7f6ac464154f644.tar.bz2 abc-3d23bc8c570db1f8de39691df7f6ac464154f644.zip | |
New AIG optimization package.
Diffstat (limited to 'src/base')
| -rw-r--r-- | src/base/abci/abc.c | 4 | ||||
| -rw-r--r-- | src/base/abci/abcNpn.c | 4 |
2 files changed, 0 insertions, 8 deletions
diff --git a/src/base/abci/abc.c b/src/base/abci/abc.c index ed20c0f7..d1acef62 100644 --- a/src/base/abci/abc.c +++ b/src/base/abci/abc.c @@ -823,10 +823,6 @@ void Abc_Init( Abc_Frame_t * pAbc ) extern void Dar_LibStart(); Dar_LibStart(); } - { - extern void Dau_DsdTest(); - Dau_DsdTest(); - } } /**Function************************************************************* diff --git a/src/base/abci/abcNpn.c b/src/base/abci/abcNpn.c index 85664f6b..9494cba2 100644 --- a/src/base/abci/abcNpn.c +++ b/src/base/abci/abcNpn.c @@ -202,10 +202,6 @@ void Abc_TruthNpnPerform( Abc_TtStore_t * p, int NpnType, int fVerbose ) { for ( i = 0; i < p->nFuncs; i++ ) { - extern void Dau_DsdTestOne( word t, int i ); - assert( p->nVars == 6 ); - Dau_DsdTestOne( *p->pFuncs[i], i ); - if ( fVerbose ) printf( "%7d : ", i ); if ( fVerbose ) |