From 9daabedff5d8673ddee1c52f3c84b1b84cc0eb56 Mon Sep 17 00:00:00 2001 From: Alan Mishchenko Date: Sat, 8 Oct 2011 23:18:44 +0700 Subject: Fixing built-in resource limit when converting truth-tables to AIGs. --- src/aig/kit/kitGraph.c | 2 +- src/aig/kit/kitHop.c | 5 +++++ 2 files changed, 6 insertions(+), 1 deletion(-) (limited to 'src/aig') diff --git a/src/aig/kit/kitGraph.c b/src/aig/kit/kitGraph.c index 5cc63a96..e4eea885 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) > 1024 ) + if ( Vec_IntSize(vMemory) > (1<<16) ) return NULL; // printf( "Isop size = %d.\n", Vec_IntSize(vMemory) ); assert( RetValue == 0 || RetValue == 1 ); diff --git a/src/aig/kit/kitHop.c b/src/aig/kit/kitHop.c index 0dad6295..9dfa67a8 100644 --- a/src/aig/kit/kitHop.c +++ b/src/aig/kit/kitHop.c @@ -111,6 +111,11 @@ Hop_Obj_t * Kit_TruthToHop( Hop_Man_t * pMan, unsigned * pTruth, int nVars, Vec_ } else pGraph = Kit_TruthToGraph( pTruth, nVars, vMemory ); + if ( pGraph == NULL ) + { + printf( "Kit_TruthToHop(): Converting truth table to AIG has failed for function:\n" ); + Kit_DsdPrintFromTruth( pTruth, nVars ); printf( "\n" ); + } // derive the AIG for the decomposition tree pObj = Kit_GraphToHop( pMan, pGraph ); Kit_GraphFree( pGraph ); -- cgit v1.2.3