Searched refs:pTtTemp (Results 1 – 3 of 3) sorted by relevance
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/opt/dau/ |
H A D | dauDsd.c | 494 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 D | dauTree.c | 1154 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 D | ifDsd.c | 1371 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()
|