luke
/
abc
mirror of https://github.com/YosysHQ/abc.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

Support of init-state in AIGs derived from word-level designs in Wlc_Ntk_t.

This commit is contained in:
Alan Mishchenko 2015-01-21 17:45:48 -08:00
parent ffc7b60d2d
commit cf83242458
2 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
src/base/wlc/wlcBlast.c
View File

@ -782,7 +782,7 @@ Gia_Man_t * Wlc_NtkBitBlast( Wlc_Ntk_t * p, Vec_Int_t * vBoxIds )
{
if ( (int)strlen(p->pInits) != Gia_ManRegNum(pNew) )
{
printf( "The number of init values (%d) does not match the number of flops (%d).\n", strlen(p->pInits), Gia_ManRegNum(pNew) );
printf( "The number of init values (%d) does not match the number of flops (%d).\n", (int)strlen(p->pInits), Gia_ManRegNum(pNew) );
printf( "It is assumed that the AIG has constant 0 initial state.\n" );
}
else

2
src/base/wlc/wlcReadVer.c
View File

@ -430,7 +430,7 @@ char * Wlc_PrsConvertInitValues( Wlc_Ntk_t * p )
pObj = Wlc_NtkObj( p, Value );
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(pInits, k) : 'X') );
Vec_StrPush( vStr, (char)(pInits ? '0' + Abc_InfoHasBit((unsigned *)pInits, k) : 'X') );
}
Vec_StrPush( vStr, '\0' );
pResult = Vec_StrReleaseArray( vStr );