diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2018-09-11 22:20:09 +0300 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2018-09-11 22:20:09 +0300 |
| commit | caaca1103209006f65f5f65e1b55e9bd38d71bc2 (patch) | |
| tree | 319d67deee3655091a1bc9fc7e9b37c888924300 /src/base | |
| parent | 1b82a3871828acac6635c9c5767f50397cb704c1 (diff) | |
| download | abc-caaca1103209006f65f5f65e1b55e9bd38d71bc2.tar.gz abc-caaca1103209006f65f5f65e1b55e9bd38d71bc2.tar.bz2 abc-caaca1103209006f65f5f65e1b55e9bd38d71bc2.zip | |
Supporting unitialized flops in NDR.
Diffstat (limited to 'src/base')
| -rw-r--r-- | src/base/wlc/wlcNdr.c | 3 | ||||
| -rw-r--r-- | src/base/wlc/wlcWriteVer.c | 2 |
2 files changed, 3 insertions, 2 deletions
diff --git a/src/base/wlc/wlcNdr.c b/src/base/wlc/wlcNdr.c index 1adae429..537f62f2 100644 --- a/src/base/wlc/wlcNdr.c +++ b/src/base/wlc/wlcNdr.c @@ -344,9 +344,10 @@ void Wlc_NtkCheckIntegrity( void * pData ) } Ndr_ModForEachObj( p, Mod, Obj ) { + int Type = Ndr_ObjReadBody( p, Obj, NDR_OPERTYPE ); int i, * pArray, nArray = Ndr_ObjReadArray( p, Obj, NDR_INPUT, &pArray ); for ( i = 0; i < nArray; i++ ) - if ( Vec_IntGetEntry(vMap, pArray[i]) == 0 ) + if ( Vec_IntGetEntry(vMap, pArray[i]) == 0 && !(Type == ABC_OPER_DFFRSE && i == 7) ) printf( "Input name %d appearing as fanin %d of obj %d is not used as output name in any object.\n", pArray[i], i, Obj ); } Vec_IntFree( vMap ); diff --git a/src/base/wlc/wlcWriteVer.c b/src/base/wlc/wlcWriteVer.c index dd25196c..3a7da5b1 100644 --- a/src/base/wlc/wlcWriteVer.c +++ b/src/base/wlc/wlcWriteVer.c @@ -366,7 +366,7 @@ void Wlc_WriteVerInt( FILE * pFile, Wlc_Ntk_t * p, int fNoFlops ) fprintf( pFile, " " ); fprintf( pFile, "%s (", "ABC_DFFRSE" ); Wlc_ObjForEachFanin( pObj, iFanin, k ) - fprintf( pFile, " .%s(%s),", pInNames[k], Wlc_ObjName(p, iFanin) ); + if ( iFanin ) fprintf( pFile, " .%s(%s),", pInNames[k], Wlc_ObjName(p, iFanin) ); fprintf( pFile, " .%s(%s) ) ;\n", "q", Wlc_ObjName(p, i) ); continue; } |