Searched refs:DAU_MAX_WORD (Results 1 – 7 of 7) sorted by relevance
494 word pTtTemp[2][DAU_MAX_WORD]; in Dau_DsdTruth6Compose_rec()527 word pTtTemp[2][DAU_MAX_WORD]; in Dau_DsdTruthCompose_rec()550 word pTtTemp[DAU_MAX_WORD]; in Dau_DsdToTruth_rec()565 word pTtTemp[DAU_MAX_WORD]; in Dau_DsdToTruth_rec()593 word pFanins[DAU_MAX_VAR][DAU_MAX_WORD], pFunc[DAU_MAX_WORD]; in Dau_DsdToTruth_rec()895 word pCofTemp[DAU_MAX_WORD]; in Dau_DsdCheck1Step()1047 word pCofTemp[DAU_MAX_WORD]; in Dau_DsdWritePrime()1734 word pTtCof[2][DAU_MAX_WORD]; in Dau_DsdDecomposeTripleVarsOuter()1778 word pTtCof[2][DAU_MAX_WORD]; in Dau_DsdDecomposeTripleVarsInner()1963 word pTemp[DAU_MAX_WORD]; in Dau_DsdPrintFromTruthFile()[all …]
44 #define DAU_MAX_WORD (1<<(DAU_MAX_VAR-6)) macro102 extern void Dau_DsdTruthCompose_rec( word * pFunc, word pFanins[DAU_MAX_VAR][DAU_MAX_WORD]…
48 word Copy[DAU_MAX_WORD]; in Dau_DsdDivisors()
403 static word TtElems[DAU_MAX_VAR+1][DAU_MAX_WORD], * pTtElems[DAU_MAX_VAR+1] = {NULL}; in Dss_ManTtElems()580 word pTemp[DAU_MAX_WORD]; in Dss_NtkCreate_rec()1060 word Temp[DAU_MAX_WORD]; in Dss_ManDump()1154 word pTtTemp[DAU_MAX_WORD]; in Dss_ManComputeTruth_rec()1172 word pTtTemp[3][DAU_MAX_WORD]; in Dss_ManComputeTruth_rec()1182 word pFanins[DAU_MAX_VAR][DAU_MAX_WORD]; in Dss_ManComputeTruth_rec()1438 word * pTruthOne, pTruth[DAU_MAX_WORD]; in Dss_ManBooleanAnd()
448 word pTruthCopy[DAU_MAX_WORD]; in Dsm_ManTruthToGia()
606 word pParts[3][DAU_MAX_WORD]; in Dau_DsdMerge()
237 static word TtElems[DAU_MAX_VAR+1][DAU_MAX_WORD], * pTtElems[DAU_MAX_VAR+1] = {NULL}; in If_ManDsdTtElems()1371 word pTtTemp[DAU_MAX_WORD]; in If_DsdManComputeTruth_rec()1389 word pTtTemp[3][DAU_MAX_WORD]; in If_DsdManComputeTruth_rec()1399 word pFanins[DAU_MAX_VAR][DAU_MAX_WORD]; in If_DsdManComputeTruth_rec()1701 word pFunc[DAU_MAX_WORD]; in If_DsdManAddDsd_rec()2065 word pCopy[DAU_MAX_WORD], * pRes; in If_DsdManCompute()2568 word pTruth[DAU_MAX_WORD];