From a3253767b911f02584bb0722c07c78b9527e69f2 Mon Sep 17 00:00:00 2001 From: Alan Mishchenko Date: Thu, 6 Dec 2018 23:13:16 -0800 Subject: Experiments with retiming. --- src/base/wlc/wlcNtk.c | 2 +- src/base/wlc/wlcShow.c | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) (limited to 'src/base/wlc') diff --git a/src/base/wlc/wlcNtk.c b/src/base/wlc/wlcNtk.c index 52e2d9a1..f64fccaf 100644 --- a/src/base/wlc/wlcNtk.c +++ b/src/base/wlc/wlcNtk.c @@ -1129,7 +1129,7 @@ void Wlc_NtkMarkCone_rec( Wlc_Ntk_t * p, Wlc_Obj_t * pObj, Vec_Int_t * vFlops ) Vec_IntPush( vFlops, Wlc_ObjCiId(pObj) ); return; } - Wlc_ObjForEachFanin( pObj, iFanin, i ) + Wlc_ObjForEachFanin( pObj, iFanin, i ) if ( iFanin ) Wlc_NtkMarkCone_rec( p, Wlc_NtkObj(p, iFanin), vFlops ); } void Wlc_NtkMarkCone( Wlc_Ntk_t * p, int iCoId, int Range, int fSeq, int fAllPis ) diff --git a/src/base/wlc/wlcShow.c b/src/base/wlc/wlcShow.c index 6257fb6e..b78437e8 100644 --- a/src/base/wlc/wlcShow.c +++ b/src/base/wlc/wlcShow.c @@ -203,7 +203,7 @@ void Wlc_NtkDumpDot( Wlc_Ntk_t * p, char * pFileName, Vec_Int_t * vBold ) fprintf( pFile, "\"" ); } else if ( pNode->Type == WLC_OBJ_BUF || pNode->Type == WLC_OBJ_MUX ) - fprintf( pFile, " Node%d [label = \"%d\"", i, Wlc_ObjRange(pNode) ); + fprintf( pFile, " Node%d [label = \"%d: %d\"", i, i, Wlc_ObjRange(pNode) ); else if ( pNode->Type >= WLC_OBJ_LOGIC_NOT && pNode->Type <= WLC_OBJ_COMP_MOREEQU ) fprintf( pFile, " Node%d [label = \"%d:%s\"", i, i, Wlc_ObjTypeName(pNode) ); else -- cgit v1.2.3