| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/opt/cut/ |
| H A D | cutTruth.c | 181 Extra_TruthNot( p->puTemp[0], Cut_CutReadTruth(pCut0), pCut->nVarsMax ); in Cut_TruthCompute()
183 Extra_TruthCopy( p->puTemp[0], Cut_CutReadTruth(pCut0), pCut->nVarsMax ); in Cut_TruthCompute()
184 …Extra_TruthStretch( p->puTemp[2], p->puTemp[0], pCut0->nLeaves, pCut->nVarsMax, Cut_TruthPhase(pCu… in Cut_TruthCompute()
187 Extra_TruthNot( p->puTemp[1], Cut_CutReadTruth(pCut1), pCut->nVarsMax ); in Cut_TruthCompute()
189 Extra_TruthCopy( p->puTemp[1], Cut_CutReadTruth(pCut1), pCut->nVarsMax ); in Cut_TruthCompute()
190 …Extra_TruthStretch( p->puTemp[3], p->puTemp[1], pCut1->nLeaves, pCut->nVarsMax, Cut_TruthPhase(pCu… in Cut_TruthCompute()
193 Extra_TruthNand( Cut_CutReadTruth(pCut), p->puTemp[2], p->puTemp[3], pCut->nVarsMax ); in Cut_TruthCompute()
195 Extra_TruthAnd( Cut_CutReadTruth(pCut), p->puTemp[2], p->puTemp[3], pCut->nVarsMax ); in Cut_TruthCompute()
|
| H A D | cutMan.c | 88 p->puTemp[0] = ABC_ALLOC( unsigned, 4 * p->nTruthWords ); in Cut_ManStart()
89 p->puTemp[1] = p->puTemp[0] + p->nTruthWords; in Cut_ManStart()
90 p->puTemp[2] = p->puTemp[1] + p->nTruthWords; in Cut_ManStart()
91 p->puTemp[3] = p->puTemp[2] + p->nTruthWords; in Cut_ManStart()
138 if ( p->puTemp[0] ) ABC_FREE( p->puTemp[0] ); in Cut_ManStop()
|
| H A D | cutInt.h | 73 unsigned * puTemp[4]; member
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/opt/csw/ |
| H A D | cswMan.c | 81 p->puTemp[0] = ABC_ALLOC( unsigned, 4 * p->nTruthWords ); in Csw_ManStart()
82 p->puTemp[1] = p->puTemp[0] + p->nTruthWords; in Csw_ManStart()
83 p->puTemp[2] = p->puTemp[1] + p->nTruthWords; in Csw_ManStart()
84 p->puTemp[3] = p->puTemp[2] + p->nTruthWords; in Csw_ManStart()
115 ABC_FREE( p->puTemp[0] ); in Csw_ManStop()
|
| H A D | cswCut.c | 153 Kit_TruthNot( p->puTemp[0], Csw_CutTruth(pCut0), p->nLeafMax ); in Csw_CutComputeTruth()
155 Kit_TruthCopy( p->puTemp[0], Csw_CutTruth(pCut0), p->nLeafMax ); in Csw_CutComputeTruth()
156 …Kit_TruthStretch( p->puTemp[2], p->puTemp[0], pCut0->nFanins, p->nLeafMax, Cut_TruthPhase(pCut, pC… in Csw_CutComputeTruth()
159 Kit_TruthNot( p->puTemp[1], Csw_CutTruth(pCut1), p->nLeafMax ); in Csw_CutComputeTruth()
161 Kit_TruthCopy( p->puTemp[1], Csw_CutTruth(pCut1), p->nLeafMax ); in Csw_CutComputeTruth()
162 …Kit_TruthStretch( p->puTemp[3], p->puTemp[1], pCut1->nFanins, p->nLeafMax, Cut_TruthPhase(pCut, pC… in Csw_CutComputeTruth()
164 Kit_TruthAnd( Csw_CutTruth(pCut), p->puTemp[2], p->puTemp[3], p->nLeafMax ); in Csw_CutComputeTruth()
195 Kit_TruthShrink( p->puTemp[0], pTruth, nFansNew, p->nLeafMax, uSupp, 1 ); in Csw_CutSupportMinimize()
|
| H A D | cswInt.h | 89 unsigned * puTemp[4]; // used for the truth table computation member
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/aig/aig/ |
| H A D | aigCuts.c | 67 p->puTemp[0] = ABC_ALLOC( unsigned, 4 * p->nTruthWords ); in Aig_ManCutStart()
68 p->puTemp[1] = p->puTemp[0] + p->nTruthWords; in Aig_ManCutStart()
69 p->puTemp[2] = p->puTemp[1] + p->nTruthWords; in Aig_ManCutStart()
70 p->puTemp[3] = p->puTemp[2] + p->nTruthWords; in Aig_ManCutStart()
89 ABC_FREE( p->puTemp[0] ); in Aig_ManCutStop()
280 Kit_TruthNot( p->puTemp[0], Aig_CutTruth(pCut0), p->nLeafMax ); in Aig_CutComputeTruth()
282 Kit_TruthCopy( p->puTemp[0], Aig_CutTruth(pCut0), p->nLeafMax ); in Aig_CutComputeTruth()
283 …Kit_TruthStretch( p->puTemp[2], p->puTemp[0], pCut0->nFanins, p->nLeafMax, Aig_CutTruthPhase(pCut,… in Aig_CutComputeTruth()
286 Kit_TruthNot( p->puTemp[1], Aig_CutTruth(pCut1), p->nLeafMax ); in Aig_CutComputeTruth()
289 …Kit_TruthStretch( p->puTemp[3], p->puTemp[1], pCut1->nFanins, p->nLeafMax, Aig_CutTruthPhase(pCut,… in Aig_CutComputeTruth()
[all …]
|
| H A D | aig.h | 206 unsigned * puTemp[4]; // used for the truth table computation member
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/map/if/ |
| H A D | ifTruth.c | 103 word * pTruth0 = (word *)p->puTemp[0]; in If_CutComputeTruth()
104 word * pTruth1 = (word *)p->puTemp[1]; in If_CutComputeTruth()
105 word * pTruth = (word *)p->puTemp[2]; in If_CutComputeTruth()
171 word * pTruth0 = (word *)p->puTemp[0]; in If_CutComputeTruthPerm_int()
172 word * pTruth1 = (word *)p->puTemp[1]; in If_CutComputeTruthPerm_int()
173 word * pTruth = (word *)p->puTemp[2]; in If_CutComputeTruthPerm_int()
|
| H A D | ifMan.c | 99 …p->puTemp[0] = p->pPars->fTruth? ABC_ALLOC( unsigned, 8 * p->nTruth6Words[p->pPars->nLutSize] ) : … in If_ManStart()
100 p->puTemp[1] = p->puTemp[0] + p->nTruth6Words[p->pPars->nLutSize]*2; in If_ManStart()
101 p->puTemp[2] = p->puTemp[1] + p->nTruth6Words[p->pPars->nLutSize]*2; in If_ManStart()
102 p->puTemp[3] = p->puTemp[2] + p->nTruth6Words[p->pPars->nLutSize]*2; in If_ManStart()
294 ABC_FREE( p->puTemp[0] ); in If_ManStop()
|
| H A D | if.h | 213 unsigned * puTemp[4]; // used for the truth table computation member
|