summaryrefslogtreecommitdiffstats
path: root/src/base
diff options
context:
space:
mode:
authorAlan Mishchenko <alanmi@berkeley.edu>2015-01-22 15:16:45 -0800
committerAlan Mishchenko <alanmi@berkeley.edu>2015-01-22 15:16:45 -0800
commit3dd4e356fc755927a3244439e31415d7f40205b1 (patch)
treea509896330059bb1651e36d49444cf0c3ecf4e2c /src/base
parent674622a3c0be8704e0d1243248dfc8b957846013 (diff)
downloadabc-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')
-rw-r--r--src/base/wlc/wlcReadVer.c2
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') );