Home
last modified time | relevance | path

Searched refs:pSims (Results 1 – 16 of 16) sorted by relevance

/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/proof/ssw/
H A DsswSim.c80 unsigned * pSims; in Ssw_SmlObjHashWord() local
104 unsigned * pSims; in Ssw_SmlObjIsConstWord() local
108 if ( pSims[i] ) in Ssw_SmlObjIsConstWord()
296 unsigned * pSims; in Ssw_SmlNodeIsZero() local
335 unsigned * pSims; in Ssw_SmlNodeCountOnesReal() local
443 unsigned * pSims; in Ssw_SmlCheckOutputSavePattern() local
515 unsigned * pSims; in Ssw_SmlAssignRandom() local
540 unsigned * pSims; in Ssw_SmlAssignRandomFrame() local
562 unsigned * pSims; in Ssw_SmlObjAssignConst() local
1052 pSims[i] = ~pSims[i]; in Ssw_SmlUnnormalize()
[all …]
H A DsswRarity.c548 unsigned * pSims; in Ssw_RarManObjHashWord() local
552 pSims = (unsigned *)Ssw_RarObjSim( p, pObj->Id ); in Ssw_RarManObjHashWord()
554 uHash ^= pSims[i] * s_SPrimes[i & 0x7F]; in Ssw_RarManObjHashWord()
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/proof/fra/
H A DfraSim.c64 unsigned * pSims; in Fra_SmlNodeHash() local
89 unsigned * pSims; in Fra_SmlNodeIsConst() local
93 if ( pSims[i] ) in Fra_SmlNodeIsConst()
157 unsigned * pSims; in Fra_SmlNodeIsZero() local
161 if ( pSims[i] ) in Fra_SmlNodeIsZero()
179 unsigned * pSims; in Fra_SmlNodeCountOnes() local
284 unsigned * pSims; in Fra_SmlCheckOutputSavePattern() local
360 unsigned * pSims; in Fra_SmlAssignRandom() local
381 unsigned * pSims; in Fra_SmlAssignConst() local
920 unsigned * pSims; in Fra_SmlInitializeGiven() local
[all …]
H A DfraClaus.c205 unsigned * pSims[16], uWord; in Fra_ClausProcessClausesCut() local
250 unsigned * pSims[16], uWord; in Fra_ClausProcessClausesCut2() local
293 unsigned * pSims[16], uWord; in Fra_ClausProcessClausesCut3() local
447 unsigned * pSims; in Fra_ClausSmlNodeIsConst() local
449 pSims = Fra_ObjSim(pSeq, pObj->Id); in Fra_ClausSmlNodeIsConst()
451 if ( pSims[i] ) in Fra_ClausSmlNodeIsConst()
1058 unsigned * pSims[16], uWord; in Fra_ClausSimInfoCheck() local
1071 uWord &= (lit_sign(pLits[i])? pSims[i][w] : ~pSims[i][w]); in Fra_ClausSimInfoCheck()
1079 uWord &= (lit_sign(pLits[i])? pSims[i][w] : ~pSims[i][w]); in Fra_ClausSimInfoCheck()
1594 unsigned * pSims[16]; in Fra_ClausEstimateCoverageOne() local
[all …]
H A DfraHot.c51 unsigned * pSims; in Fra_OneHotNodeIsConst() local
53 pSims = Fra_ObjSim(pSeq, pObj->Id); in Fra_OneHotNodeIsConst()
55 if ( pSims[i] ) in Fra_OneHotNodeIsConst()
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/proof/fraig/
H A DfraigNode.c228 unsigned * pSims, * pSims1, * pSims2; in Fraig_NodeSimulate() local
251 pSims[i] = (pSims1[i] | pSims2[i]); in Fraig_NodeSimulate()
252 uHash ^= pSims[i] * s_FraigPrimes[i]; in Fraig_NodeSimulate()
257 pSims[i] = ~(pSims1[i] | pSims2[i]); in Fraig_NodeSimulate()
258 uHash ^= pSims[i] * s_FraigPrimes[i]; in Fraig_NodeSimulate()
266 pSims[i] = (pSims1[i] | ~pSims2[i]); in Fraig_NodeSimulate()
272 pSims[i] = (~pSims1[i] & pSims2[i]); in Fraig_NodeSimulate()
281 pSims[i] = (~pSims1[i] | pSims2[i]); in Fraig_NodeSimulate()
287 pSims[i] = (pSims1[i] & ~pSims2[i]); in Fraig_NodeSimulate()
296 pSims[i] = ~(pSims1[i] & pSims2[i]); in Fraig_NodeSimulate()
[all …]
H A DfraigFeed.c280 unsigned * pSims; in Fraig_FeedBackCompress() local
307 pSims = p->vInputs->pArray[i]->puSimD; in Fraig_FeedBackCompress()
323 pSims[w] = p->pSimsTemp[w]; in Fraig_FeedBackCompress()
327 uHash ^= pSims[w] * s_FraigPrimes[w]; in Fraig_FeedBackCompress()
389 unsigned * pSims; in Fraig_FeedBackCovering() local
401 pSims = (unsigned *)vColumns->pArray[i]; in Fraig_FeedBackCovering()
454 unsigned * pSims; in Fraig_FeedBackCoveringStart() local
505 pSims = pEntF->puSimD; in Fraig_FeedBackCoveringStart()
592 if ( pSims[i] == 0 ) in Fraig_GetHittingPattern()
595 if ( pSims[i] & (1 << b) ) in Fraig_GetHittingPattern()
[all …]
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/opt/sbd/
H A DsbdSim.c66 word * pSims = Sbd_ObjSims(p, i); in Sbd_GiaSimRoundBack2() local
72 pSims0[w] = pSims[w] | Rand; in Sbd_GiaSimRoundBack2()
73 pSims1[w] = pSims[w] | ~Rand; in Sbd_GiaSimRoundBack2()
102 if ( Abc_TtGetBit( pSims, iPat ) != Value ) in Sbd_GiaSatOne_rec()
103 Abc_TtXorBit( pSims, iPat ); in Sbd_GiaSatOne_rec()
244 word * pSims = Sbd_ObjSims(p, i); in Sbd_GiaSimRound() local
246 Abc_TtXor( pSims, in Sbd_GiaSimRound()
252 Abc_TtAndCompl( pSims, in Sbd_GiaSimRound()
257 fCompl = (int)(pSims[0] & 1); in Sbd_GiaSimRound()
258 if ( fCompl ) Abc_TtNot( pSims, nWords ); in Sbd_GiaSimRound()
[all …]
H A DsbdCore.c523 word * pSims = Sbd_ObjSim0( p, Pivot ); in Sbd_ManCheckConst() local
546 nCares[Abc_TtGetBit(pSims, i)]++; in Sbd_ManCheckConst()
565 if ( fFindOnset == Abc_TtGetBit(pSims, i) ) in Sbd_ManCheckConst()
609 nCares[Abc_TtGetBit(pSims, i)]++; in Sbd_ManCheckConst()
726 word * pSims = Sbd_ObjSim0( p, Id ); in Sbd_ManPrintObj() local
731 Vec_IntPush( p->vCounts[Abc_TtGetBit(pSims, k)], k ); in Sbd_ManPrintObj()
741 word * pSims = Sbd_ObjSim0( p, Id ); in Sbd_ManPrintObj() local
756 word * pSims = Sbd_ObjSim0( p, Id ); in Sbd_ManPrintObj() local
760 printf( "%c", '0' + Abc_TtGetBit(pSims, k) ); in Sbd_ManPrintObj()
803 word * pSims = Sbd_ObjSim0( p, Id ); in Sbd_ManPrintObj() local
[all …]
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/sat/bmc/
H A DbmcGen.c54 word * pSims = Gia_ManMoObj( p, iObj ); in Gia_ManMoSetCi() local
56 pSims[w] = Gia_ManRandomW( 0 ); in Gia_ManMoSetCi()
62 word * pSims = Gia_ManMoObj( p, iObj ); in Gia_ManMoSimAnd() local
69 pSims[w] = ~(pSims0[w] | pSims1[w]); in Gia_ManMoSimAnd()
72 pSims[w] = ~pSims0[w] & pSims1[w]; in Gia_ManMoSimAnd()
78 pSims[w] = pSims0[w] & ~pSims1[w]; in Gia_ManMoSimAnd()
81 pSims[w] = pSims0[w] & pSims1[w]; in Gia_ManMoSimAnd()
88 word * pSims = Gia_ManMoObj( p, iObj ); in Gia_ManMoSetCo() local
93 pSims[w] = ~pSims0[w]; in Gia_ManMoSetCo()
98 pSims[w] = pSims0[w]; in Gia_ManMoSetCo()
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/aig/saig/
H A DsaigStrSim.c68 unsigned * pSims; in Saig_StrSimHash() local
72 pSims = (unsigned *)pObj->pData; in Saig_StrSimHash()
116 if ( pSims[i] != 0 ) in Saig_StrSimIsZero()
137 if ( pSims[i] != ~0 ) in Saig_StrSimIsOne()
158 pSims[i] = Aig_ManRandom(0); in Saig_StrSimAssignRandom()
177 pSims[i] = ~0; in Saig_StrSimAssignOne()
194 pSims[0] = 0; in Saig_StrSimAssignZeroInit()
214 pSims[i] = ~(pSims0[i] | pSims1[i]); in Saig_StrSimulateNode()
220 pSims[i] = (pSims0[i] & pSims1[i]); in Saig_StrSimulateNode()
239 pSims[i] = ~pSims0[i]; in Saig_StrSimSaveOutput()
[all …]
H A DsaigSimSeq.c52 unsigned * pSims; // simlulation information for each node member
164 p->pSims = ABC_CALLOC( unsigned, nObjs ); in Raig_ManCreate()
211 ABC_FREE( p->pSims ); in Raig_ManDelete()
231 assert( p->pSims[i] == 0 ); in Raig_ManSimRef()
254 p->pSims[i] = p->MemFree; in Raig_ManSimRef()
281 assert( p->pSims[i] > 0 ); in Raig_ManSimDeref()
282 pSim = p->pMems + p->pSims[i]; in Raig_ManSimDeref()
286 p->MemFree = p->pSims[i]; in Raig_ManSimDeref()
287 p->pSims[i] = 0; in Raig_ManSimDeref()
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/aig/ivy/
H A DivyFraig.c557 Ivy_FraigSim_t * pSims; in Ivy_FraigStart() local
682 Ivy_FraigSim_t * pSims; in Ivy_NodeAssignRandom() local
703 Ivy_FraigSim_t * pSims; in Ivy_NodeAssignConst() local
770 Ivy_FraigSim_t * pSims; in Ivy_NodeHasZeroSim() local
792 Ivy_FraigSim_t * pSims; in Ivy_NodeComplementSim() local
796 pSims->pData[i] = ~pSims->pData[i]; in Ivy_NodeComplementSim()
837 pData = pSims->pData; in Ivy_NodeSimulateSim()
840 switch( pSims->Type ) in Ivy_NodeSimulateSim()
968 Ivy_FraigSim_t * pSims; in Ivy_NodeHash() local
1025 Ivy_FraigSim_t * pSims; in Ivy_FraigSimulateOneSim() local
[all …]
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/aig/gia/
H A DgiaGen.c416 word * pSims; in Gia_ManCompareValues() local
420 pSims = Gia_ManObjSim( p, Gia_ObjId(p, Gia_ManCo(p, 0)) ); in Gia_ManCompareValues()
422 if ( Abc_TtGetBit(pSims, i) == Value ) in Gia_ManCompareValues()
H A DgiaSimBase.c95 word * pSims = Vec_WrdArray(vSims); in Gia_ManSimPatSimAnd() local
96 word * pSims0 = pSims + nWords*Gia_ObjFaninId0(pObj, i); in Gia_ManSimPatSimAnd()
97 word * pSims1 = pSims + nWords*Gia_ObjFaninId1(pObj, i); in Gia_ManSimPatSimAnd()
98 word * pSims2 = pSims + nWords*i; int w; in Gia_ManSimPatSimAnd()
110 word * pSims = Vec_WrdArray(vSims); in Gia_ManSimPatSimPo() local
111 word * pSims0 = pSims + nWords*Gia_ObjFaninId0(pObj, i); in Gia_ManSimPatSimPo()
112 word * pSims2 = pSims + nWords*i; int w; in Gia_ManSimPatSimPo()
596 word * pSims = Vec_WrdEntryP( p->vSimsObj, p->nWords*iObj ); in Gia_SimRsbCareSet() local
598 Abc_TtCopy( pSims2, pSims, p->nWords, 1 ); in Gia_SimRsbCareSet()
H A DgiaSim.c1144 word * pSims = Gia_ManBuiltInData( p, Gia_ManCiIdToId(p, i) ); in Gia_ManIncrSimUpdate() local
1146 pSims[k] = Gia_ManRandomW(0); in Gia_ManIncrSimUpdate()
1181 word * pSims = Gia_ManBuiltInData( p, Abc_Lit2Var(iLit) ); in Gia_ManIncrSimSet() local
1186 if ( Abc_TtGetBit(pSims, p->iPatsPi) == Abc_LitIsCompl(iLit) ) in Gia_ManIncrSimSet()
1187 Abc_TtXorBit(pSims, p->iPatsPi); in Gia_ManIncrSimSet()