diff options
author | Alan Mishchenko <alanmi@berkeley.edu> | 2011-12-30 11:36:25 +0700 |
---|---|---|
committer | Alan Mishchenko <alanmi@berkeley.edu> | 2011-12-30 11:36:25 +0700 |
commit | 655d452cbb01a381110f111aea21071a24aa3799 (patch) | |
tree | 3c27afa77295110328b4918312faee31d11c866c /src | |
parent | 6ed834022608195afc0febdc89a3b0985ffafbcb (diff) | |
download | abc-655d452cbb01a381110f111aea21071a24aa3799.tar.gz abc-655d452cbb01a381110f111aea21071a24aa3799.tar.bz2 abc-655d452cbb01a381110f111aea21071a24aa3799.zip |
Delay optimization using precomputed library.
Diffstat (limited to 'src')
-rw-r--r-- | src/base/abci/abcRec.c | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/src/base/abci/abcRec.c b/src/base/abci/abcRec.c index 50d24cac..4bf44219 100644 --- a/src/base/abci/abcRec.c +++ b/src/base/abci/abcRec.c @@ -736,7 +736,9 @@ Abc_Ntk_t * Abc_NtkDupWithoutDangling( Abc_Ntk_t * pNtk ) { Abc_NtkDupObj( pNtkNew, pObj, 0 ); Abc_ObjAddFanin( pObj->pCopy, Abc_ObjFanin0(pObj)->pCopy ); - } + } + Abc_NtkAddDummyPiNames( pNtkNew ); + Abc_NtkAddDummyPoNames( pNtkNew ); if ( !Abc_NtkCheck( pNtkNew ) ) fprintf( stdout, "Abc_NtkDupWithoutDangling(): Network check has failed.\n" ); pNtk->pCopy = pNtkNew; |