diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2011-09-24 20:15:54 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2011-09-24 20:15:54 -0700 |
| commit | 976f5f5a1230ff80e1050f6bc840e35941fe637b (patch) | |
| tree | 8c462dcf4f03d89baa224f7aa159e12954d6249d /src/misc | |
| parent | d080336bb5e4508274ed03940d6c8cb6ec3a1200 (diff) | |
| download | abc-976f5f5a1230ff80e1050f6bc840e35941fe637b.tar.gz abc-976f5f5a1230ff80e1050f6bc840e35941fe637b.tar.bz2 abc-976f5f5a1230ff80e1050f6bc840e35941fe637b.zip | |
Changes to Boolean matching.
Diffstat (limited to 'src/misc')
| -rw-r--r-- | src/misc/extra/extraBddKmap.c | 35 |
1 files changed, 35 insertions, 0 deletions
diff --git a/src/misc/extra/extraBddKmap.c b/src/misc/extra/extraBddKmap.c index 5f384bc9..aa8e3764 100644 --- a/src/misc/extra/extraBddKmap.c +++ b/src/misc/extra/extraBddKmap.c @@ -200,6 +200,7 @@ void Extra_PrintKMap( int fSuppType, /* the flag which determines how support is computed */ char ** pVarNames ) { + int fPrintTruth = 1; int d, p, n, s, v, h, w; int nVarsVer; int nVarsHor; @@ -213,6 +214,40 @@ void Extra_PrintKMap( fprintf( Output, "PrintKMap(): The on-set and the off-set overlap\n" ); return; } + + // print truth table for debugging + if ( fPrintTruth ) + { + DdNode * bCube, * bPart; + printf( "Truth table: " ); + if ( nVars == 0 ) + printf( "Constant" ); + else if ( nVars == 1 ) + printf( "1-var function" ); + else + { +// printf( "0x" ); + for ( d = (1<<(nVars-2)) - 1; d >= 0; d-- ) + { + int Value = 0; + for ( s = 0; s < 4; s++ ) + { + bCube = Extra_bddBitsToCube( dd, 4*d+s, nVars, dd->vars, 0 ); Cudd_Ref( bCube ); + bPart = Cudd_Cofactor( dd, OnSet, bCube ); Cudd_Ref( bPart ); + Value |= ((int)(bPart == b1) << s); + Cudd_RecursiveDeref( dd, bPart ); + Cudd_RecursiveDeref( dd, bCube ); + } + if ( Value < 10 ) + fprintf( stdout, "%d", Value ); + else + fprintf( stdout, "%c", 'a' + Value-10 ); + } + } + printf( "\n" ); + } + + /* if ( OnSet == b1 ) { |