Home
last modified time | relevance | path

Searched defs:pFaninLits (Results 1 – 4 of 4) sorted by relevance

/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/map/if/
H A DifDelay.c192 int If_CutSopBalanceEvalInt( Vec_Int_t * vCover, int * pTimes, int * pFaninLits, Vec_Int_t * vAig, … in If_CutSopBalanceEvalInt()
234 int pFaninLits[IF_MAX_FUNC_LUTSIZE]; in If_CutSopBalanceEvalIntInt() local
H A DifCount.h80 static inline int If_LogCreateAndXorMulti( Vec_Int_t * vAig, int * pFaninLits, int nFanins, int nSu… in If_LogCreateAndXorMulti()
88 static inline int If_LogCounterAddAig( int * pTimes, int * pnTimes, int * pFaninLits, int Num, int … in If_LogCounterAddAig()
H A DifDsd.c2252 int i, iFanin, Delays[3], pFaninLits[3]; in If_CutDsdBalanceEval_rec() local
2269 int i, iFanin, Delays[IF_MAX_FUNC_LUTSIZE], pFaninLits[IF_MAX_FUNC_LUTSIZE]; in If_CutDsdBalanceEval_rec() local
2288 int nCounter = 0, pCounter[IF_MAX_FUNC_LUTSIZE], pFaninLits[IF_MAX_FUNC_LUTSIZE]; in If_CutDsdBalanceEval_rec() local
H A DifTune.c786 int pFaninLits[16]; in If_ManSatDeriveGiaFromBits() local