| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/aig/saig/ |
| H A D | saigSimSeq.c | 306 unsigned * pRes0, * pRes1, * pRes; in Raig_ManSimulateRound() local
320 pRes[w] = pRes0[w]; in Raig_ManSimulateRound()
355 pRes0 = Raig_ManSimDeref( p, Raig_Lit2Var(p->pFans0[i]) ); in Raig_ManSimulateRound()
360 if ( pRes0[w] != Const ) in Raig_ManSimulateRound()
372 pRes[w] = ~pRes0[w]; in Raig_ManSimulateRound()
375 pRes[w] = pRes0[w]; in Raig_ManSimulateRound()
384 pRes0 = Raig_ManSimDeref( p, Raig_Lit2Var(p->pFans0[i]) ); in Raig_ManSimulateRound()
388 pRes[w] = ~(pRes0[w] | pRes1[w]); in Raig_ManSimulateRound()
391 pRes[w] = ~pRes0[w] & pRes1[w]; in Raig_ManSimulateRound()
394 pRes[w] = pRes0[w] & ~pRes1[w]; in Raig_ManSimulateRound()
[all …]
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/proof/cec/ |
| H A D | cecClass.c | 655 unsigned * pRes0, * pRes1, * pRes; in Cec_ManSimSimulateRound() local
687 pRes[w] = pRes0[w-1]; in Cec_ManSimSimulateRound()
706 pRes[w-1] = ~pRes0[w]; in Cec_ManSimSimulateRound()
709 pRes[w-1] = pRes0[w]; in Cec_ManSimSimulateRound()
727 pRes[w] = ~pRes0[w] & pRes1[w]; in Cec_ManSimSimulateRound()
733 pRes[w] = pRes0[w] & ~pRes1[w]; in Cec_ManSimSimulateRound()
736 pRes[w] = pRes0[w] & pRes1[w]; in Cec_ManSimSimulateRound()
810 unsigned * pRes0, * pRes1; in Cec_ManSimCreateInfo() local
819 pRes0[w] = Gia_ManRandom( 0 ); in Cec_ManSimCreateInfo()
826 pRes0[w] = pRes1[w]; in Cec_ManSimCreateInfo()
[all …]
|
| H A D | cecSweep.c | 165 unsigned * pRes0, * pRes1; in Cec_ManFraCreateInfo() local
169 pRes0 = (unsigned *)Vec_PtrEntry( vCiInfo, i ); in Cec_ManFraCreateInfo()
173 pRes0[w] = pRes1[w]; in Cec_ManFraCreateInfo()
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/opt/lpk/ |
| H A D | lpkAbcDsd.c | 454 static Lpk_Res_t Res0, * pRes0 = &Res0; in Lpk_DsdAnalize() local
478 if ( pRes0->nBSVars == (int)p->nLutK ) in Lpk_DsdAnalize()
479 { pRes = pRes0; goto finish; } in Lpk_DsdAnalize()
480 if ( pRes0->nBSVars == (int)p->nLutK - 1 ) in Lpk_DsdAnalize()
481 { pRes = pRes0; goto finish; } in Lpk_DsdAnalize()
494 if ( pRes0->nBSVars == (int)p->nLutK - 2 ) in Lpk_DsdAnalize()
495 { pRes = pRes0; goto finish; } in Lpk_DsdAnalize()
511 if ( pRes0->nBSVars == (int)p->nLutK - 3 ) in Lpk_DsdAnalize()
512 { pRes = pRes0; goto finish; } in Lpk_DsdAnalize()
533 if ( pRes0->nBSVars == (int)p->nLutK - 4 ) in Lpk_DsdAnalize()
[all …]
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/proof/ssw/ |
| H A D | sswBmc.c | 47 Aig_Obj_t * pRes, * pRes0, * pRes1; in Ssw_BmcUnroll_rec() local
71 pRes0 = Ssw_ObjChild0Fra_( pFrm, pObj, f ); in Ssw_BmcUnroll_rec()
73 pRes = Aig_And( pFrm->pFrames, pRes0, pRes1 ); in Ssw_BmcUnroll_rec()
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/bool/kit/ |
| H A D | kitDsd.c | 1973 Kit_DsdObj_t * pRes, * pRes0, * pRes1; in Kit_DsdDecompose_rec() local
2037 pRes0 = Kit_DsdObjAlloc( pNtk, KIT_DSD_PRIME, pObj->nFans ); in Kit_DsdDecompose_rec()
2041 pRes0->pFans[k] = (uSupp0 & (1 << k))? pObj->pFans[k] : 127; in Kit_DsdDecompose_rec()
2044 Kit_TruthCopy( Kit_DsdObjTruth(pRes0), pCofs2[0], pObj->nFans ); in Kit_DsdDecompose_rec()
2051 pObj->pFans[0] = 2*pRes0->Id; pRes0->nRefs++; in Kit_DsdDecompose_rec()
2054 Kit_DsdDecompose_rec( pNtk, pRes0, uSupp0, pObj->pFans + 0, nDecMux ); in Kit_DsdDecompose_rec()
2236 pRes0 = Kit_DsdObjAlloc( pNtk, KIT_DSD_PRIME, pObj->nFans ); in Kit_DsdDecompose_rec()
2239 pRes0->pFans[k] = pRes1->pFans[k] = pObj->pFans[k]; in Kit_DsdDecompose_rec()
2240 Kit_TruthCopy( Kit_DsdObjTruth(pRes0), pCofs2[0], pObj->nFans ); in Kit_DsdDecompose_rec()
2247 pObj->pFans[0] = 2*pRes0->Id; pRes0->nRefs++; in Kit_DsdDecompose_rec()
[all …]
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/base/abci/ |
| H A D | abcFraig.c | 318 Abc_Obj_t * pRes, * pRes0, * pRes1, * pResMin, * pResCur; in Abc_NodeFromFraig_rec() local
325 pRes0 = Abc_NodeFromFraig_rec( pNtkNew, Fraig_NodeReadOne(pNodeFraigR) ); in Abc_NodeFromFraig_rec()
328 pRes = Abc_AigAnd( (Abc_Aig_t *)pNtkNew->pManFunc, pRes0, pRes1 ); in Abc_NodeFromFraig_rec()
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/misc/extra/ |
| H A D | extraUtilMisc.c | 2211 int * pRes0, i, k, b = 0; in Extra_PermSchedule() local
2223 pRes0 = Extra_PermSchedule( n-1 ); in Extra_PermSchedule()
2228 pRes[b++] = pRes0[2*k]+1; in Extra_PermSchedule()
2231 pRes[b++] = pRes0[2*k+1]; in Extra_PermSchedule()
2233 ABC_FREE( pRes0 ); in Extra_PermSchedule()
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/aig/gia/ |
| H A D | giaCSat.c | 507 static inline void Cbs_ManAssign( Cbs_Man_t * p, Gia_Obj_t * pObj, int Level, Gia_Obj_t * pRes0, Gi… in Cbs_ManAssign() argument
518 Vec_IntPush( p->vLevReas, pRes0 ? pRes0-pObjR : 0 ); in Cbs_ManAssign()
|
| H A D | giaCTas.c | 654 static inline void Tas_ManAssign( Tas_Man_t * p, Gia_Obj_t * pObj, int Level, Gia_Obj_t * pRes0, Gi… in Tas_ManAssign() argument
665 if ( pRes0 == NULL && pRes1 != 0 ) // clause in Tas_ManAssign()
672 Vec_IntPush( p->vLevReas, pRes0 ? pRes0-pObjR : 0 ); in Tas_ManAssign()
|