diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2016-02-03 13:56:47 -0800 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2016-02-03 13:56:47 -0800 |
| commit | fc1897fb18a6d7d33d8cb76ccb8285e4122adb06 (patch) | |
| tree | f3ca42066ef9f8a90b3e5647d6d06214dd603163 | |
| parent | be35a13a4c0c537620637a13bdc72c3c5eafc61c (diff) | |
| download | abc-fc1897fb18a6d7d33d8cb76ccb8285e4122adb06.tar.gz abc-fc1897fb18a6d7d33d8cb76ccb8285e4122adb06.tar.bz2 abc-fc1897fb18a6d7d33d8cb76ccb8285e4122adb06.zip | |
Making flop names after 'retime' more meaningful.
| -rw-r--r-- | src/opt/ret/retArea.c | 5 | ||||
| -rw-r--r-- | src/opt/ret/retIncrem.c | 5 |
2 files changed, 6 insertions, 4 deletions
diff --git a/src/opt/ret/retArea.c b/src/opt/ret/retArea.c index 38f95c22..cb56000f 100644 --- a/src/opt/ret/retArea.c +++ b/src/opt/ret/retArea.c @@ -447,6 +447,7 @@ void Abc_NtkRetimeMinAreaUpdateLatches( Abc_Ntk_t * pNtk, Vec_Ptr_t * vMinCut, i { // add the buffer pBuffer = Abc_NtkCreateNodeBuf( pNtk, Abc_ObjFanin0(pLatchIn) ); + Abc_ObjAssignName( pBuffer, Abc_ObjName(pObj), "_buf" ); Abc_ObjPatchFanin( pLatchIn, Abc_ObjFanin0(pLatchIn), pBuffer ); Vec_PtrPush( vBuffers, pBuffer ); // redirect edges to the unvisited fanouts of the node @@ -474,8 +475,8 @@ void Abc_NtkRetimeMinAreaUpdateLatches( Abc_Ntk_t * pNtk, Vec_Ptr_t * vMinCut, i pLatchOut = Abc_NtkCreateBo(pNtk); pLatch = Abc_NtkCreateLatch(pNtk); pLatchIn = Abc_NtkCreateBi(pNtk); - Abc_ObjAssignName( pLatchOut, Abc_ObjName(pLatch), "_out" ); - Abc_ObjAssignName( pLatchIn, Abc_ObjName(pLatch), "_in" ); + Abc_ObjAssignName( pLatchOut, Abc_ObjName(pObj), "_out" ); + Abc_ObjAssignName( pLatchIn, Abc_ObjName(pObj), "_in" ); // connect Abc_ObjAddFanin( pLatchOut, pLatch ); Abc_ObjAddFanin( pLatch, pLatchIn ); diff --git a/src/opt/ret/retIncrem.c b/src/opt/ret/retIncrem.c index 9137f151..91d7f03a 100644 --- a/src/opt/ret/retIncrem.c +++ b/src/opt/ret/retIncrem.c @@ -169,8 +169,8 @@ int Abc_NtkRetimeFinalizeLatches( Abc_Ntk_t * pNtk, st__table * tLatches, int nI // this is a new latch pLatchIn = Abc_NtkCreateBi(pNtk); pLatchOut = Abc_NtkCreateBo(pNtk); - Abc_ObjAssignName( pLatchOut, Abc_ObjName(pLatch), "_out" ); - Abc_ObjAssignName( pLatchIn, Abc_ObjName(pLatch), "_in" ); + Abc_ObjAssignName( pLatchOut, Abc_ObjName(Abc_ObjFanin0(pLatch)), "_out" ); + Abc_ObjAssignName( pLatchIn, Abc_ObjName(Abc_ObjFanin0(pLatch)), "_in" ); } else { @@ -375,6 +375,7 @@ void Abc_NtkRetimeNode( Abc_Obj_t * pObj, int fForward, int fInitial ) if ( fInitial ) { pLatch->pCopy = Abc_NtkCreateNodeBuf( pNtkNew, NULL ); + Abc_ObjAssignName( pLatch->pCopy, Abc_ObjName(pNext), "_buf" ); Abc_ObjAddFanin( pObj->pCopy, pLatch->pCopy ); } } |