diff options
Diffstat (limited to 'src/base/wln/wlnNdr.c')
| -rw-r--r-- | src/base/wln/wlnNdr.c | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/src/base/wln/wlnNdr.c b/src/base/wln/wlnNdr.c index 5daee6a7..831d2912 100644 --- a/src/base/wln/wlnNdr.c +++ b/src/base/wln/wlnNdr.c @@ -313,6 +313,8 @@ void Wln_NtkRetimeTest( char * pFileName ) void * pData = Ndr_Read( pFileName ); Wln_Ntk_t * pNtk = Wln_NtkFromNdr( pData ); Ndr_Delete( pData ); + if ( Wln_NtkHasInstId(pNtk) ) + Vec_IntErase( &pNtk->vInstIds ); if ( !Wln_NtkHasInstId(pNtk) ) { int iObj; @@ -325,6 +327,13 @@ void Wln_NtkRetimeTest( char * pFileName ) Wln_ObjSetInstId( pNtk, iObj, 10 ); printf( "Assuming user-specified delays for internal nodes.\n" ); } + else + { + int iObj; + Wln_NtkForEachObj( pNtk, iObj ) + if ( !Wln_ObjIsCio(pNtk, iObj) && Wln_ObjFaninNum(pNtk, iObj) > 0 && !Wln_ObjIsFf(pNtk, iObj) ) + printf( "Obj %5d : NameId = %6d InstId = %6d\n", iObj, Wln_ObjNameId(pNtk, iObj), Wln_ObjInstId(pNtk, iObj) ); + } //else { Vec_Int_t * vMoves = Wln_NtkRetime( pNtk ); |