Home
last modified time | relevance | path

Searched refs:nTruthWords (Results 1 – 12 of 12) sorted by relevance

/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/opt/cut/
H A DcutTruth.c129 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 DcutMan.c85 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 DcutOracle.c47 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 DcutInt.h61 int nTruthWords; member
H A DcutCut.c257 for ( i = 0; i < p->nTruthWords; i++ ) in Cut_CutCreateTriv()
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/opt/csw/
H A DcswMan.c69 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 DcswInt.h87 int nTruthWords; // the number of truth table words member
H A DcswCut.c476 memset( Csw_CutTruth(pCut), 0xAA, sizeof(unsigned) * p->nTruthWords ); in Csw_ObjPrepareCuts()
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/aig/aig/
H A DaigCuts.c61 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 Daig.h204 int nTruthWords; // the number of truth table words member
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/aig/gia/
H A DgiaUtil.c1553 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 DgiaSimBase.c537 int nTruthWords = Abc_Truth6WordNum( Vec_IntSize(vFanins) ); in Gia_SimRsbFunc() local
538 word * pTruth = ABC_CALLOC( word, nTruthWords ); in Gia_SimRsbFunc()