Home
last modified time | relevance | path

Searched refs:pTtTemp (Results 1 – 3 of 3) sorted by relevance

/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/opt/dau/
H A DdauDsd.c494 word pTtTemp[2][DAU_MAX_WORD]; in Dau_DsdTruth6Compose_rec() local
497 Abc_TtMux( pRes, pFanins[nVars], pTtTemp[1], pTtTemp[0], nWordsR ); in Dau_DsdTruth6Compose_rec()
531 Abc_TtMux( pRes, pFanins[nVars], pTtTemp[1], pTtTemp[0], nWordsR ); in Dau_DsdTruthCompose_rec()
550 word pTtTemp[DAU_MAX_WORD]; in Dau_DsdToTruth_rec() local
565 word pTtTemp[DAU_MAX_WORD]; in Dau_DsdToTruth_rec() local
586 Abc_TtMux( pRes, pTtTemp[0], pTtTemp[1], pTtTemp[2], nWords ); in Dau_DsdToTruth_rec()
1622 Abc_TtMux( pTruth, Dau_DsdTtElems()[u], pTtTemp[1], pTtTemp[0], nWords ); in Dau_DsdDecomposeDoubleVarsOne()
1639 Abc_TtMux( pTruth, Dau_DsdTtElems()[u], pTtTemp[1], pTtTemp[0], nWords ); in Dau_DsdDecomposeDoubleVarsOne()
1652 Abc_TtMux( pTruth, Dau_DsdTtElems()[u], pTtTemp[1], pTtTemp[0], nWords ); in Dau_DsdDecomposeDoubleVarsOne()
1669 Abc_TtMux( pTruth, Dau_DsdTtElems()[u], pTtTemp[1], pTtTemp[0], nWords ); in Dau_DsdDecomposeDoubleVarsOne()
[all …]
H A DdauTree.c1154 word pTtTemp[DAU_MAX_WORD]; in Dss_ManComputeTruth_rec() local
1161 Dss_ManComputeTruth_rec( p, pChild, nVars, pTtTemp, pPermLits, pnSupp ); in Dss_ManComputeTruth_rec()
1163 Abc_TtAnd( pRes, pRes, pTtTemp, nWords, 0 ); in Dss_ManComputeTruth_rec()
1165 Abc_TtXor( pRes, pRes, pTtTemp, nWords, 0 ); in Dss_ManComputeTruth_rec()
1172 word pTtTemp[3][DAU_MAX_WORD]; in Dss_ManComputeTruth_rec() local
1174 Dss_ManComputeTruth_rec( p, pChild, nVars, pTtTemp[i], pPermLits, pnSupp ); in Dss_ManComputeTruth_rec()
1176 Abc_TtMux( pRes, pTtTemp[0], pTtTemp[1], pTtTemp[2], nWords ); in Dss_ManComputeTruth_rec()
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/map/if/
H A DifDsd.c1371 word pTtTemp[DAU_MAX_WORD]; in If_DsdManComputeTruth_rec() local
1378 If_DsdManComputeTruth_rec( p, iFanin, pTtTemp, pPermLits, pnSupp ); in If_DsdManComputeTruth_rec()
1380 Abc_TtAnd( pRes, pRes, pTtTemp, p->nWords, 0 ); in If_DsdManComputeTruth_rec()
1382 Abc_TtXor( pRes, pRes, pTtTemp, p->nWords, 0 ); in If_DsdManComputeTruth_rec()
1389 word pTtTemp[3][DAU_MAX_WORD]; in If_DsdManComputeTruth_rec() local
1391 If_DsdManComputeTruth_rec( p, iFanin, pTtTemp[i], pPermLits, pnSupp ); in If_DsdManComputeTruth_rec()
1393 Abc_TtMux( pRes, pTtTemp[0], pTtTemp[1], pTtTemp[2], p->nWords ); in If_DsdManComputeTruth_rec()