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/wlc/wlcWriteVer.c | |
| 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/wlc/wlcWriteVer.c')
| -rw-r--r-- | src/base/wlc/wlcWriteVer.c | 2 |
1 files changed, 1 insertions, 1 deletions
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; } |