diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2015-01-22 15:16:45 -0800 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2015-01-22 15:16:45 -0800 |
| commit | 3dd4e356fc755927a3244439e31415d7f40205b1 (patch) | |
| tree | a509896330059bb1651e36d49444cf0c3ecf4e2c /src/base/wlc | |
| parent | 674622a3c0be8704e0d1243248dfc8b957846013 (diff) | |
| download | abc-3dd4e356fc755927a3244439e31415d7f40205b1.tar.gz abc-3dd4e356fc755927a3244439e31415d7f40205b1.tar.bz2 abc-3dd4e356fc755927a3244439e31415d7f40205b1.zip | |
Fix in deriving the init values for Wlc_Ntk_t.
Diffstat (limited to 'src/base/wlc')
| -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') ); |