Home
last modified time | relevance | path

Searched refs:Gia_ManRandom (Results 1 – 25 of 29) sorted by relevance

12

/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/aig/gia/
H A DgiaSwitch.c153 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 DgiaGlitch.c434 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 DgiaCone.c380 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 DgiaEmbed.c844 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 DgiaSim.c261 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 DgiaSim2.c123 pInfo[w] = Gia_ManRandom( 0 ); in Gia_Sim2InfoRandom()
619 pData[w] = Gia_ManRandom( 0 ); in Gia_Sim2GenerateCounter()
H A DgiaForce.c753 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 DgiaUtil.c49 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 DgiaGiarf.c401 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 DabcXsim.c57 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 DsscSim.c30 … 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 DsscCore.c277 Gia_ManRandom( 1 ); in Ssc_PerformSweepingInt()
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/proof/cec/
H A DcecSeq.c80 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 DcecCore.c290 Gia_ManRandom( 1 ); in Cec_ManSimulation()
353 Gia_ManRandom( 1 ); in Cec_ManSatSweeping()
H A DcecClass.c692 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 DcecCorr.c308 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 DcecIso.c131 pInfo0[w] = Gia_ManRandom( 0 ); in Gia_ManIsoRandom()
H A DcecChoice.c216 Gia_ManRandom( 1 ); in Cec_ManChoiceComputation_int()
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/base/pla/
H A DplaCom.c372 Gia_ManRandom( 1 ); in Abc_CommandGen()
374 Gia_ManRandom( 0 ); in Abc_CommandGen()
H A DplaFxch.c173 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 DplaMan.c158 Mint = Gia_ManRandom(0) & ((1 << nVars) - 1); in Pla_GenRandom()
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/map/if/
H A DifTest.c158 Gia_ManRandom( 1 );
243 Gia_ManRandom( 1 );
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/opt/fxch/
H A DFxchMan.c259 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 DsbdSim.c287 Gia_ManRandom( 1 ); in Sbd_GiaSimTest()
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/base/wlc/
H A DwlcGraft.c319 Gia_ManRandom(1); in Sbc_SimMult()

12