diff options
author | Alan Mishchenko <alanmi@berkeley.edu> | 2006-08-24 08:01:00 -0700 |
---|---|---|
committer | Alan Mishchenko <alanmi@berkeley.edu> | 2006-08-24 08:01:00 -0700 |
commit | 735bca1658f92881e12a616f9bdc6a58d0a4c60b (patch) | |
tree | bf38d65e91be84e4086b585c489411876750f041 /src/base/seq/seqRetCore.c | |
parent | 7b09d2d28aa81916f9c06f0993f2569a7ad18596 (diff) | |
download | abc-735bca1658f92881e12a616f9bdc6a58d0a4c60b.tar.gz abc-735bca1658f92881e12a616f9bdc6a58d0a4c60b.tar.bz2 abc-735bca1658f92881e12a616f9bdc6a58d0a4c60b.zip |
Version abc60824
Diffstat (limited to 'src/base/seq/seqRetCore.c')
-rw-r--r-- | src/base/seq/seqRetCore.c | 12 |
1 files changed, 6 insertions, 6 deletions
diff --git a/src/base/seq/seqRetCore.c b/src/base/seq/seqRetCore.c index 1945826f..ba2c154c 100644 --- a/src/base/seq/seqRetCore.c +++ b/src/base/seq/seqRetCore.c @@ -125,14 +125,14 @@ Abc_Ntk_t * Seq_NtkRetimeDerive( Abc_Ntk_t * pNtk, int fVerbose ) Abc_NtkCleanCopy( pNtk ); // clone the PIs/POs/latches Abc_NtkForEachPi( pNtk, pObj, i ) - Abc_NtkDupObj( pNtkNew, pObj ); + Abc_NtkDupObj( pNtkNew, pObj, 0 ); Abc_NtkForEachPo( pNtk, pObj, i ) - Abc_NtkDupObj( pNtkNew, pObj ); + Abc_NtkDupObj( pNtkNew, pObj, 0 ); // copy the names Abc_NtkForEachPi( pNtk, pObj, i ) - Abc_NtkLogicStoreName( pObj->pCopy, Abc_ObjName(pObj) ); + Abc_ObjAssignName( pObj->pCopy, Abc_ObjName(pObj), NULL ); Abc_NtkForEachPo( pNtk, pObj, i ) - Abc_NtkLogicStoreName( pObj->pCopy, Abc_ObjName(pObj) ); + Abc_ObjAssignName( pObj->pCopy, Abc_ObjName(pObj), NULL ); // create one AND for each logic node in the topological order vMapAnds = Abc_NtkDfs( pNtk, 0 ); @@ -354,7 +354,7 @@ Abc_Ntk_t * Seq_NtkRetimeReconstruct( Abc_Ntk_t * pNtkOld, Abc_Ntk_t * pNtkSeq ) Abc_NtkForEachNode( pNtkOld, pObj, i ) { if ( i == 0 ) continue; - Abc_NtkDupObj( pNtkNew, pObj ); + Abc_NtkDupObj( pNtkNew, pObj, 0 ); pObj->pNext->pCopy = pObj->pCopy; } Abc_NtkForEachLatch( pNtkOld, pObj, i ) @@ -407,7 +407,7 @@ Abc_Ntk_t * Seq_NtkRetimeReconstruct( Abc_Ntk_t * pNtkOld, Abc_Ntk_t * pNtkSeq ) Seq_NtkShareLatchesClean( pNtkSeq ); // add the latches and their names - Abc_NtkAddDummyLatchNames( pNtkNew ); + Abc_NtkAddDummyBoxNames( pNtkNew ); Abc_NtkOrderCisCos( pNtkNew ); // fix the problem with complemented and duplicated CO edges Abc_NtkLogicMakeSimpleCos( pNtkNew, 1 ); |