Searched refs:If_LogCounterAddAig (Results 1 – 3 of 3) sorted by relevance
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/map/if/ |
| H A D | ifDelay.c | 207 …nLits++, Delay = If_LogCounterAddAig( pCounterAnd, &nCounterAnd, pFaninLitsAnd, pTimes[k], vAig ? … in If_CutSopBalanceEvalInt()
209 …nLits++, Delay = If_LogCounterAddAig( pCounterAnd, &nCounterAnd, pFaninLitsAnd, pTimes[k], vAig ? … in If_CutSopBalanceEvalInt()
219 …Delay = If_LogCounterAddAig( pCounterOr, &nCounterOr, pFaninLitsOr, Delay, vAig ? Abc_LitNot(iRes)… in If_CutSopBalanceEvalInt()
|
| H A D | ifCount.h | 88 static inline int If_LogCounterAddAig( int * pTimes, int * pnTimes, int * pFaninLits, int Num, int … in If_LogCounterAddAig() function
|
| H A D | ifDsd.c | 2296 …Result = If_LogCounterAddAig( pCounter, &nCounter, pFaninLits, Delay, vAig ? pFaninLits[i] : -1, v… in If_CutDsdBalanceEval_rec()
|