diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2011-10-08 23:18:44 +0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2011-10-08 23:18:44 +0700 |
| commit | 9daabedff5d8673ddee1c52f3c84b1b84cc0eb56 (patch) | |
| tree | 1ed7c8653601648e63e5970db108956772bd2a43 /src/aig | |
| parent | 924ec940fe1dbda99d9ff16b94dba9ec56015ca1 (diff) | |
| download | abc-9daabedff5d8673ddee1c52f3c84b1b84cc0eb56.tar.gz abc-9daabedff5d8673ddee1c52f3c84b1b84cc0eb56.tar.bz2 abc-9daabedff5d8673ddee1c52f3c84b1b84cc0eb56.zip | |
Fixing built-in resource limit when converting truth-tables to AIGs.
Diffstat (limited to 'src/aig')
| -rw-r--r-- | src/aig/kit/kitGraph.c | 2 | ||||
| -rw-r--r-- | src/aig/kit/kitHop.c | 5 |
2 files changed, 6 insertions, 1 deletions
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 ); |