Searched refs:nTruthWords (Results 1 – 12 of 12) sorted by relevance
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/opt/cut/ |
H A D | cutTruth.c | 129 int nTruthWords = Cut_TruthWords( pCut->nVarsMax ); in Cut_TruthComputeOld() local 135 Extra_TruthExpand( pCut->nVarsMax, nTruthWords, Cut_CutReadTruth(pCut0), uPhase, uTruth0 ); in Cut_TruthComputeOld() 138 for ( i = 0; i < nTruthWords; i++ ) in Cut_TruthComputeOld() 144 Extra_TruthExpand( pCut->nVarsMax, nTruthWords, Cut_CutReadTruth(pCut1), uPhase, uTruth1 ); in Cut_TruthComputeOld() 147 for ( i = 0; i < nTruthWords; i++ ) in Cut_TruthComputeOld() 156 for ( i = 0; i < nTruthWords; i++ ) in Cut_TruthComputeOld() 161 for ( i = 0; i < nTruthWords; i++ ) in Cut_TruthComputeOld()
|
H A D | cutMan.c | 85 p->nTruthWords = Cut_TruthWords( pParams->nVarsMax ); in Cut_ManStart() 86 p->EntrySize += p->nTruthWords * sizeof(unsigned); in Cut_ManStart() 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()
|
H A D | cutOracle.c | 47 int nTruthWords; member 108 p->nTruthWords = Cut_TruthWords( p->pParams->nVarsMax ); in Cut_OracleStart() 109 p->EntrySize += p->nTruthWords * sizeof(unsigned); in Cut_OracleStart() 244 for ( i = 0; i < p->nTruthWords; i++ ) in Cut_CutTriv()
|
H A D | cutInt.h | 61 int nTruthWords; member
|
H A D | cutCut.c | 257 for ( i = 0; i < p->nTruthWords; i++ ) in Cut_CutCreateTriv()
|
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/opt/csw/ |
H A D | cswMan.c | 69 p->nTruthWords = Abc_TruthWordNum(nLeafMax); in Csw_ManStart() 70 p->nCutSize = sizeof(Csw_Cut_t) + sizeof(int) * nLeafMax + sizeof(unsigned) * p->nTruthWords; in Csw_ManStart() 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()
|
H A D | cswInt.h | 87 int nTruthWords; // the number of truth table words member
|
H A D | cswCut.c | 476 memset( Csw_CutTruth(pCut), 0xAA, sizeof(unsigned) * p->nTruthWords ); in Csw_ObjPrepareCuts()
|
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/aig/aig/ |
H A D | aigCuts.c | 61 p->nTruthWords = Abc_TruthWordNum(nLeafMax); in Aig_ManCutStart() 62 …nCutSize = sizeof(Aig_Cut_t) + sizeof(int) * nLeafMax + fTruth * sizeof(unsigned) * p->nTruthWords; in Aig_ManCutStart() 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() 560 memset( Aig_CutTruth(pCut), 0xAA, sizeof(unsigned) * p->nTruthWords ); in Aig_ObjPrepareCuts() 654 p->nCutSize, 4*p->nTruthWords, 1.0*Aig_MmFixedReadMemUsage(p->pMemCuts)/(1<<20) ); in Aig_ComputeCuts()
|
H A D | aig.h | 204 int nTruthWords; // the number of truth table words member
|
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/aig/gia/ |
H A D | giaUtil.c | 1553 int nTruthWords = Abc_TruthWordNum( nVars ); in Gia_ManComputePoTruthTables() local 1554 int nTruths = nBytesMax / (sizeof(unsigned) * nTruthWords); in Gia_ManComputePoTruthTables() 1560 printf( "Var = %d. Words = %d. Truths = %d.\n", nVars, nTruthWords, nTruths ); in Gia_ManComputePoTruthTables()
|
H A D | giaSimBase.c | 537 int nTruthWords = Abc_Truth6WordNum( Vec_IntSize(vFanins) ); in Gia_SimRsbFunc() local 538 word * pTruth = ABC_CALLOC( word, nTruthWords ); in Gia_SimRsbFunc()
|