Searched refs:pTruthCof (Results 1 – 3 of 3) sorted by relevance
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/base/abci/ |
H A D | abcLut.c | 671 unsigned * pTruthCof, * pTruthClass, * pTruth, uPhase; in Abc_NodeDecomposeStep() local 705 pTruthCof = p->uCofs[ nCofs + i ]; in Abc_NodeDecomposeStep() 709 if ( Extra_TruthIsEqual( pTruthCof, pTruthClass, nVars ) ) in Abc_NodeDecomposeStep() 749 pTruthCof = p->uCofs[1]; in Abc_NodeDecomposeStep() 750 Extra_TruthFill( pTruthCof, p->nLutSize ); in Abc_NodeDecomposeStep() 753 Extra_TruthAnd( pTruthCof, pTruthCof, p->uVars[w], p->nLutSize ); in Abc_NodeDecomposeStep() 755 Extra_TruthSharp( pTruthCof, pTruthCof, p->uVars[w], p->nLutSize ); in Abc_NodeDecomposeStep() 756 Extra_TruthOr( pTruth, pTruth, pTruthCof, p->nLutSize ); in Abc_NodeDecomposeStep()
|
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/aig/gia/ |
H A D | giaIf.c | 1652 word pTruthCof[128], * pTruth = If_CutTruthW(pIfMan, pCutBest); in Gia_ManFromIfLogicCofVars() local 1665 Abc_TtCofactor1p( pTruthCof, pTruth, nWords, iVar ); in Gia_ManFromIfLogicCofVars() 1667 Abc_TtCofactor0p( pTruthCof, pTruth, nWords, iVar ); in Gia_ManFromIfLogicCofVars() 1668 …nVarsNew = Abc_TtMinBase( pTruthCof, pVarsNew, pCutBest->nLeaves, Abc_MaxInt(6, pCutBest->nLeaves)… in Gia_ManFromIfLogicCofVars() 1673 iLitCofs[c] = Kit_TruthToGia( pNew, (unsigned *)pTruthCof, nVarsNew, vCover, vLeaves2, 0 ); in Gia_ManFromIfLogicCofVars() 1688 pTruthCof[0] = ABC_CONST(0xCACACACACACACACA); in Gia_ManFromIfLogicCofVars() 1693 …RetValue = Kit_TruthToGia( pNew, (unsigned *)pTruthCof, Vec_IntSize(vLeaves2), vCover, vLeaves2, 0… in Gia_ManFromIfLogicCofVars()
|
H A D | giaLf.c | 1783 word pTruthCof[LF_TT_WORDS], * pTruth = Lf_CutTruth( p, pCut ); in Lf_ManDerivePart() local 1794 Abc_TtCofactor1p( pTruthCof, pTruth, nWords, iVar ); in Lf_ManDerivePart() 1796 Abc_TtCofactor0p( pTruthCof, pTruth, nWords, iVar ); in Lf_ManDerivePart() 1797 nVarsNew = Abc_TtMinBase( pTruthCof, pVarsNew, pCut->nLeaves, LutSize ); in Lf_ManDerivePart() 1803 … iLitCofs[c] = Kit_TruthToGia( pNew, (unsigned *)pTruthCof, nVarsNew, vCover, vLeaves, 0 ); in Lf_ManDerivePart() 1812 pTruthCof[0] = ABC_CONST(0xCACACACACACACACA); in Lf_ManDerivePart() 1817 … iLit = Kit_TruthToGia( pNew, (unsigned *)pTruthCof, Vec_IntSize(vLeaves), vCover, vLeaves, 0 ); in Lf_ManDerivePart()
|