Searched refs:Abc_TtSharp (Results 1 – 5 of 5) sorted by relevance
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/map/if/ |
H A D | ifTune.c | 957 Abc_TtSharp( pTemp, pTemp, Ifn_ObjTruth(p, pFans[f]), p->nWords ); in Ifn_NtkDeriveTruth() 998 Abc_TtSharp( Cond, s_TtElems[2*i+1], s_TtElems[2*i+0], nWords ); in Ifn_TtComparisonConstr() 1000 Abc_TtSharp( Cond, s_TtElems[2*i+0], s_TtElems[2*i+1], nWords ); in Ifn_TtComparisonConstr()
|
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/misc/util/ |
H A D | utilIsop.c | 480 Abc_TtSharp( pCube, pCube, pTtElems[v], nWords ); in Abc_IsopBuildTruth() 987 Abc_TtSharp( pOnset, pOnset, pCube, nWords ); in Abc_IsopNew()
|
H A D | utilTruth.h | 301 static inline void Abc_TtSharp( word * pOut, word * pIn1, word * pIn2, int nWords ) in Abc_TtSharp() function
|
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/bool/rsb/ |
H A D | rsbDec6.c | 589 Abc_TtSharp( pTemp2, pTemp2, pFanins[b], nWords ); in Rsb_DecVerify()
|
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/aig/gia/ |
H A D | giaSimBase.c | 1226 Abc_TtSharp( p->pTableTemp, p->pTableTemp, pSimTable, p->nWordsTable ); in Gia_SimAbsSolve()
|