Home
last modified time | relevance | path

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

/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/base/abci/
H A DabcLut.c671 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 DgiaIf.c1652 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 DgiaLf.c1783 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()