Home
last modified time | relevance | path

Searched refs:Gia_ObjRefNum (Results 1 – 25 of 32) sorted by relevance

12

/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/proof/cec/
H A DcecSplit.c157 if ( Gia_ObjRefNum(p, Gia_ObjFanin0(pObj)) > 1 &&
158 Gia_ObjRefNum(p, Gia_ObjFanin1(pObj)) > 1 )
161 …printf( "%2d %2d ", Gia_ObjRefNum(p, Gia_Regular(pFan0)), Gia_ObjRefNum(p, Gia_Regular(pFan1))…
162 …printf( "%2d %2d \n", Gia_ObjRefNum(p, Gia_ObjFanin0(pObj)), Gia_ObjRefNum(p, Gia_ObjFanin1(pObj)…
185 Vec_IntPush( vPerm, Gia_ObjRefNum(p, pObj) );
219 if ( CostBest < Gia_ObjRefNum(p, pObj) )
220 iBest = i, CostBest = Gia_ObjRefNum(p, pObj);
222 *pnFanouts = Gia_ObjRefNum(p, Gia_ManPi(p, iBest));
262 *pnFanouts = Gia_ObjRefNum(p, Gia_ManPi(p, iBest));
391 printf( "%d ", Gia_ObjRefNum(p, pObj) );
[all …]
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/proof/abs/
H A DabsRpm.c97 if ( pObj->fMark1 || (p->pRefs && Gia_ObjIsAnd(pObj) && Gia_ObjRefNum(p, pObj) == 0) ) in Gia_ManComputeDoms()
257 if ( p->pRefs && Gia_ObjRefNum(p, pObj) == 0 ) in Gia_ManCollectDoms()
322 if ( Gia_ObjRefNum(p, pObj) == 0 ) in Gia_ManCountFanoutlessFlops()
389 assert( Gia_ObjRefNum(p, pFanin) > 0 ); in Abs_GiaObjDeref_rec()
393 assert( Gia_ObjRefNum(p, pFanin) > 0 ); in Abs_GiaObjDeref_rec()
431 … if ( i < nSize && Gia_ObjRefNum(p, pObj) == 0 && !Gia_ObjIsRo(p, pObj) ) // add removable leaves in Abs_GiaSortNodes()
438 …if ( i < nSize && !(Gia_ObjRefNum(p, pObj) == 0 && !Gia_ObjIsRo(p, pObj)) ) // add non-removable l… in Abs_GiaSortNodes()
497 if ( pObj->fMark1 || Gia_ObjIsRo(p, pObj) || Gia_ObjRefNum(p, pObj) > 0 ) in Abs_ManSupport2_rec()
548 assert( Gia_ObjRefNum(p, pTemp) > 0 ); in Abs_ManSupport3()
714 assert( Gia_ObjRefNum( p, pObj ) > 0 ); in Abs_RpmPerformMark()
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/aig/gia/
H A DgiaForce.c171 pObjLog->nFanouts = Gia_ObjRefNum( pGia, Gia_ManConst0(pGia) ); in Frc_ManStartSimple()
185 pObjLog->nFanouts = Gia_ObjRefNum( pGia, pObj ); in Frc_ManStartSimple()
194 assert( Gia_ObjRefNum( pGia, pObj ) > 0 ); in Frc_ManStartSimple()
200 pObjLog->nFanouts = Gia_ObjRefNum( pGia, pObj ); in Frc_ManStartSimple()
344 assert( Gia_ObjRefNum(p, pObj) > 0 ); in Frc_ManCreateRefsSpecial()
374 pObj->fMark0 = (Gia_ObjRefNum(p, pObj) > 1); in Frc_ManTransformRefs()
454 pObjLog->nFanouts = Gia_ObjRefNum( pGia, Gia_ManConst0(pGia) ); in Frc_ManStart()
468 pObjLog->nFanouts = Gia_ObjRefNum( pGia, pObj ); in Frc_ManStart()
481 assert( Gia_ObjRefNum( pGia, pObj ) == 0 ); in Frc_ManStart()
484 assert( Gia_ObjRefNum( pGia, pObj ) > 0 ); in Frc_ManStart()
[all …]
H A DgiaMffc.c125 assert( Gia_ObjRefNum(p, pFanin) > 0 ); in Gia_NodeDeref_rec()
129 assert( Gia_ObjRefNum(p, pFanin) > 0 ); in Gia_NodeDeref_rec()
154 if ( Gia_ObjRefNum(p, pNode) || Gia_ObjIsCi(pNode) ) in Gia_NodeCollect_rec()
157 Vec_IntPush( vSuppRefs, Gia_ObjRefNum(p, pNode) ); in Gia_NodeCollect_rec()
H A DgiaBalAig.c132 (fStrict && Gia_ObjRefNum(p, pObj) > 1) || in Gia_ManSuperCollectXor_rec()
133 Gia_ObjRefNum(p, pObj) > 2 || in Gia_ManSuperCollectXor_rec()
134 …(Gia_ObjRefNum(p, pObj) == 2 && (Gia_ObjRefNum(p, Gia_ObjFanin0(pObj)) == 1 || Gia_ObjRefNum(p, Gi… in Gia_ManSuperCollectXor_rec()
148 (fStrict && Gia_ObjRefNum(p, pObj) > 1) || in Gia_ManSuperCollectAnd_rec()
149 Gia_ObjRefNum(p, pObj) > 2 || in Gia_ManSuperCollectAnd_rec()
150 …(Gia_ObjRefNum(p, pObj) == 2 && (Gia_ObjRefNum(p, Gia_ObjFanin0(pObj)) == 1 || Gia_ObjRefNum(p, Gi… in Gia_ManSuperCollectAnd_rec()
H A DgiaTis.c67 …if ( !Gia_ObjIsMuxType(pObj) || (Gia_ObjRefNum(p, Gia_ObjFanin0(pObj)) > 1 && Gia_ObjRefNum(p, Gia… in Gia_ManTisDupMuxes()
H A DgiaEmbed.c193 pObjLog->nFanouts = Gia_ObjRefNum( pGia, Gia_ManConst0(pGia) ); in Emb_ManStartSimple()
207 pObjLog->nFanouts = Gia_ObjRefNum( pGia, pObj ); in Emb_ManStartSimple()
216 assert( Gia_ObjRefNum( pGia, pObj ) > 0 ); in Emb_ManStartSimple()
222 pObjLog->nFanouts = Gia_ObjRefNum( pGia, pObj ); in Emb_ManStartSimple()
367 assert( Gia_ObjRefNum(p, pObj) > 0 ); in Emb_ManCreateRefsSpecial()
397 pObj->fMark0 = (Gia_ObjRefNum(p, pObj) > 1); in Emb_ManTransformRefs()
519 pObjLog->nFanouts = Gia_ObjRefNum( pGia, Gia_ManConst0(pGia) ); in Emb_ManStart()
533 pObjLog->nFanouts = Gia_ObjRefNum( pGia, pObj ); in Emb_ManStart()
546 assert( Gia_ObjRefNum( pGia, pObj ) == 0 ); in Emb_ManStart()
549 assert( Gia_ObjRefNum( pGia, pObj ) > 0 ); in Emb_ManStart()
[all …]
H A DgiaCSatOld.c333 Count0 = Gia_ObjRefNum( p->pAig, Gia_ObjFanin0(pObj) ); in Cbs0_VarFaninFanoutMax()
334 Count1 = Gia_ObjRefNum( p->pAig, Gia_ObjFanin1(pObj) ); in Cbs0_VarFaninFanoutMax()
615 if ( Gia_ObjRefNum(p->pAig, Gia_ObjFanin0(pVar)) > Gia_ObjRefNum(p->pAig, Gia_ObjFanin1(pVar)) ) in Cbs0_ManSolve_rec()
H A DgiaJf.c276 if ( Gia_ObjRefNum(p, Gia_ObjFanin0(pObj)) == 1 ) in Jf_ManInitRefs()
282 if ( Gia_ObjRefNum(p, Gia_ObjFanin1(pObj)) == 1 ) in Jf_ManInitRefs()
1298 else if ( Gia_ObjIsAnd(pObj) && Gia_ObjRefNum(p->pGia, pObj) > 0 ) in Jf_ManComputeDelay()
1303 assert( Gia_ObjRefNum(p->pGia, pObj) > 0 ); in Jf_ManComputeDelay()
1321 else if ( Gia_ObjIsAnd(pObj) && Gia_ObjRefNum(p->pGia, pObj) > 0 ) in Jf_ManComputeRefs()
1400 else if ( Gia_ObjIsAnd(pObj) && Gia_ObjRefNum(p->pGia, pObj) > 0 ) in Jf_ManPropagateEla()
1462 if ( Gia_ObjIsBuf(pObj) || Gia_ObjRefNum(p->pGia, pObj) == 0 ) in Jf_ManDeriveMappingGia()
1554 if ( Gia_ObjIsBuf(pObj) || Gia_ObjRefNum(p->pGia, pObj) == 0 ) in Jf_ManDeriveMapping()
1605 if ( Gia_ObjIsBuf(pObj) || Gia_ObjRefNum(p->pGia, pObj) == 0 ) in Jf_ManDeriveGia()
H A DgiaCSat.c393 Count0 = Gia_ObjRefNum( p->pAig, Gia_ObjFanin0(pObj) ); in Cbs_VarFaninFanoutMax()
394 Count1 = Gia_ObjRefNum( p->pAig, Gia_ObjFanin1(pObj) ); in Cbs_VarFaninFanoutMax()
906 if ( Gia_ObjRefNum(p->pAig, Gia_ObjFanin0(pVar)) > Gia_ObjRefNum(p->pAig, Gia_ObjFanin1(pVar)) ) in Cbs_ManSolve_rec()
H A DgiaCSat2.c462 Count0 = Gia_ObjRefNum( p->pAig, Gia_ObjFanin0(pObj) ); in Cbs2_VarFaninFanoutMax()
463 Count1 = Gia_ObjRefNum( p->pAig, Gia_ObjFanin1(pObj) ); in Cbs2_VarFaninFanoutMax()
1280 if ( Gia_ObjRefNum(p->pAig, Gia_ObjFanin0(pVar)) > Gia_ObjRefNum(p->pAig, Gia_ObjFanin1(pVar)) ) in Cbs2_ManSolve1_rec()
1340 if ( Gia_ObjRefNum(p->pAig, Gia_ObjFanin0(pVar)) > Gia_ObjRefNum(p->pAig, Gia_ObjFanin1(pVar)) ) in Cbs2_ManSolve2_rec()
H A DgiaUtil.c1083 assert( Gia_ObjRefNum(p, pFanin) > 0 ); in Gia_NodeDeref_rec()
1087 assert( Gia_ObjRefNum(p, pFanin) > 0 ); in Gia_NodeDeref_rec()
1177 if ( Gia_ObjRefNum(p, pNode) || Gia_ObjIsCi(pNode) ) in Gia_NodeCollect_rec()
1356 printf( " (refs = %3d)", Gia_ObjRefNum(p, pObj) ); in Gia_ObjPrint()
1804 if ( Gia_ObjRefNum(p, pObj) == 0 ) in Gia_ManHasChoices_very_old()
H A DgiaResub.c111 if ( !Gia_ObjRefNum(p, pObj) ) in Gia_ManComputeMffcs()
H A DgiaCTas.c444 Count0 = Gia_ObjRefNum( p->pAig, Gia_ObjFanin0(pObj) ); in Tas_VarFaninFanoutMax()
445 Count1 = Gia_ObjRefNum( p->pAig, Gia_ObjFanin1(pObj) ); in Tas_VarFaninFanoutMax()
1324 … if ( Gia_ObjRefNum(p->pAig, Gia_ObjFanin0(pVar)) > Gia_ObjRefNum(p->pAig, Gia_ObjFanin1(pVar)) ) in Tas_ManSolve_rec()
H A DgiaKf.c896 if ( Gia_ObjRefNum(p->pGia, pObj) > 0 )
901 assert( Gia_ObjRefNum(p->pGia, pObj) > 0 );
919 else if ( Gia_ObjIsAnd(pObj) && Gia_ObjRefNum(p->pGia, pObj) > 0 )
1273 if ( Gia_ObjIsBuf(pObj) || Gia_ObjRefNum(p->pGia, pObj) == 0 )
H A DgiaSweep.c431 if ( Gia_ObjRefNum(p, pObj) > 1 ) in Gia_ManCheckIntegrityWithBoxes()
436 if ( Gia_ObjRefNum(p, pObj) > 1 ) in Gia_ManCheckIntegrityWithBoxes()
H A DgiaCof.c146 pObjLog->nFanouts = Gia_ObjRefNum( pGia, pObj ); in Cof_ManCreateLogicSimple()
892 if ( Gia_ObjIsCand(pObj) && Gia_ObjRefNum(p, pObj) >= nFanLim ) in Gia_ManCofVars()
H A DgiaStr.c378 if ( Gia_ObjIsMux(p, pFanin) && Gia_ObjRefNum(p, pFanin) == 1 ) in Str_ManDeriveTrees()
381 if ( Gia_ObjIsMux(p, pFanin) && Gia_ObjRefNum(p, pFanin) == 1 ) in Str_ManDeriveTrees()
576 Gia_ObjRefNum(p, pObj) > 1 || in Gia_ManSuperCollectXor_rec()
592 Gia_ObjRefNum(p, pObj) > 1 || in Gia_ManSuperCollectAnd_rec()
H A DgiaMuxes.c127 … else if ( Gia_ObjRefNum(p, Gia_ObjFanin0(pObj)) + Gia_ObjRefNum(p, Gia_ObjFanin1(pObj)) > Limit ) in Gia_ManDupMuxes()
H A DgiaBalLut.c729 Gia_ObjRefNum(p, pObj) > 3 || in Gia_ManSuperCollectXor_rec()
745 Gia_ObjRefNum(p, pObj) > 3 || in Gia_ManSuperCollectAnd_rec()
H A DgiaSwitch.c728 SwitchTotal += (float)Gia_ObjRefNum(p, pObj) * p->pSwitching[i] / 255; in Gia_ManEvaluateSwitching()
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/opt/nwk/
H A DnwkAig.c172 …ppCopies[Gia_ObjId(p,pObj)] = Nwk_ManCreateNode( pNtk, 0, Gia_ObjRefNum(p,pObj) + (Vec_IntSize(vLe… in Nwk_ManCreateFromGia()
176 ppCopies[Gia_ObjId(p,pObj)] = Nwk_ManCreateCi( pNtk, Gia_ObjRefNum(p,pObj) ); in Nwk_ManCreateFromGia()
187 ppCopies[Gia_ObjId(p,pObj)] = Nwk_ManCreateNode( pNtk, 2, Gia_ObjRefNum(p,pObj) ); in Nwk_ManCreateFromGia()
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/proof/pdr/
H A DpdrMan.c73 Vec_IntPush( vCosts, Gia_ObjRefNum(p, pObj) ); in Pdr_ManDeriveFlopPriorities3()
74 MaxEntry = Abc_MaxInt( MaxEntry, Gia_ObjRefNum(p, pObj) ); in Pdr_ManDeriveFlopPriorities3()
180 Vec_IntWriteEntry( vCosts, i, Gia_ObjRefNum(p, pObj) ); in Pdr_ManDeriveFlopPriorities2()
181 MaxEntry = Abc_MaxInt( MaxEntry, Gia_ObjRefNum(p, pObj) ); in Pdr_ManDeriveFlopPriorities2()
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/proof/acec/
H A DacecUtil.c51 if ( !Gia_ObjIsAnd(pObj) || !Gia_ObjIsXor(pObj) || Gia_ObjRefNum(pGia, pObj) > 1 ) in Gia_PolynCollectXors_rec()
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/base/cmd/
H A DcmdPlugin.c304 if ( Gia_ObjRefNum(pGia, pObj) == 0 ) in Abc_ManExpandCex()

12