From fc1897fb18a6d7d33d8cb76ccb8285e4122adb06 Mon Sep 17 00:00:00 2001 From: Alan Mishchenko Date: Wed, 3 Feb 2016 13:56:47 -0800 Subject: Making flop names after 'retime' more meaningful. --- src/opt/ret/retIncrem.c | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) (limited to 'src/opt/ret/retIncrem.c') 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 ); } } -- cgit v1.2.3