luke
/
abc
mirror of https://github.com/YosysHQ/abc.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

Making flop names after 'retime' more meaningful.

This commit is contained in:
Alan Mishchenko 2016-02-03 13:56:47 -08:00
parent be35a13a4c
commit fc1897fb18
2 changed files with 6 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
src/opt/ret/retArea.c
View File

@ -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 );

5
src/opt/ret/retIncrem.c
View File

@ -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 );
}
}