diff options
Diffstat (limited to 'src/aig')
| -rw-r--r-- | src/aig/kit/kitFactor.c | 2 | ||||
| -rw-r--r-- | src/aig/kit/kitGraph.c | 2 | ||||
| -rw-r--r-- | src/aig/kit/kitIsop.c | 2 |
3 files changed, 3 insertions, 3 deletions
diff --git a/src/aig/kit/kitFactor.c b/src/aig/kit/kitFactor.c index 3982d7a8..ec4775ca 100644 --- a/src/aig/kit/kitFactor.c +++ b/src/aig/kit/kitFactor.c @@ -28,7 +28,7 @@ ABC_NAMESPACE_IMPL_START //////////////////////////////////////////////////////////////////////// // factoring fails if intermediate memory usage exceed this limit -#define KIT_FACTOR_MEM_LIMIT (1<<16) +#define KIT_FACTOR_MEM_LIMIT (1<<20) static Kit_Edge_t Kit_SopFactor_rec( Kit_Graph_t * pFForm, Kit_Sop_t * cSop, int nLits, Vec_Int_t * vMemory ); static Kit_Edge_t Kit_SopFactorLF_rec( Kit_Graph_t * pFForm, Kit_Sop_t * cSop, Kit_Sop_t * cSimple, int nLits, Vec_Int_t * vMemory ); diff --git a/src/aig/kit/kitGraph.c b/src/aig/kit/kitGraph.c index f407a93a..5cc63a96 100644 --- a/src/aig/kit/kitGraph.c +++ b/src/aig/kit/kitGraph.c @@ -360,7 +360,7 @@ Kit_Graph_t * Kit_TruthToGraph( unsigned * pTruth, int nVars, Vec_Int_t * vMemor RetValue = Kit_TruthIsop( pTruth, nVars, vMemory, 1 ); // tried 1 and found not useful in "renode" if ( RetValue == -1 ) return NULL; - if ( Vec_IntSize(vMemory) > 128 ) + if ( Vec_IntSize(vMemory) > 1024 ) return NULL; // printf( "Isop size = %d.\n", Vec_IntSize(vMemory) ); assert( RetValue == 0 || RetValue == 1 ); diff --git a/src/aig/kit/kitIsop.c b/src/aig/kit/kitIsop.c index 18039dc5..fc017c0e 100644 --- a/src/aig/kit/kitIsop.c +++ b/src/aig/kit/kitIsop.c @@ -28,7 +28,7 @@ ABC_NAMESPACE_IMPL_START //////////////////////////////////////////////////////////////////////// // ISOP computation fails if intermediate memory usage exceed this limit -#define KIT_ISOP_MEM_LIMIT (1<<16) +#define KIT_ISOP_MEM_LIMIT (1<<20) // static procedures to compute ISOP static unsigned * Kit_TruthIsop_rec( unsigned * puOn, unsigned * puOnDc, int nVars, Kit_Sop_t * pcRes, Vec_Int_t * vStore ); |