/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/proof/cec/ |
H A D | cecSplit.c | 157 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 D | absRpm.c | 97 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 D | giaForce.c | 171 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 D | giaMffc.c | 125 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 D | giaBalAig.c | 132 (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 D | giaTis.c | 67 …if ( !Gia_ObjIsMuxType(pObj) || (Gia_ObjRefNum(p, Gia_ObjFanin0(pObj)) > 1 && Gia_ObjRefNum(p, Gia… in Gia_ManTisDupMuxes()
|
H A D | giaEmbed.c | 193 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 D | giaCSatOld.c | 333 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 D | giaJf.c | 276 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 D | giaCSat.c | 393 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 D | giaCSat2.c | 462 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 D | giaUtil.c | 1083 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 D | giaResub.c | 111 if ( !Gia_ObjRefNum(p, pObj) ) in Gia_ManComputeMffcs()
|
H A D | giaCTas.c | 444 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 D | giaKf.c | 896 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 D | giaSweep.c | 431 if ( Gia_ObjRefNum(p, pObj) > 1 ) in Gia_ManCheckIntegrityWithBoxes() 436 if ( Gia_ObjRefNum(p, pObj) > 1 ) in Gia_ManCheckIntegrityWithBoxes()
|
H A D | giaCof.c | 146 pObjLog->nFanouts = Gia_ObjRefNum( pGia, pObj ); in Cof_ManCreateLogicSimple() 892 if ( Gia_ObjIsCand(pObj) && Gia_ObjRefNum(p, pObj) >= nFanLim ) in Gia_ManCofVars()
|
H A D | giaStr.c | 378 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 D | giaMuxes.c | 127 … else if ( Gia_ObjRefNum(p, Gia_ObjFanin0(pObj)) + Gia_ObjRefNum(p, Gia_ObjFanin1(pObj)) > Limit ) in Gia_ManDupMuxes()
|
H A D | giaBalLut.c | 729 Gia_ObjRefNum(p, pObj) > 3 || in Gia_ManSuperCollectXor_rec() 745 Gia_ObjRefNum(p, pObj) > 3 || in Gia_ManSuperCollectAnd_rec()
|
H A D | giaSwitch.c | 728 SwitchTotal += (float)Gia_ObjRefNum(p, pObj) * p->pSwitching[i] / 255; in Gia_ManEvaluateSwitching()
|
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/opt/nwk/ |
H A D | nwkAig.c | 172 …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 D | pdrMan.c | 73 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 D | acecUtil.c | 51 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 D | cmdPlugin.c | 304 if ( Gia_ObjRefNum(pGia, pObj) == 0 ) in Abc_ManExpandCex()
|