diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2016-02-05 16:21:37 -0800 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2016-02-05 16:21:37 -0800 |
| commit | 76670892c2651c43d1d75a11f6b2eb2a46ba6a01 (patch) | |
| tree | bec02de8079d75ff5075476c10ed2671924ebef8 | |
| parent | fc1897fb18a6d7d33d8cb76ccb8285e4122adb06 (diff) | |
| download | abc-76670892c2651c43d1d75a11f6b2eb2a46ba6a01.tar.gz abc-76670892c2651c43d1d75a11f6b2eb2a46ba6a01.tar.bz2 abc-76670892c2651c43d1d75a11f6b2eb2a46ba6a01.zip | |
Fixing the problem of identically named signals in 'retime'.
| -rw-r--r-- | src/opt/ret/retArea.c | 4 | ||||
| -rw-r--r-- | src/opt/ret/retIncrem.c | 4 |
2 files changed, 4 insertions, 4 deletions
diff --git a/src/opt/ret/retArea.c b/src/opt/ret/retArea.c index cb56000f..81138b15 100644 --- a/src/opt/ret/retArea.c +++ b/src/opt/ret/retArea.c @@ -475,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(pObj), "_out" ); - Abc_ObjAssignName( pLatchIn, Abc_ObjName(pObj), "_in" ); + Abc_ObjAssignName( pLatchOut, Abc_ObjName(pObj), "_o1" ); + Abc_ObjAssignName( pLatchIn, Abc_ObjName(pObj), "_i1" ); // connect Abc_ObjAddFanin( pLatchOut, pLatch ); Abc_ObjAddFanin( pLatch, pLatchIn ); diff --git a/src/opt/ret/retIncrem.c b/src/opt/ret/retIncrem.c index 91d7f03a..c322f61b 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(Abc_ObjFanin0(pLatch)), "_out" ); - Abc_ObjAssignName( pLatchIn, Abc_ObjName(Abc_ObjFanin0(pLatch)), "_in" ); + Abc_ObjAssignName( pLatchOut, Abc_ObjName(Abc_ObjFanin0(pLatch)), "_o2" ); + Abc_ObjAssignName( pLatchIn, Abc_ObjName(Abc_ObjFanin0(pLatch)), "_i2" ); } else { |