Home
last modified time | relevance | path

Searched refs:Vec_WrdEntry (Results 1 – 25 of 36) sorted by relevance

12

/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/aig/aig/
H A DaigPack.c93 Total += Aig_Word6CountOnes( Vec_WrdEntry(p->vPiCare, i) ); in Aig_ManPackCountCares()
115 Sign = Vec_WrdEntry( p->vPiCare, i ); in Aig_ManPackPrintCare()
191 Vec_WrdWriteEntry( p->vSigns, Aig_ObjId(pObj), Vec_WrdEntry(p->vPiPats, i) ); in Aig_ManPackSimulate()
195 Sign0 = Vec_WrdEntry( p->vSigns, Aig_ObjFaninId0(pObj) ); in Aig_ManPackSimulate()
196 Sign1 = Vec_WrdEntry( p->vSigns, Aig_ObjFaninId1(pObj) ); in Aig_ManPackSimulate()
210 Sign0 = Vec_WrdEntry( p->vSigns, Aig_ObjFaninId0(pObj) ); in Aig_ManPackSimulate()
234 Sign = Vec_WrdEntry( p->vSigns, Aig_ObjId(pObj) ); in Aig_ManPackPrintStats()
273 Sign = Vec_WrdEntry( p->vSigns, Aig_ObjId(pObj) ); in Aig_ManPackConstNodes()
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/proof/acec/
H A DacecSt.c369 Truth = Vec_WrdEntry( vTruths, iLut ) & 0xFF; in Acec_StatsCollect()
374 TruthF = Vec_WrdEntry( vTruths, iFan ) & 0xFF; in Acec_StatsCollect()
382 TruthF = Vec_WrdEntry( vTruths, iFan ); in Acec_StatsCollect()
H A DacecCore.c116 word Truth = Vec_WrdEntry( vTruths, k ); in Acec_VerifyClasses()
117 word Truth2 = Vec_WrdEntry( vTruths, j ); in Acec_VerifyClasses()
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/aig/gia/
H A DgiaCone.c451 …*Vec_WrdEntryP( vSigns, i ) |= Vec_WrdEntry(vSigns, Gia_ObjFaninId0(pObj, i)) | Vec_WrdEntry(vSign… in Gia_ManDeriveSigns()
453 *Vec_WrdEntryP( vSigns, i ) |= Vec_WrdEntry(vSigns, Gia_ObjFaninId0(pObj, i)); in Gia_ManDeriveSigns()
458 word Value = Vec_WrdEntry(vSigns, Gia_ObjId(p, pObj)); in Gia_ManDeriveSigns()
459 … *Vec_WrdEntryP( vSigns, Gia_ObjId(p, pObj) ) |= Vec_WrdEntry(vSigns, Gia_ObjId(p, pObjRi)); in Gia_ManDeriveSigns()
460 if ( Value != Vec_WrdEntry(vSigns, Gia_ObjId(p, pObj)) ) in Gia_ManDeriveSigns()
493 Vec_WrdPush( vSignsPo, Vec_WrdEntry(vSigns, Gia_ObjId(p, pObj)) ); in Gia_ManHashOutputs()
514 word Sign = Vec_WrdEntry( vSigns, Gia_ObjId(p, pObj) ); in Gia_ManHashOutputs()
H A DgiaTruth.c105 return Vec_WrdEntry(vTruths, iNode); in Gia_LutComputeTruth6_rec()
152 uTruth0 = Vec_WrdEntry( vTemp, Gia_ObjFaninId0p(p, pObj) ); in Gia_ObjComputeTruthTable6Lut_rec()
154 uTruth1 = Vec_WrdEntry( vTemp, Gia_ObjFaninId1p(p, pObj) ); in Gia_ObjComputeTruthTable6Lut_rec()
171 return Vec_WrdEntry( vTemp, iObj ); in Gia_ObjComputeTruthTable6Lut()
197 return Vec_WrdEntry( vTemp, iObj ); in Gia_ObjComputeTruth6()
224 return Abc_LitIsCompl(iLit) ? ~Vec_WrdEntry(vTemp, iObj) : Vec_WrdEntry(vTemp, iObj); in Gia_ObjComputeTruth6Cis()
248 uTruth0 = Vec_WrdEntry( vTruths, Gia_ObjFanin0(pObj)->Value ); in Gia_ObjComputeTruthTable6_rec()
250 uTruth1 = Vec_WrdEntry( vTruths, Gia_ObjFanin1(pObj)->Value ); in Gia_ObjComputeTruthTable6_rec()
H A DgiaSatLut.c271 CutI1 = Vec_WrdEntry( p->vCutsI1, c ); in Sbl_ManGetCurrentMapping()
272 CutI2 = Vec_WrdEntry( p->vCutsI2, c ); in Sbl_ManGetCurrentMapping()
273 CutN1 = Vec_WrdEntry( p->vCutsN1, c ); in Sbl_ManGetCurrentMapping()
274 CutN2 = Vec_WrdEntry( p->vCutsN2, c ); in Sbl_ManGetCurrentMapping()
546 CutI1 = Vec_WrdEntry( p->vCutsI1, c ); in Sbl_ManUpdateMapping()
547 CutI2 = Vec_WrdEntry( p->vCutsI2, c ); in Sbl_ManUpdateMapping()
548 CutN1 = Vec_WrdEntry( p->vCutsN1, c ); in Sbl_ManUpdateMapping()
549 CutN2 = Vec_WrdEntry( p->vCutsN2, c ); in Sbl_ManUpdateMapping()
623 …return Sbl_ManPrintCut( Vec_WrdEntry(p->vCutsI1, c), Vec_WrdEntry(p->vCutsI2, c), Vec_WrdEntry(p->… in Sbl_ManFindAndPrintCut()
H A DgiaRex.c382 …return Gia_ObjFaninC0(pObj) ? ~Vec_WrdEntry(vTemp, Gia_ObjFaninId0p(p, pObj)) : Vec_WrdEntry(vTemp… in Gia_ManAutomSim0()
386 …return Gia_ObjFaninC1(pObj) ? ~Vec_WrdEntry(vTemp, Gia_ObjFaninId1p(p, pObj)) : Vec_WrdEntry(vTemp… in Gia_ManAutomSim1()
H A DgiaShrink6.c322 return Vec_WrdEntry(vTruths, iNode); in Shr_ManComputeTruth6_rec()
373 Truth0 = Vec_WrdEntry( vTruths, Gia_ObjFaninId0(pObj, iDiv) ); in Shr_ManComputeTruths()
374 Truth1 = Vec_WrdEntry( vTruths, Gia_ObjFaninId1(pObj, iDiv) ); in Shr_ManComputeTruths()
H A DgiaSupp.c685 Sim0 = Vec_WrdEntry( p->vSims, Gia_ObjFaninId0p(p->pGia, pObj) ); in Gia_Min2ManSimulate()
686 Sim1 = Vec_WrdEntry( p->vSims, Gia_ObjFaninId1p(p->pGia, pObj) ); in Gia_Min2ManSimulate()
691 Sim0 = Vec_WrdEntry( p->vSims, Abc_Lit2Var(p->iLits[0]) ); in Gia_Min2ManSimulate()
692 Sim1 = Vec_WrdEntry( p->vSims, Abc_Lit2Var(p->iLits[1]) ); in Gia_Min2ManSimulate()
H A DgiaShrink7.c280 uTruth = Vec_WrdEntry( p->vTruths, iUsed ); in Unm_ManCollectDecomp()
H A DgiaGig.c422 …word Truth = Type == GLS_LUT4 ? (word)Vec_IntEntry(p->vLut4TTs, Index) : Vec_WrdEntry(p->vLut6TTs,… in Gls_ManConstruct()
H A DgiaSatMap.c531 AreaNew += Vec_WrdEntry(p->vCutAreas, i-p->FirstVar); in Sbm_ManTestSat()
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/misc/vec/
H A DvecWrd.h55 for ( i = 0; (i < Vec_WrdSize(vVec)) && (((Entry) = Vec_WrdEntry(vVec, i)), 1); i++ )
57 for ( i = Start; (i < Vec_WrdSize(vVec)) && (((Entry) = Vec_WrdEntry(vVec, i)), 1); i++ )
59 for ( i = 0; (i < Stop) && (((Entry) = Vec_WrdEntry(vVec, i)), 1); i++ )
61 for ( i = Start; (i < Stop) && (((Entry) = Vec_WrdEntry(vVec, i)), 1); i++ )
63 for ( i = Vec_WrdSize(vVec) - 1; (i >= 0) && (((pEntry) = Vec_WrdEntry(vVec, i)), 1); i-- )
401 static inline word Vec_WrdEntry( Vec_Wrd_t * p, int i ) in Vec_WrdEntry() function
554 return Vec_WrdEntry( p, i ); in Vec_WrdGetEntry()
1032 if ( Vec_WrdEntry(vTemp, Entry) != ~((word)0) ) in Vec_WrdCountCommon()
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/base/abci/
H A DabcRec3.c169 …Vec_WrdPush( vDelays, Lms_DelayMax( Vec_WrdEntry(vDelays, Gia_ObjFaninId0(pObj, i)), Vec_WrdEntry(… in Lms_GiaDelays()
171 …Vec_WrdPush( vDelays, Lms_DelayDecrement( Vec_WrdEntry(vDelays, Gia_ObjFaninId0(pObj, i)), Gia_Man… in Lms_GiaDelays()
179 Vec_WrdPush( vResult, Vec_WrdEntry(vDelays, Gia_ObjId(p, pObj)) ); in Lms_GiaDelays()
252 Lms_DelayPrint( Vec_WrdEntry(vDelays, i), Gia_ManPiNum(p) ); in Lms_GiaProfilesPrint()
965 Delay = If_CutComputeDelay( pIfMan, pCut, pCanonPerm, Vec_WrdEntry(p->vDelays, i) ); in If_CutFindBestStruct()
978 DelayProfile = Vec_WrdEntry(p->vDelays, iBestPo); in If_CutFindBestStruct()
1245 D1 = Vec_WrdEntry(vDelays, EntryI); in Lms_GiaFindNonRedundantCos()
1253 D2 = Vec_WrdEntry(vDelays, EntryK); in Lms_GiaFindNonRedundantCos()
H A DabcExtract.c110 Num = Vec_WrdEntry( vSuper, 0 ); in Abc_NtkShareSuperXor()
145 NumNext = Vec_WrdEntry( vSuper, i+1 ); in Abc_NtkShareSuperXor()
173 Num = Vec_WrdEntry( vSuper, 0 ); in Abc_NtkShareSuperAnd()
209 NumNext = Vec_WrdEntry( vSuper, i+1 ); in Abc_NtkShareSuperAnd()
H A DabcGen.c809 fprintf( pFile, "%0*d ", nDigits, (int)(Vec_WrdEntry(vStates, i) >> 32) ); in Abc_GenFsm()
810 fprintf( pFile, "%0*d ", nDigits, (int)(Vec_WrdEntry(vStates, i)) ); in Abc_GenFsm()
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/base/wlc/
H A DwlcMem.c802 int Value = (int)Vec_WrdEntry( vValues, Index ); in Wlc_NtkTrace_rec()
810 if ( Vec_WrdEntry(vValues, Index + 1) != ValueA ) // address in Wlc_NtkTrace_rec()
823 …Wlc_NtkTrace_rec( p, Wlc_ObjFanin0(p, pObj), iFrame, vMemObjs, vValues, Vec_WrdEntry(vValues, 3*(i… in Wlc_NtkTrace()
847 …assert( Vec_WrdEntry(vValues, iIndLast + 1) == Vec_WrdEntry(vValues, iIndFirst + 1) ); // equal ad… in Wlc_NtkTraceCheckConfict()
848 return Vec_WrdEntry(vValues, iIndLast + 2) != Vec_WrdEntry(vValues, iIndFirst + 2); // diff data in Wlc_NtkTraceCheckConfict()
893 … if ( Vec_WrdEntry(vValues, iInd1 + 1) == Vec_WrdEntry(vValues, iInd2 + 1) && // equal address in Wlc_NtkFindConflict()
894 … Vec_WrdEntry(vValues, iInd1 + 2) != Vec_WrdEntry(vValues, iInd2 + 2) ) // diff data in Wlc_NtkFindConflict()
H A DwlcNdr.c510 Truth = Vec_WrdEntry(vTruths, NameId); in Wlc_NtkFromNdr()
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/sat/bmc/
H A DbmcCexTools.c32 …bjTo, int i, int j ) { Vec_WrdWriteEntry( vSims, iObjTo, Vec_WrdEntry(vSims, i) & Vec_WrdEntry(vS… in Bmc_CexAndSim()
33 …jTo, int i, int j ) { Vec_WrdWriteEntry( vSims, iObjTo, Vec_WrdEntry(vSims, i) | Vec_WrdEntry(vS… in Bmc_CexOrSim()
34 …c_CexSim( Vec_Wrd_t * vSims, int iObj, int i ) { return (Vec_WrdEntry(vSims, iObj) >>… in Bmc_CexSim()
H A DbmcClp.c60 Sim0 = Vec_WrdEntry( p->vSims, Gia_ObjFaninId0(pObj, i) ); in Bmc_ComputeSimDiff()
61 Sim1 = Vec_WrdEntry( p->vSims, Gia_ObjFaninId1(pObj, i) ); in Bmc_ComputeSimDiff()
69 Sim0 = Vec_WrdEntry( p->vSims, Gia_ObjFaninId0(pObj, Id) ); in Bmc_ComputeSimDiff()
74 Sim = Vec_WrdEntry( p->vSims, Gia_ObjId(p, pObj) ); in Bmc_ComputeSimDiff()
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/map/if/
H A DifCount.h271 … Truth0 = iVar0 < nLeaves ? s_Truths6[iVar0] : Vec_WrdEntry( (Vec_Wrd_t *)vAig, iVar0 - nLeaves ); in If_AigVerifyArray()
272 … Truth1 = iVar1 < nLeaves ? s_Truths6[iVar1] : Vec_WrdEntry( (Vec_Wrd_t *)vAig, iVar1 - nLeaves ); in If_AigVerifyArray()
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/map/mpm/
H A DmpmDsd.c943 word Truth1p = Vec_WrdEntry( p->vPerm6, iClass1 * 720 + Perm1 ); in Mpm_CutComputeDsd6()
975 word Truth1p = Vec_WrdEntry( p->vPerm6, iClass1 * 720 + Perm1 ); in Mpm_CutComputeDsd6()
976 word TruthCp = Vec_WrdEntry( p->vPerm6, iClassC * 720 + PermC ); in Mpm_CutComputeDsd6()
H A DmpmPre.c196 word Fun = Vec_WrdEntry( p->vTruths, i ); in Ifd_ManPrint()
964 Variant = Vec_WrdEntry(vVariants, k); in Ifd_ManDsdTest()
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/map/mio/
H A DmioUtils.c824 assert( Vec_WrdEntry(*pvTruths, 0) == 0 ); in Mio_CollectRootsNewDefault3()
825 assert( Vec_WrdEntry(*pvTruths, 4) == ~(word)0 ); in Mio_CollectRootsNewDefault3()
826 assert( Vec_WrdEntry(*pvTruths, 8) == s_Truths6[0] ); in Mio_CollectRootsNewDefault3()
827 assert( Vec_WrdEntry(*pvTruths, 12) == ~s_Truths6[0] ); in Mio_CollectRootsNewDefault3()
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/opt/sfm/
H A DsfmDec.c149 static inline word Sfm_DecObjSim( Sfm_Dec_t * p, Abc_Obj_t * pObj ) { return Vec_WrdEntry(… in Sfm_DecObjSim()
150 static inline word Sfm_DecObjSim2( Sfm_Dec_t * p, Abc_Obj_t * pObj ) { return Vec_WrdEntry(… in Sfm_DecObjSim2()
419 word uSim = Vec_WrdEntry( &p->vObjSims, Vec_IntEntry(&p->vObjMap, d) ); in Sfm_ObjSetupSimInfo()
437 uSim = Vec_WrdEntry( &p->vObjSims, Vec_IntEntry(&p->vObjMap, d) ); in Sfm_ObjSetdownSimInfo()

12