/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/proof/ssw/ |
H A D | sswSim.c | 80 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 D | sswRarity.c | 548 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 D | fraSim.c | 64 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 D | fraClaus.c | 205 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 D | fraHot.c | 51 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 D | fraigNode.c | 228 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 D | fraigFeed.c | 280 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 D | sbdSim.c | 66 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 D | sbdCore.c | 523 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 D | bmcGen.c | 54 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 D | saigStrSim.c | 68 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 D | saigSimSeq.c | 52 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 D | ivyFraig.c | 557 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 D | giaGen.c | 416 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 D | giaSimBase.c | 95 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 D | giaSim.c | 1144 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()
|