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

Isolating BMC code into a separate package.

This commit is contained in:
Alan Mishchenko 2012-11-14 14:00:47 -08:00
parent be7a4e4259
commit ddab80aea4
2 changed files with 3 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
src/aig/saig/module.make
View File

@ -1,4 +1,4 @@
SRC += src/aig/saig/saigCone. \ SRC += src/aig/saig/saigCone.c \
src/aig/saig/saigConstr.c \ src/aig/saig/saigConstr.c \
src/aig/saig/saigConstr2.c \ src/aig/saig/saigConstr2.c \
src/aig/saig/saigDual.c \ src/aig/saig/saigDual.c \

5
src/opt/dau/dauTree.c
View File

@ -201,7 +201,7 @@ void Dss_NtkPrint( Dss_Ntk_t * p )
{ {
printf( "%s", Dss_IsComplement(p->pRoot) ? "!":"" ); printf( "%s", Dss_IsComplement(p->pRoot) ? "!":"" );
if ( Dss_Regular(p->pRoot)->Type == DAU_DSD_VAR ) if ( Dss_Regular(p->pRoot)->Type == DAU_DSD_VAR )
printf( "%s%d", Dss_Regular(p->pRoot)->iVar ); printf( "%c", 'a' + Dss_Regular(p->pRoot)->iVar );
else else
Dss_NtkPrint_rec( p, Dss_Regular(p->pRoot) ); Dss_NtkPrint_rec( p, Dss_Regular(p->pRoot) );
} }
@ -388,7 +388,6 @@ void Dss_NtkCheck( Dss_Ntk_t * p )
void Dss_NtkTransform( Dss_Ntk_t * p ) void Dss_NtkTransform( Dss_Ntk_t * p )
{ {
Dss_Obj_t * pChildren[DAU_MAX_VAR]; Dss_Obj_t * pChildren[DAU_MAX_VAR];
Vec_Ptr_t Fanins, * vFanins = &Fanins;
Dss_Obj_t * pObj, * pChild; Dss_Obj_t * pObj, * pChild;
int i, k; int i, k;
Dss_NtkForEachNode( p, pObj, i ) Dss_NtkForEachNode( p, pObj, i )
@ -569,7 +568,7 @@ Dss_Man_t * Dss_ManAlloc( int nVars )
p = ABC_CALLOC( Dss_Man_t, 1 ); p = ABC_CALLOC( Dss_Man_t, 1 );
p->nVars = nVars; p->nVars = nVars;
p->nBins = Abc_PrimeCudd( 1000 ); p->nBins = Abc_PrimeCudd( 1000 );
p->pBins = ABC_CALLOC( int, p->nBins ); p->pBins = ABC_CALLOC( unsigned, p->nBins );
p->pMem = Mem_FlexStart(); p->pMem = Mem_FlexStart();
p->vObjs = Vec_PtrAlloc( 1000 ); p->vObjs = Vec_PtrAlloc( 1000 );
Dss_ObjAlloc( p, DAU_DSD_CONST0, 0, 0 ); Dss_ObjAlloc( p, DAU_DSD_CONST0, 0, 0 );