diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2018-12-06 23:13:16 -0800 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2018-12-06 23:13:16 -0800 |
| commit | a3253767b911f02584bb0722c07c78b9527e69f2 (patch) | |
| tree | 31b4164e6f9659db3a87320a97c2ff89c2f2d281 /src/base/wlc | |
| parent | 65b10c0327ce232ba999d51d00a52db53d52bea0 (diff) | |
| download | abc-a3253767b911f02584bb0722c07c78b9527e69f2.tar.gz abc-a3253767b911f02584bb0722c07c78b9527e69f2.tar.bz2 abc-a3253767b911f02584bb0722c07c78b9527e69f2.zip | |
Experiments with retiming.
Diffstat (limited to 'src/base/wlc')
| -rw-r--r-- | src/base/wlc/wlcNtk.c | 2 | ||||
| -rw-r--r-- | src/base/wlc/wlcShow.c | 2 |
2 files changed, 2 insertions, 2 deletions
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 |