diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2011-11-12 22:58:48 -0800 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2011-11-12 22:58:48 -0800 |
| commit | 4a937ef39f8d0ed1f2d745c64d1999f91d102420 (patch) | |
| tree | 508efa29f89359f25677dba50aa11ba6d5e7ad61 /src/map/if/ifDec16.c | |
| parent | 03cd9e196b89d993f508a9aa5d4e6694c070e020 (diff) | |
| download | abc-4a937ef39f8d0ed1f2d745c64d1999f91d102420.tar.gz abc-4a937ef39f8d0ed1f2d745c64d1999f91d102420.tar.bz2 abc-4a937ef39f8d0ed1f2d745c64d1999f91d102420.zip | |
Temporary debugging change.
Diffstat (limited to 'src/map/if/ifDec16.c')
| -rw-r--r-- | src/map/if/ifDec16.c | 21 |
1 files changed, 18 insertions, 3 deletions
diff --git a/src/map/if/ifDec16.c b/src/map/if/ifDec16.c index 895051da..3ab04585 100644 --- a/src/map/if/ifDec16.c +++ b/src/map/if/ifDec16.c @@ -689,7 +689,10 @@ void If_CluVerify3( word * pF, int nVars, If_Grp_t * g, If_Grp_t * g2, If_Grp_t If_CluInitTruthTables(); for ( i = 0; i < g->nVars; i++ ) + { If_CluCopy( pTTFans[i], TruthAll[g->pVars[i]], nVars ); + Kit_DsdPrintFromTruth( (unsigned*)pTTFans[i], nVars ); printf( "\n" ); + } If_CluComposeLut( nVars, g, &BStruth, pTTFans, pTTWire ); for ( i = 0; i < g2->nVars; i++ ) @@ -1966,7 +1969,7 @@ int If_CutPerformCheck16( If_Man_t * p, unsigned * pTruth, int nVars, int nLeave // testing procedure -void If_CluTest() +void If_CluTest3() { // word t = 0xff00f0f0ccccaaaa; // word t = 0xfedcba9876543210; @@ -2030,8 +2033,20 @@ void If_CluTest() // If_CluPrintGroup( &G ); } - - +void If_CluTest() +{ + word pF[1024] = {0}; + If_Grp_t G = { 6, 4, {'e'-'a','f'-'a','c'-'a','a'-'a','b'-'a','g'-'a'} }; + If_Grp_t G2 = { 6, 4, {'e'-'a','f'-'a','c'-'a','a'-'a','b'-'a','g'-'a'} }; + If_Grp_t R = { 5, 0, {'j'-'a','k'-'a','d'-'a','h'-'a','i'-'a'} }; + word BStruth = 0x70050367E00A0C6E; + word BStruth2 = 0xFFAACC88E0A0C080; + word FStruth = 0x003F6FFF; +//F = 70050367E00A0C6E(a,b,c,d,e,f) Vars = 6 Myu = 4 { e f c a b g } +//F = FFAACC88E0A0C080(a,b,c,d,e,f) Vars = 6 Myu = 4 { e f c a b g } +//F = 003F6FFF(a,b,c,d,e) Vars = 5 Myu = 0 { j k d h i } + If_CluVerify3( pF, 9, &G, &G2, &R, BStruth, BStruth2, FStruth ); +} //////////////////////////////////////////////////////////////////////// /// END OF FILE /// |