Home
last modified time | relevance | path

Searched refs:Vec_BitEntry (Results 1 – 25 of 39) sorted by relevance

12

/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/proof/acec/
H A DacecTree.c117 …if ( Vec_BitEntry(vIsRoot, Gia_ObjFaninId0(pObj,i)) || Vec_BitEntry(vIsRoot, Gia_ObjFaninId1(pObj,… in Acec_TreeFilterOne()
118 … Vec_BitEntry(vMarked, Gia_ObjFaninId0(pObj,i)) || Vec_BitEntry(vMarked, Gia_ObjFaninId1(pObj,i)) ) in Acec_TreeFilterOne()
140 …if ( Vec_BitEntry(vMarked, Vec_IntEntry(vAdds, 6*Box+3)) || Vec_BitEntry(vMarked, Vec_IntEntry(vAd… in Acec_TreeFilterOne()
174 if ( Vec_BitEntry(vMarked, Id) ) in Acec_TreeMarkTFI_rec()
202 if ( Vec_BitEntry(vIsLeaf, i) ) in Acec_TreeFilterOne2()
210 …if ( Vec_BitEntry(vMarked, Vec_IntEntry(vAdds, 6*Box+3)) || Vec_BitEntry(vMarked, Vec_IntEntry(vAd… in Acec_TreeFilterOne2()
397 if ( Vec_BitEntry(vVisit, iBox) ) in Acec_TreePhases_rec()
450 …if ( vIgnore && (Vec_BitEntry(vIgnore, Vec_IntEntry(vAdds, 6*i+3)) || Vec_BitEntry(vIgnore, Vec_In… in Acec_TreeFindPoints()
485 if ( Vec_BitEntry(vFound, iAdd) ) in Acec_TreeFindTrees2_rec()
515 assert( Vec_BitEntry(vFound, In) == Vec_BitEntry(vFound, Out) ); in Acec_TreeFindTrees()
[all …]
H A DacecPa.c77 pObj->Value = Vec_BitEntry(vPhase, iObj) ? 0xFF & ~Truths[k] : Truths[k]; in Pas_ManVerifyPhaseOne()
83 TruthXor = Vec_BitEntry(vPhase, iObj) ? 0xFF & ~TruthXor : TruthXor; in Pas_ManVerifyPhaseOne()
87 TruthMaj = Vec_BitEntry(vPhase, iObj) ? 0xFF & ~TruthMaj : TruthMaj; in Pas_ManVerifyPhaseOne()
189 if ( Vec_BitEntry(vUnique, Carry) ) in Pas_ManComputeCuts()
200 if ( Vec_BitEntry(vUnique, i) && !Vec_BitEntry(vUsed, i) ) in Pas_ManComputeCuts()
216 printf( "%d(%d) ", Entry, Vec_BitEntry(vPhase, Entry) ); in Pas_ManComputeCuts()
222 printf( "%d(%d) ", Entry, Vec_BitEntry(vPhase, Entry) ); in Pas_ManComputeCuts()
223 nCompls += Vec_BitEntry(vPhase, Entry); in Pas_ManComputeCuts()
H A DacecPool.c77 if ( !Vec_BitEntry(vIns, Vec_IntEntry(vAdds, 6*i+4)) ) in Acec_ManCollectCarryRoots()
95 if ( !Vec_BitEntry(vIns, Vec_IntEntry(vXors, 4*i)) ) in Acec_ManCollectXorRoots()
109 if ( Vec_BitEntry(vIsCarryRoot, Node) ) in Acec_ManCountXorTreeInputs_rec()
155 assert( Vec_BitEntry(vIsCarryRoot, CarryRoot) ); in Acec_ManCollectCarryRootSets()
165 if ( !Vec_BitEntry(vIsCarryRoot, CarryRoot) ) in Acec_ManCollectCarryRootSets()
201 if ( !Vec_BitEntry(vBoxOuts, Vec_IntEntry(vAdds, 6*iBox+k)) ) in Acec_ManCollectInsOuts()
204 … if ( Vec_IntEntry(vAdds, 6*iBox+k) && !Vec_BitEntry(vBoxIns, Vec_IntEntry(vAdds, 6*iBox+k)) ) in Acec_ManCollectInsOuts()
370 if ( !Vec_BitEntry(vMarks, Vec_IntEntry(vAdds, 6*i+3)) && in Acec_ManPoolTopMost()
371 !Vec_BitEntry(vMarks, Vec_IntEntry(vAdds, 6*i+4)) ) in Acec_ManPoolTopMost()
H A DacecXor.c180 if ( !Vec_BitEntry(vMapXorIns, Vec_IntEntry(vXors, 4*i)) ) in Acec_FindXorRoots()
246 if ( Vec_BitEntry(vMapXors, Fanin) ) in Acec_FindXorLeaves()
276 else if ( Vec_BitEntry( vMarked, Abc_Lit2Var(iLit) ) ) in Acec_CheckBoothPPs()
326 if ( !Vec_BitEntry( vIsLeaf, Vec_IntEntry(vAdds, 6*Box+4) ) ) in Acec_FindBox()
342 if ( !Vec_BitEntry( vIsRoot, Vec_IntEntry(vAdds, 6*Box+k) ) ) in Acec_FindBox()
345 if ( !Vec_BitEntry( vIsLeaf, Vec_IntEntry(vAdds, 6*Box+k) ) ) in Acec_FindBox()
H A DacecCo.c124 if ( Vec_BitEntry(vIsRoot, Entry2) ) in Gia_PolynCoreOrder_int()
128 assert( Vec_BitEntry(vIsRoot, Entry1) ); in Gia_PolynCoreOrder_int()
129 assert( Vec_BitEntry(vIsRoot, Entry2) ); in Gia_PolynCoreOrder_int()
208 if ( Vec_IntEntry(vAdds, 6*Index+4) == Carry && !Vec_BitEntry(vMarks, Sum) ) in Gia_PolyCollectRoots_rec()
257 if ( Vec_BitEntry(vVisited, iObj) ) in Gia_PolynCoreCollect_rec()
H A DacecStruct.c63 if ( !Vec_BitEntry(vXorIns, Entry) ) in Acec_StructDetectXorRoots()
153 if ( Vec_BitEntry(vMapXors, Fanins[k]) ) in Acec_FindTreeLeaves()
H A DacecRe.c470 if ( Vec_BitEntry(vVisited, iObj) ) in Ree_CollectInsiders_rec()
547 …if ( Vec_BitEntry(vInsiders, Vec_IntEntry(vAdds, 6*i+3)) && Vec_BitEntry(vInsiders, Vec_IntEntry(v… in Ree_ManRemoveContained()
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/misc/vec/
H A DvecBit.h55 for ( i = 0; (i < Vec_BitSize(vVec)) && (((Entry) = Vec_BitEntry(vVec, i)), 1); i++ )
57 for ( i = Start; (i < Vec_BitSize(vVec)) && (((Entry) = Vec_BitEntry(vVec, i)), 1); i++ )
59 for ( i = 0; (i < Stop) && (((Entry) = Vec_BitEntry(vVec, i)), 1); i++ )
61 for ( i = Start; (i < Stop) && (((Entry) = Vec_BitEntry(vVec, i)), 1); i++ )
63 for ( i = Vec_BitSize(vVec) - 1; (i >= 0) && (((pEntry) = Vec_BitEntry(vVec, i)), 1); i-- )
287 static inline int Vec_BitEntry( Vec_Bit_t * p, int i ) in Vec_BitEntry() function
315 if ( Vec_BitEntry(p, i) ) in Vec_BitAddEntry()
335 return Vec_BitEntry( p, p->nSize-1 ); in Vec_BitEntryLast()
459 return Vec_BitEntry( p, i ); in Vec_BitGetEntry()
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/aig/gia/
H A DgiaSplit.c208 assert( Vec_BitEntry(p->vMarksAnd, iObj) ); in Spl_ManWinFindLeavesRoots()
210 if ( !Vec_BitEntry(p->vMarksAnd, iFan) ) in Spl_ManWinFindLeavesRoots()
212 assert( Gia_ObjIsLut2(p->pGia, iFan) || Vec_BitEntry(p->vMarksCIO, iFan) ); in Spl_ManWinFindLeavesRoots()
217 if ( !Vec_BitEntry(p->vMarksAnd, iFan) ) in Spl_ManWinFindLeavesRoots()
219 assert( Gia_ObjIsLut2(p->pGia, iFan) || Vec_BitEntry(p->vMarksCIO, iFan) ); in Spl_ManWinFindLeavesRoots()
257 if ( Vec_BitEntry(vMarksNo, iObj) || Vec_BitEntry(vMarksCIO, iObj) ) in Spl_ManLutFanouts_rec()
298 if ( Vec_BitEntry(vMarks, iFan) ) in Spl_ManCountMarkedFanins()
372 …if ( !Vec_BitEntry(p->vMarksNo, iFan) && !Vec_BitEntry(p->vMarksCIO, iFan) && !Gia_ObjLutRefNumId(… in Spl_ManFindOne()
386 if ( !Vec_BitEntry(p->vMarksNo, iFan) && !Vec_BitEntry(p->vMarksCIO, iFan) ) in Spl_ManFindOne()
447 if ( !Vec_BitEntry(vMarksAnd, iTemp) ) in Spl_ManLutMffcSize()
[all …]
H A DgiaShow.c70 if ( !Vec_BitEntry(vPath, i) ) in Gia_ShowPath()
219 if ( (int)Gia_ObjLevel(p, pNode) != Level || !Vec_BitEntry(vPath, i) ) in Gia_ShowPath()
240 if ( !Vec_BitEntry(vPath, Gia_ObjId(p, pNode)) ) in Gia_ShowPath()
274 if ( !Vec_BitEntry(vPath, Gia_ObjId(p, pNode)) ) in Gia_ShowPath()
299 if ( !Gia_ObjIsAnd(pNode) || !Vec_BitEntry(vPath, i) ) in Gia_ShowPath()
1031 …if ( Vec_BitEntry(vIsBold, Vec_IntEntry(vAdds, 6*i+3)) || Vec_BitEntry(vIsBold, Vec_IntEntry(vAdds… in Gia_ShowMapAdds()
H A DgiaSatLE.c355 if ( Vec_BitEntry(vMask, pC[k]) ) // internal node in Sle_ManCutHasPisOnly()
380 if ( Vec_BitEntry(vMask, pC[k]) && !Vec_BitEntry(vMap, pC[k]) ) in Sle_ManCollectCutFaninsOne()
644 if ( Vec_BitEntry(p->vMask, iObj) ) // internal node in Sle_ManDeriveCnf()
683 if ( !Vec_BitEntry(p->vMask, pC[k]) ) in Sle_ManDeriveCnf()
968 if ( Vec_BitEntry(p->vMask, iLut) ) // internal node in Sle_ManExplore()
H A DgiaMini.c343 if ( Vec_BitEntry(vMarks, i) ) in Gia_ManToMiniLut()
346 if ( Vec_BitEntry(vMarks, iFanin) ) in Gia_ManToMiniLut()
361 else if ( Gia_ObjFaninC0(pObj) == Vec_BitEntry(vMarks, Gia_ObjFaninId0p(pGia, pObj)) ) in Gia_ManToMiniLut()
H A DgiaUtil.c2268 if ( (Vec_BitEntry(vHeads, iObj) && Vec_BitEntry(vDatas, iObj)) || in Gia_ManDupWithMuxPos()
2269 (Vec_BitEntry(vHeads, iData0) && Vec_BitEntry(vDatas, iData0)) || in Gia_ManDupWithMuxPos()
2270 (Vec_BitEntry(vHeads, iData1) && Vec_BitEntry(vDatas, iData1)) ) in Gia_ManDupWithMuxPos()
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/opt/sbd/
H A DsbdPath.c51 return Vec_BitEntry(vPath, iObj); in Sbc_ManAddInternalToPath_rec()
55 return Vec_BitEntry(vPath, iObj); in Sbc_ManAddInternalToPath_rec()
68 if ( !Vec_BitEntry(vPath, iObj) ) in Sbc_ManAddInternalToPath()
168 if ( !Vec_BitEntry(vPath, i) ) in Sbc_ManDelayTrace()
183 nEdgesAll += (Vec_BitEntry(vPath, i) && Vec_BitEntry(vPath, iFan)); in Sbc_ManDelayTrace()
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/sat/bmc/
H A DbmcCexCut.c53 if ( Vec_BitEntry( vJustis, Shift + iObj ) ) in Bmc_GiaGenerateJust_rec()
62 if ( Vec_BitEntry( vValues, Shift + iObj ) ) in Bmc_GiaGenerateJust_rec()
67 else if ( Vec_BitEntry( vValues, Shift + Gia_ObjFaninId0(pObj, iObj) ) == Gia_ObjFaninC0(pObj) ) in Bmc_GiaGenerateJust_rec()
84 if ( !Vec_BitEntry( vJustis, Shift + k ) ) in Bmc_GiaGenerateJustNonRec()
88 if ( Vec_BitEntry( vValues, Shift + k ) ) in Bmc_GiaGenerateJustNonRec()
170 assert( Vec_BitEntry(vJustis, Gia_ManObjNum(p) * pCex->iFrame + Gia_ObjId(p, pObj)) == 0 ); in Bmc_GiaGenerateJust()
174 assert( Vec_BitEntry(vJustis, Gia_ManObjNum(p) * pCex->iFrame + Gia_ObjId(p, pObj)) == 1 ); in Bmc_GiaGenerateJust()
203 if ( Vec_BitEntry(vValues, Gia_ManObjNum(p) * iFrBeg + Gia_ObjId(p, pObj)) ) in Bmc_GiaGenerateGiaOne()
211 if ( !Vec_BitEntry(vJustis, Gia_ManObjNum(p) * iFrEnd + Gia_ObjId(p, pObj)) ) in Bmc_GiaGenerateGiaOne()
213 if ( Vec_BitEntry(vValues, Gia_ManObjNum(p) * iFrEnd + Gia_ObjId(p, pObj)) ) in Bmc_GiaGenerateGiaOne()
[all …]
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/base/io/
H A DioReadPla.c121 if ( !Vec_BitEntry(vMarks, c1) ) in Io_ReadPlaMarkIdentical()
123 if ( !Vec_BitEntry(vMarks, c2) ) in Io_ReadPlaMarkIdentical()
132 if ( !Vec_BitEntry(vMarks, c1) ) in Io_ReadPlaMarkContained()
134 if ( !Vec_BitEntry(vMarks, c2) ) in Io_ReadPlaMarkContained()
149 if ( !Vec_BitEntry(vMarks, c1) ) in Io_ReadPlaRemoveMarked()
163 if ( !Vec_BitEntry(vMarks, c1) ) in Io_ReadPlaMergeDistance1()
165 if ( !Vec_BitEntry(vMarks, c2) ) in Io_ReadPlaMergeDistance1()
182 if ( !Vec_BitEntry(vMarks, c1) ) in Io_ReadPlaSelfSubsumption()
184 if ( !Vec_BitEntry(vMarks, c2) ) in Io_ReadPlaSelfSubsumption()
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/proof/pdr/
H A DpdrMan.c100 if ( Vec_BitEntry(vCtrls, Gia_ObjId(p, pObj)) ) in Pdr_ManDeriveFlopPriorities3()
110 if ( Vec_BitEntry(vCtrls, Gia_ObjId(p, pObj)) ) in Pdr_ManDeriveFlopPriorities3()
112 if ( Vec_BitEntry(vDatas, Gia_ObjId(p, pObj)) ) in Pdr_ManDeriveFlopPriorities3()
114 … if ( Vec_BitEntry(vCtrls, Gia_ObjId(p, pObj)) && Vec_BitEntry(vDatas, Gia_ObjId(p, pObj)) ) in Pdr_ManDeriveFlopPriorities3()
206 if ( Vec_BitEntry(vCtrls, Gia_ObjId(p, pObj)) ) in Pdr_ManDeriveFlopPriorities2()
215 if ( Vec_BitEntry(vCtrls, Gia_ObjId(p, pObj)) ) in Pdr_ManDeriveFlopPriorities2()
217 if ( Vec_BitEntry(vDatas, Gia_ObjId(p, pObj)) ) in Pdr_ManDeriveFlopPriorities2()
219 … if ( Vec_BitEntry(vCtrls, Gia_ObjId(p, pObj)) && Vec_BitEntry(vDatas, Gia_ObjId(p, pObj)) ) in Pdr_ManDeriveFlopPriorities2()
H A DpdrInv.c835 if ( Vec_BitEntry(vRemoved, i) ) in Pdr_InvMinimize()
840 if ( k != i && !Vec_BitEntry(vRemoved, k) ) // skip this cube and already removed cubes in Pdr_InvMinimize()
869 if ( Vec_BitEntry(vRemoved, n) || n == i ) in Pdr_InvMinimize()
910 if ( !Vec_BitEntry(vRemoved, i) ) in Pdr_InvMinimize()
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/base/pla/
H A DplaMan.c95 if ( Vec_BitEntry(vMap, n) ) in Pla_ManPrimesTable()
106 if ( Vec_BitEntry(vMap, n) ) in Pla_GenPrimes()
161 if ( Vec_BitEntry(vBits, Mint) ) in Pla_GenRandom()
180 if ( Vec_BitEntry(vBits, i) ) in Pla_ManGenerate()
193 if ( Vec_BitEntry(vBits, i) ) in Pla_ManGenerate()
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/misc/extra/
H A DextraUtilPrime.c85 if ( !Vec_BitEntry(vMap, Prime ^ (1<<k)) ) in Abc_GenCountHits1()
102 if ( !Vec_BitEntry(vMap, n) ) in Abc_GenPrimes()
106 if ( !Vec_BitEntry(vMap, n) ) in Abc_GenPrimes()
518 if ( Vec_BitEntry(vMarks, nMarks++) ) in Tab_ManCollectDist1()
522 if ( Vec_BitEntry(vMarks, nMarks) ) in Tab_ManCollectDist1()
530 if ( Vec_BitEntry(vMarks, nMarks) ) in Tab_ManCollectDist1()
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/base/cba/
H A DcbaWriteVer.c510 if ( Vec_BitEntry(vPoFons, iFon) ) in Cba_ManWriteVerilogNtk()
548 if ( Vec_BitEntry(vPoFons, iFonOut) ) in Cba_ManWriteVerilogNtk()
621 if ( Vec_BitEntry(vPoFons, iFonOut) ) in Cba_ManWriteVerilogNtk()
672 if ( Vec_BitEntry(vPoFons, iFonOut) ) in Cba_ManWriteVerilogNtk()
773 if ( !Vec_BitEntry(vPoFons, iFon0) ) in Cba_ManWriteVerilogNtk()
780 if ( !Vec_BitEntry(vPoFons, iFon1) && Cba_FonName(p, iFon1) ) in Cba_ManWriteVerilogNtk()
815 if ( !Vec_BitEntry(vPoFons, iFon0) ) in Cba_ManWriteVerilogNtk()
822 if ( !Vec_BitEntry(vPoFons, iFon1) ) in Cba_ManWriteVerilogNtk()
837 if ( Vec_BitEntry(vPoFons, iFon0) ) in Cba_ManWriteVerilogNtk()
865 if ( Vec_BitEntry(vPoFons, Cba_ObjFon0(p, iObj)) ) in Cba_ManWriteVerilogNtk()
H A DcbaNtk.c512 if ( !Vec_BitEntry(vVisited, iFanin) ) in Cba_NtkIsTopoOrder()
523 if ( !Vec_BitEntry(vVisited, iFanin) ) in Cba_NtkIsTopoOrder()
532 if ( !Vec_BitEntry(vVisited, iFanin) ) in Cba_NtkIsTopoOrder()
887 if ( !Vec_BitEntry(vMapObjs, iObj) ) in Cba_NtkCollectOutFons()
894 if ( Vec_BitEntry(vVisFons, iFon) ) in Cba_NtkCollectOutFons()
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/base/wlc/
H A DwlcAbs.c98 if ( Vec_BitEntry( vCiMarks, iObj ) ) in Wlc_NtkAbsGetSupp_rec()
156 if ( !Vec_BitEntry( vUnmark, Entry ) ) in Wlc_NtkAbsAnalyzeRefine()
283 if ( Vec_BitEntry( vMark, i ) ) in Wlc_NtkGetCoreSels()
740 if ( Vec_BitEntry( vUnmark, Entry ) ) in Wlc_NtkProofRefine()
787 if ( Vec_BitEntry( vUnmark, Entry) ) in Wlc_NtkUpdateBlacks()
945 else if ( Vec_BitEntry( vMarks, i ) ) in Wlc_NtkGetBlacks()
957 else if ( Vec_BitEntry( vMarks, i ) ) in Wlc_NtkGetBlacks()
969 else if ( Vec_BitEntry( vMarks, i ) ) in Wlc_NtkGetBlacks()
981 else if ( Vec_BitEntry( vMarks, i ) ) in Wlc_NtkGetBlacks()
1066 if ( Vec_BitEntry(vLeaves, Wlc_ObjId(p, pObj)) ) in Wlc_NtkAbsMarkNodes_rec()
[all …]
H A DwlcAbs2.c55 if ( vUnmark && Vec_BitEntry(vUnmark, i) ) // not allow this object to be abstracted away in Wlc_NtkAbsMarkOpers()
107 if ( Vec_BitEntry(vLeaves, Wlc_ObjId(p, pObj)) ) in Wlc_NtkAbsMarkNodes_rec()
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/aig/miniaig/
H A Dminiaig.h316 …fprintf( pFile, "%s%c%d", (iFaninLit0 & 1) ? "~":"", Vec_BitEntry(vObjIsPi, iFaninLit0 >> 1) ? 'i'… in Mini_AigDumpVerilog()
318 …fprintf( pFile, "%s%c%d", (iFaninLit1 & 1) ? "~":"", Vec_BitEntry(vObjIsPi, iFaninLit1 >> 1) ? 'i'… in Mini_AigDumpVerilog()
327 …fprintf( pFile, "%s%c%d", (iFaninLit0 & 1) ? "~":"", Vec_BitEntry(vObjIsPi, iFaninLit0 >> 1) ? 'i'… in Mini_AigDumpVerilog()

12