summaryrefslogtreecommitdiffstats
path: root/src/opt/ret/retIncrem.c
diff options
context:
space:
mode:
authorAlan Mishchenko <alanmi@berkeley.edu>2016-02-05 16:21:37 -0800
committerAlan Mishchenko <alanmi@berkeley.edu>2016-02-05 16:21:37 -0800
commit76670892c2651c43d1d75a11f6b2eb2a46ba6a01 (patch)
treebec02de8079d75ff5075476c10ed2671924ebef8 /src/opt/ret/retIncrem.c
parentfc1897fb18a6d7d33d8cb76ccb8285e4122adb06 (diff)
downloadabc-76670892c2651c43d1d75a11f6b2eb2a46ba6a01.tar.gz
abc-76670892c2651c43d1d75a11f6b2eb2a46ba6a01.tar.bz2
abc-76670892c2651c43d1d75a11f6b2eb2a46ba6a01.zip
Fixing the problem of identically named signals in 'retime'.
Diffstat (limited to 'src/opt/ret/retIncrem.c')
-rw-r--r--src/opt/ret/retIncrem.c4
1 files changed, 2 insertions, 2 deletions
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
{