summaryrefslogtreecommitdiffstats
path: root/src/base/abci
diff options
context:
space:
mode:
authorAlan Mishchenko <alanmi@berkeley.edu>2011-12-30 11:36:25 +0700
committerAlan Mishchenko <alanmi@berkeley.edu>2011-12-30 11:36:25 +0700
commit655d452cbb01a381110f111aea21071a24aa3799 (patch)
tree3c27afa77295110328b4918312faee31d11c866c /src/base/abci
parent6ed834022608195afc0febdc89a3b0985ffafbcb (diff)
downloadabc-655d452cbb01a381110f111aea21071a24aa3799.tar.gz
abc-655d452cbb01a381110f111aea21071a24aa3799.tar.bz2
abc-655d452cbb01a381110f111aea21071a24aa3799.zip
Delay optimization using precomputed library.
Diffstat (limited to 'src/base/abci')
-rw-r--r--src/base/abci/abcRec.c4
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;