Skip to content

A
abc
Commit 72dbdee2 by Alan Mishchenko
Options

Adding resource limit to 'sop'.

parent 4b93ddda
Showing with 2 additions and 2 deletions
src/base/abc/abcFunc.c
...@@ -373,11 +373,11 @@ int Abc_NtkBddToSop( Abc_Ntk_t * pNtk, int fDirect ) ...@@ -373,11 +373,11 @@ int Abc_NtkBddToSop( Abc_Ntk_t * pNtk, int fDirect )
if ( !Abc_ObjIsBarBuf(pNode) ) if ( !Abc_ObjIsBarBuf(pNode) )
Vec_PtrPush( vFuncs, pNode->pData ); Vec_PtrPush( vFuncs, pNode->pData );
// estimate the number of cubes in the ISOPs // estimate the number of cubes in the ISOPs
nCubes = Extra_bddCountCubes( dd, (DdNode **)Vec_PtrArray(vFuncs), Vec_PtrSize(vFuncs), fDirect, 100000 ); nCubes = Extra_bddCountCubes( dd, (DdNode **)Vec_PtrArray(vFuncs), Vec_PtrSize(vFuncs), fDirect, ABC_MAX_CUBES );
Vec_PtrFree( vFuncs ); Vec_PtrFree( vFuncs );
if ( nCubes == -1 ) if ( nCubes == -1 )
return 0; return 0;
printf( "The total number of cubes = %d.\n", nCubes ); //printf( "The total number of cubes = %d.\n", nCubes );
if ( fDirect ) if ( fDirect )
fMode = 1; fMode = 1;
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment