diff options
Diffstat (limited to 'src/base/wlc/wlcReadVer.c')
-rw-r--r-- | src/base/wlc/wlcReadVer.c | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/base/wlc/wlcReadVer.c b/src/base/wlc/wlcReadVer.c index 96beb4b4..1a83753a 100644 --- a/src/base/wlc/wlcReadVer.c +++ b/src/base/wlc/wlcReadVer.c @@ -428,6 +428,8 @@ char * Wlc_PrsConvertInitValues( Wlc_Ntk_t * p ) continue; } pObj = Wlc_NtkObj( p, Value ); + while ( pObj->Type == WLC_OBJ_BUF ) + pObj = Wlc_NtkObj( p, Wlc_ObjFaninId0(pObj) ); pInits = pObj->Type == WLC_OBJ_CONST ? Wlc_ObjConstValue(pObj) : NULL; for ( k = 0; k < Wlc_ObjRange(pObj); k++ ) Vec_StrPush( vStr, (char)(pInits ? '0' + Abc_InfoHasBit((unsigned *)pInits, k) : 'X') ); |