diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2006-04-07 08:01:00 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2006-04-07 08:01:00 -0700 |
| commit | 3f4fc5e4507f7fb9df431fc116529b4c209ab97c (patch) | |
| tree | d468f472a10aa98499f98c639447b7838e495476 /src/base/seq | |
| parent | 8e5398c501a873dffcb562a11bc19e630872c931 (diff) | |
| download | abc-3f4fc5e4507f7fb9df431fc116529b4c209ab97c.tar.gz abc-3f4fc5e4507f7fb9df431fc116529b4c209ab97c.tar.bz2 abc-3f4fc5e4507f7fb9df431fc116529b4c209ab97c.zip | |
Version abc60407
Diffstat (limited to 'src/base/seq')
| -rw-r--r-- | src/base/seq/seqAigCore.c | 2 | ||||
| -rw-r--r-- | src/base/seq/seqMapIter.c | 2 | ||||
| -rw-r--r-- | src/base/seq/seqRetCore.c | 8 |
3 files changed, 9 insertions, 3 deletions
diff --git a/src/base/seq/seqAigCore.c b/src/base/seq/seqAigCore.c index e74f3fa7..813b1ed8 100644 --- a/src/base/seq/seqAigCore.c +++ b/src/base/seq/seqAigCore.c @@ -358,7 +358,7 @@ int Seq_NtkImplementRetimingBackward( Abc_Ntk_t * pNtk, Vec_Ptr_t * vMoves, int // solve the miter clk = clock(); // RetValue = Abc_NtkMiterSat_OldAndRusty( pNtkCnf, 30, 0 ); - RetValue = Abc_NtkMiterSat( pNtkCnf, 500000, 50000000, 0 ); + RetValue = Abc_NtkMiterSat( pNtkCnf, 500000, 50000000, 0, 0 ); if ( fVerbose ) if ( clock() - clk > 100 ) { diff --git a/src/base/seq/seqMapIter.c b/src/base/seq/seqMapIter.c index 67ac4a7d..185c05f3 100644 --- a/src/base/seq/seqMapIter.c +++ b/src/base/seq/seqMapIter.c @@ -613,7 +613,7 @@ void Seq_MapCanonicizeTruthTables( Abc_Ntk_t * pNtk ) if ( pList == NULL ) continue; for ( pCut = pList->pNext; pCut; pCut = pCut->pNext ) - Cut_TruthCanonicize( pCut ); + Cut_TruthNCanonicize( pCut ); } } diff --git a/src/base/seq/seqRetCore.c b/src/base/seq/seqRetCore.c index 0805a838..38915bf4 100644 --- a/src/base/seq/seqRetCore.c +++ b/src/base/seq/seqRetCore.c @@ -107,7 +107,13 @@ Abc_Ntk_t * Seq_NtkRetimeDerive( Abc_Ntk_t * pNtk, int fVerbose ) // transform logic functions from BDD to SOP if ( fHasBdds = Abc_NtkIsBddLogic(pNtk) ) - Abc_NtkBddToSop(pNtk, 0); + { + if ( !Abc_NtkBddToSop(pNtk, 0) ) + { + printf( "Converting to SOPs has failed.\n" ); + return NULL; + } + } // start the network pNtkNew = Abc_NtkAlloc( ABC_NTK_SEQ, ABC_FUNC_AIG ); |