/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/aig/gia/ |
H A D | giaSwitch.c | 153 Mask = (Gia_ManRandom( 0 ) & Gia_ManRandom( 0 )) | in Gia_ManSwiSimInfoRandom() 154 (Gia_ManRandom( 0 ) & Gia_ManRandom( 0 ) & Gia_ManRandom( 0 )); in Gia_ManSwiSimInfoRandom() 160 Mask = Gia_ManRandom( 0 ); in Gia_ManSwiSimInfoRandom() 162 Mask &= Gia_ManRandom( 0 ); in Gia_ManSwiSimInfoRandom() 169 pInfo[w] = Gia_ManRandom( 0 ); in Gia_ManSwiSimInfoRandom() 192 Mask = (Gia_ManRandom( 0 ) & Gia_ManRandom( 0 )) | in Gia_ManSwiSimInfoRandomShift() 193 (Gia_ManRandom( 0 ) & Gia_ManRandom( 0 ) & Gia_ManRandom( 0 )); in Gia_ManSwiSimInfoRandomShift() 197 Mask = Gia_ManRandom( 0 ); in Gia_ManSwiSimInfoRandomShift() 199 Mask &= Gia_ManRandom( 0 ); in Gia_ManSwiSimInfoRandomShift() 580 Gia_ManRandom( 1 ); in Gia_ManSwiSimulate()
|
H A D | giaGlitch.c | 434 if ( Multi * (Gia_ManRandom(0) & 0xffff) < PiTransProb ) in Gli_ManSetPiRandom() 617 return Gia_ManRandom(0); in Gli_ManUpdateRandomInput() 619 if ( Multi * (Gia_ManRandom(0) & 0xffff) < PiTransProb ) in Gli_ManUpdateRandomInput() 708 if ( Multi * (Gia_ManRandom(0) & 0xffff) < PiTransProb ) in Gli_ManSetPiRandomSeq() 744 Gia_ManRandom( 1 ); in Gli_ManSwitchesAndGlitches()
|
H A D | giaCone.c | 380 Gia_ManRandom(1); in Gia_ManFindPivots() 381 Gia_ManRandom(0); in Gia_ManFindPivots() 384 j = (Gia_ManRandom(0) >> 1) % Vec_IntSize(vWeights); in Gia_ManFindPivots()
|
H A D | giaEmbed.c | 844 Gia_ManRandom( 1 ); in Gia_ManTestDistanceInternal() 851 iNode = Gia_ManRandom( 0 ) % Emb_ManCiNum(p); in Gia_ManTestDistanceInternal() 867 iNode = Gia_ManRandom( 0 ) % Emb_ManCoNum(p); in Gia_ManTestDistanceInternal() 881 iNode = Gia_ManRandom( 0 ) % Gia_ManObjNum(p->pGia); in Gia_ManTestDistanceInternal() 1051 int iNode = (911 * Gia_ManRandom(0)) % Gia_ManObjNum(p->pGia); in Emb_ManRandomVertex() 1248 pVec[i] = Gia_ManRandom( 0 ); in Emb_ManVecRandom() 1816 Gia_ManRandom( 1 ); // reset random numbers for deterministic behavior in Gia_ManSolveProblem()
|
H A D | giaSim.c | 261 pInfo[w] = Gia_ManRandom( 0 ); in Gia_ManSimInfoRandom() 561 pData[w] = Gia_ManRandom( 0 ); in Gia_ManGenerateCounter() 583 Gia_ManRandom( 1 ); in Gia_ManResetRandom() 585 Gia_ManRandom( 0 ); in Gia_ManResetRandom()
|
H A D | giaSim2.c | 123 pInfo[w] = Gia_ManRandom( 0 ); in Gia_Sim2InfoRandom() 619 pData[w] = Gia_ManRandom( 0 ); in Gia_Sim2GenerateCounter()
|
H A D | giaForce.c | 753 iNext = Gia_ManRandom( 0 ) % p->nObjs; in Frc_ManPlaceRandom() 780 iNext = Gia_ManRandom( 0 ) % vArray->nSize; in Frc_ManArrayShuffle() 1042 Gia_ManRandom( 1 ); in For_ManExperiment()
|
H A D | giaUtil.c | 49 unsigned Gia_ManRandom( int fReset ) in Gia_ManRandom() function 64 return ((word)Gia_ManRandom(fReset) << 32) | ((word)Gia_ManRandom(fReset) << 0); in Gia_ManRandomW() 86 pInfo[w] = Gia_ManRandom(0); in Gia_ManRandomInfo()
|
H A D | giaGiarf.c | 401 Hcd_ObjSetSim( p, i, (Gia_ManRandom(0) << 1) ); in Hcd_ManSimulationInit() 1037 Gia_ManRandom( 1 ); in Gia_ComputeEquivalences()
|
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/base/abci/ |
H A D | abcXsim.c | 57 return (Gia_ManRandom(0) & 1) ? XVS1 : XVS0; in Abc_XsimRand2() 64 RetValue = Gia_ManRandom(0) & 3; in Abc_XsimRand3() 117 Gia_ManRandom( 1 ); in Abc_NtkXValueSimulate() 198 Gia_ManRandom( 1 ); in Abc_NtkCycleInitState()
|
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/proof/ssc/ |
H A D | sscSim.c | 30 … inline word Ssc_Random() { return ((word)Gia_ManRandom(0) << 32) | ((word)Gia_ManRando… in Ssc_Random() 31 … inline word Ssc_Random1( int Bit ) { return ((word)Gia_ManRandom(0) << 32) | ((word)Gia_ManRando… in Ssc_Random1() 32 … inline word Ssc_Random2() { return ((word)Gia_ManRandom(0) << 32) | ((word)Gia_ManRando… in Ssc_Random2()
|
H A D | sscCore.c | 277 Gia_ManRandom( 1 ); in Ssc_PerformSweepingInt()
|
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/proof/cec/ |
H A D | cecSeq.c | 80 pInfo[w] = Gia_ManRandom(0); in Cec_ManSeqDeriveInfoFromCex() 89 pInfo[w] = Gia_ManRandom(0); in Cec_ManSeqDeriveInfoFromCex() 122 pInfo[w] = Gia_ManRandom( 0 ); in Cec_ManSeqDeriveInfoInitRandom() 243 Gia_ManRandom( 1 ); in Cec_ManSeqResimulateCounter() 349 Gia_ManRandom( 1 ); in Cec_ManSeqSemiformal()
|
H A D | cecCore.c | 290 Gia_ManRandom( 1 ); in Cec_ManSimulation() 353 Gia_ManRandom( 1 ); in Cec_ManSatSweeping()
|
H A D | cecClass.c | 692 pRes[w] = Gia_ManRandom( 0 ); in Cec_ManSimSimulateRound() 819 pRes0[w] = Gia_ManRandom( 0 ); in Cec_ManSimCreateInfo() 835 pRes0[w] = Gia_ManRandom( 0 ); in Cec_ManSimCreateInfo()
|
H A D | cecCorr.c | 308 pInfo[w] = Gia_ManRandom( 0 ); in Cec_ManStartSimInfo() 930 Gia_ManRandom( 1 ); in Cec_ManLSCorrespondenceClasses() 1073 Gia_ManRandom( 1 ); in Cec_ManComputeInitState() 1081 pObj->fMark1 = Gia_ManRandom(0) & 1; in Cec_ManComputeInitState()
|
H A D | cecIso.c | 131 pInfo0[w] = Gia_ManRandom( 0 ); in Gia_ManIsoRandom()
|
H A D | cecChoice.c | 216 Gia_ManRandom( 1 ); in Cec_ManChoiceComputation_int()
|
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/base/pla/ |
H A D | plaCom.c | 372 Gia_ManRandom( 1 ); in Abc_CommandGen() 374 Gia_ManRandom( 0 ); in Abc_CommandGen()
|
H A D | plaFxch.c | 173 Gia_ManRandom( 1 ); in Fxch_ManStart() 176 Vec_IntPush( &p->vRands, Gia_ManRandom(0) & 0x3FFFFFF ); // assert( LogSize <= 26 ); in Fxch_ManStart() 626 Vec_IntPush( &p->vRands, Gia_ManRandom(0) & 0x3FFFFFF ); in Fxch_ManUpdate() 627 Vec_IntPush( &p->vRands, Gia_ManRandom(0) & 0x3FFFFFF ); in Fxch_ManUpdate()
|
H A D | plaMan.c | 158 Mint = Gia_ManRandom(0) & ((1 << nVars) - 1); in Pla_GenRandom()
|
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/map/if/ |
H A D | ifTest.c | 158 Gia_ManRandom( 1 ); 243 Gia_ManRandom( 1 );
|
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/opt/fxch/ |
H A D | FxchMan.c | 259 Gia_ManRandom( 1 ); in Fxch_ManGenerateLitHashKeys() 262 Vec_IntPush( pFxchMan->vLitHashKeys, Gia_ManRandom(0) & 0x3FFFFFF ); in Fxch_ManGenerateLitHashKeys() 531 Vec_IntPush( pFxchMan->vLitHashKeys, Gia_ManRandom(0) & 0x3FFFFFF ); in Fxch_ManCreateCube() 532 Vec_IntPush( pFxchMan->vLitHashKeys, Gia_ManRandom(0) & 0x3FFFFFF ); in Fxch_ManCreateCube()
|
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/opt/sbd/ |
H A D | sbdSim.c | 287 Gia_ManRandom( 1 ); in Sbd_GiaSimTest()
|
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/base/wlc/ |
H A D | wlcGraft.c | 319 Gia_ManRandom(1); in Sbc_SimMult()
|