From 3dd4e356fc755927a3244439e31415d7f40205b1 Mon Sep 17 00:00:00 2001 From: Alan Mishchenko Date: Thu, 22 Jan 2015 15:16:45 -0800 Subject: Fix in deriving the init values for Wlc_Ntk_t. --- src/base/wlc/wlcReadVer.c | 2 ++ 1 file changed, 2 insertions(+) (limited to 'src/base') 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') ); -- cgit v1.2.3