Searched refs:nCounterOr (Results 1 – 1 of 1) sorted by relevance
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/map/if/ |
| H A D | ifDelay.c | 124 int nCounterOr, pCounterOr[IF_MAX_CUBES]; in If_CutSopBalancePinDelaysInt() local
129 nCounterOr = 0; in If_CutSopBalancePinDelaysInt()
143 … Delay = If_LogCounterPinDelays( pCounterOr, &nCounterOr, pPinDelsOr, Delay, ResAnd, nSuppAll, 0 ); in If_CutSopBalancePinDelaysInt()
145 assert( nCounterOr > 0 ); in If_CutSopBalancePinDelaysInt()
146 *pRes = If_LogPinDelaysMulti( pPinDelsOr, nCounterOr, nSuppAll, 0 ); in If_CutSopBalancePinDelaysInt()
195 int nCounterOr, pCounterOr[IF_MAX_CUBES], pFaninLitsOr[IF_MAX_CUBES]; in If_CutSopBalanceEvalInt() local
199 nCounterOr = 0; in If_CutSopBalanceEvalInt()
219 …Delay = If_LogCounterAddAig( pCounterOr, &nCounterOr, pFaninLitsOr, Delay, vAig ? Abc_LitNot(iRes)… in If_CutSopBalanceEvalInt()
221 assert( nCounterOr > 0 ); in If_CutSopBalanceEvalInt()
224 … *piRes = Abc_LitNot( If_LogCreateAndXorMulti( vAig, pFaninLitsOr, nCounterOr, nSuppAll, 0 ) ); in If_CutSopBalanceEvalInt()
|