luke
/
abc
mirror of https://github.com/YosysHQ/abc.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

Temporary debugging change.

This commit is contained in:
Alan Mishchenko 2011-11-12 22:58:48 -08:00
parent 03cd9e196b
commit 4a937ef39f
1 changed files with 18 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

21
src/map/if/ifDec16.c
View File

@ -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 ///