250 int Cba_BlastLess2( Gia_Man_t * pNew, int * pArg0, int * pArg1, int nBits )  in Cba_BlastLess2()  argument
255 …Res   = Gia_ManHashMux( pNew, iKnown, iRes, Gia_ManHashAnd(pNew, Abc_LitNot(pArg0[k]), pArg1[k]) );  in Cba_BlastLess2()
256         iKnown = Gia_ManHashOr( pNew, iKnown, Gia_ManHashXor(pNew, pArg0[k], pArg1[k]) );  in Cba_BlastLess2()
262 void Cba_BlastLess_rec( Gia_Man_t * pNew, int * pArg0, int * pArg1, int nBits, int * pYes, int * pN…  in Cba_BlastLess_rec()  argument
266         int Yes = Gia_ManHashAnd( pNew, Abc_LitNot(pArg0[nBits-1]), pArg1[nBits-1] ), YesR;  in Cba_BlastLess_rec()
267         int No  = Gia_ManHashAnd( pNew, Abc_LitNot(pArg1[nBits-1]), pArg0[nBits-1] ), NoR;  in Cba_BlastLess_rec()
274         Cba_BlastLess_rec( pNew, pArg0, pArg1, nBits-1, &YesR, &NoR );  in Cba_BlastLess_rec()
280     *pYes = Gia_ManHashAnd( pNew, Abc_LitNot(pArg0[0]), pArg1[0] );  in Cba_BlastLess_rec()
281     *pNo  = Gia_ManHashAnd( pNew, Abc_LitNot(pArg1[0]), pArg0[0] );  in Cba_BlastLess_rec()
283 int Cba_BlastLess( Gia_Man_t * pNew, int * pArg0, int * pArg1, int nBits )  in Cba_BlastLess()  argument
288     Cba_BlastLess_rec( pNew, pArg0, pArg1, nBits, &Yes, &No );  in Cba_BlastLess()
291 int Cba_BlastLessSigned( Gia_Man_t * pNew, int * pArg0, int * pArg1, int nBits )  in Cba_BlastLessSigned()  argument
293     int iDiffSign = Gia_ManHashXor( pNew, pArg0[nBits-1], pArg1[nBits-1] );  in Cba_BlastLessSigned()
294 …return Gia_ManHashMux( pNew, iDiffSign, pArg0[nBits-1], Cba_BlastLess(pNew, pArg0, pArg1, nBits-1)…  in Cba_BlastLessSigned()
341 void Cba_BlastMultiplier2( Gia_Man_t * pNew, int * pArg0, int * pArg1, int nBits, Vec_Int_t * vTemp…  in Cba_BlastMultiplier2()  argument
349             Vec_IntPush( vTemp, Gia_ManHashAnd(pNew, pArg0[j], pArg1[i]) );  in Cba_BlastMultiplier2()
769 …        int * pArg1 = Cba_VecLoadFanins( p, vTemp1, iFon1, pFans1, nRange1, nRangeMax, fSigned01 );  in Cba_NtkBlast()  local
771                 Vec_IntPush( vRes, Gia_ManHashAnd(pNew, pArg0[k], pArg1[k]) );  in Cba_NtkBlast()
777 …        int * pArg1 = Cba_VecLoadFanins( p, vTemp1, iFon1, pFans1, nRange1, nRangeMax, fSigned01 );  in Cba_NtkBlast()  local
779                 Vec_IntPush( vRes, Gia_ManHashOr(pNew, pArg0[k], pArg1[k]) );  in Cba_NtkBlast()
785 …        int * pArg1 = Cba_VecLoadFanins( p, vTemp1, iFon1, pFans1, nRange1, nRangeMax, fSigned01 );  in Cba_NtkBlast()  local
787                 Vec_IntPush( vRes, Gia_ManHashXor(pNew, pArg0[k], pArg1[k]) );  in Cba_NtkBlast()
824 …        int * pArg1 = Cba_VecLoadFanins( p, vTemp1, iFon1, pFans1, nRange1, nRangeMax, fSigned01 );  in Cba_NtkBlast()  local
826                 iLit = Gia_ManHashOr( pNew, iLit, Gia_ManHashXor(pNew, pArg0[k], pArg1[k]) );   in Cba_NtkBlast()
836 …        int * pArg1 = Cba_VecLoadFanins( p, vTemp1, iFon1, pFans1, nRange1, nRangeMax, fSigned01 );  in Cba_NtkBlast()  local
839             if ( fSwap ) ABC_SWAP( int *, pArg0, pArg1 );  in Cba_NtkBlast()
841                 iLit = Cba_BlastLessSigned( pNew, pArg0, pArg1, nRangeMax );  in Cba_NtkBlast()
843                 iLit = Cba_BlastLess( pNew, pArg0, pArg1, nRangeMax );  in Cba_NtkBlast()
859 …        int * pArg1 = Cba_VecLoadFanins( p, vRes,   iFon1, pFans1, nRange1, nRangeMax, fSigned01 );  in Cba_NtkBlast()  local
861 … int Carry   = Cba_BlastAdder( pNew, pArg0[0], pArg1, pArg2, nRange ); // result is in pArg1 (vRes)  in Cba_NtkBlast()
870 …        int * pArg1 = Cba_VecLoadFanins( p, vTemp1, iFon1, pFans1, nRange1, nRangeMax, fSigned01 );  in Cba_NtkBlast()  local
871             Cba_BlastSubtract( pNew, pArg0, pArg1, nRange ); // result is in pFan0 (vRes)  in Cba_NtkBlast()
880 …        int * pArg1 = Cba_VecLoadFanins( p, vTemp1, iFon1, pFans1, nRange1, nRangeMax, fSigned01 );  in Cba_NtkBlast()  local
881                 Cba_BlastMultiplier2( pNew, pArg0, pArg1, nRange, vTemp2, vRes );  in Cba_NtkBlast()
888 …        int * pArg1 = Cba_VecLoadFanins( p, vTemp1, iFon1, pFans1, nRange1, nRangeMax, fSigned01 );  in Cba_NtkBlast()  local
889 …          Cba_BlastMultiplier( pNew, pArg0, pArg1, nRangeMax, nRangeMax, vTemp2, vRes, fSigned01 );  in Cba_NtkBlast()
901 …        int * pArg1 = Cba_VecLoadFanins( p, vTemp1, iFon1, pFans1, nRange1, nRangeMax, fSigned01 );  in Cba_NtkBlast()  local
903 …     Cba_BlastDividerSigned( pNew, pArg0, nRangeMax, pArg1, nRangeMax, Type == CBA_BOX_DIV, vRes );  in Cba_NtkBlast()
905 …           Cba_BlastDivider( pNew, pArg0, nRangeMax, pArg1, nRangeMax, Type == CBA_BOX_DIV, vRes );  in Cba_NtkBlast()
921 …int * pArg1 = Cba_VecLoadFanins( p, vTemp1, iFon1, pFans1, nRange1, nRange1,   Cba_FonSigned(p, iF…  in Cba_NtkBlast()  local
922             Cba_BlastPower( pNew, pArg0, nRangeMax, pArg1, nRange1, vTemp2, vRes );  in Cba_NtkBlast()