1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
|
/**CFile****************************************************************
FileName [dauDivs.c]
SystemName [ABC: Logic synthesis and verification system.]
PackageName [DAG-aware unmapping.]
Synopsis [Divisor computation.]
Author [Alan Mishchenko]
Affiliation [UC Berkeley]
Date [Ver. 1.0. Started - June 20, 2005.]
Revision [$Id: dauDivs.c,v 1.00 2005/06/20 00:00:00 alanmi Exp $]
***********************************************************************/
#include "dauInt.h"
#include "misc/util/utilTruth.h"
ABC_NAMESPACE_IMPL_START
////////////////////////////////////////////////////////////////////////
/// DECLARATIONS ///
////////////////////////////////////////////////////////////////////////
////////////////////////////////////////////////////////////////////////
/// FUNCTION DEFINITIONS ///
////////////////////////////////////////////////////////////////////////
/**Function*************************************************************
Synopsis []
Description []
SideEffects []
SeeAlso []
***********************************************************************/
Vec_Int_t * Dau_DsdDivisors( word * pTruth, int nVars )
{
word Copy[DAU_MAX_WORD];
int nWords = Abc_TtWordNum(nVars);
int nDigits = Abc_TtHexDigitNum(nVars);
int i, j, k, Digit, Counter[5];
printf( " " );
printf( " !a *!b" );
printf( " !a * b" );
printf( " a *!b" );
printf( " a * b" );
printf( " a + b" );
printf( "\n" );
for ( i = 0; i < nVars; i++ )
for ( j = i+1; j < nVars; j++ )
{
Abc_TtCopy( Copy, pTruth, nWords, 0 );
Abc_TtSwapVars( Copy, nVars, 0, i );
Abc_TtSwapVars( Copy, nVars, 1, j );
for ( k = 0; k < 5; k++ )
Counter[k] = 0;
for ( k = 0; k < nDigits; k++ )
{
Digit = Abc_TtGetHex( Copy, k );
if ( Digit == 1 || Digit == 14 )
Counter[0]++;
else if ( Digit == 2 || Digit == 13 )
Counter[1]++;
else if ( Digit == 4 || Digit == 11 )
Counter[2]++;
else if ( Digit == 8 || Digit == 7 )
Counter[3]++;
else if ( Digit == 6 || Digit == 9 )
Counter[4]++;
}
printf( "%c %c ", 'a'+i, 'a'+j );
for ( k = 0; k < 5; k++ )
printf( "%7d", Counter[k] );
printf( "\n" );
}
return NULL;
}
void Dau_DsdTest000()
{
// char * pDsd = "!(!(abc)!(def))";
// char * pDsd = "[(abc)(def)]";
char * pDsd = "<<abc>d(ef)>";
word t = Dau_Dsd6ToTruth( pDsd );
// word t = 0xCA88CA88CA88CA88;
// word t = 0x9ef7a8d9c7193a0f;
int nVars = Abc_TtSupportSize( &t, 6 );
return;
// word t = 0xCACACACACACACACA;
Dau_DsdDivisors( &t, nVars );
}
////////////////////////////////////////////////////////////////////////
/// END OF FILE ///
////////////////////////////////////////////////////////////////////////
ABC_NAMESPACE_IMPL_END
|
