/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/base/acb/ |
H A D | acbPush.c | 56 assert( !Acb_ObjIsCio(p, iFanout) ); in Acb_ObjPushToFanout() 145 int i, iFanout; in Acb_ObjFindNodeFanout() local 146 Acb_ObjForEachFanout( p, iObj, iFanout, i ) in Acb_ObjFindNodeFanout() 147 if ( !Acb_ObjIsCio(p, iFanout) ) in Acb_ObjFindNodeFanout() 148 return iFanout; in Acb_ObjFindNodeFanout() 203 int iFanout; in Acb_ObjRemoveConst() local 215 Acb_ObjSuppMin( p, iFanout ); in Acb_ObjRemoveConst() 222 int iFanout; in Acb_ObjRemoveBufInv() local 237 Acb_ObjRemoveDupFanins( p, iFanout ); in Acb_ObjRemoveBufInv() 243 assert( Acb_ObjIsCo(p, iFanout) ); in Acb_ObjRemoveBufInv() [all …]
|
H A D | acbUtil.c | 76 int iFanout, i; in Acb_ObjCollectTfo_rec() local 81 Acb_ObjForEachFanout( p, iObj, iFanout, i ) in Acb_ObjCollectTfo_rec() 82 Acb_ObjCollectTfo_rec( p, iFanout, fTerm ); in Acb_ObjCollectTfo_rec() 132 int iFanout, k, Level = 0; in Acb_ObjComputeLevelR() local 133 Acb_ObjForEachFanout( p, iObj, iFanout, k ) in Acb_ObjComputeLevelR() 134 Level = Abc_MaxInt( Level, Acb_ObjLevelR(p, iFanout) ); in Acb_ObjComputeLevelR() 225 int iFanout, k, Path = 0; in Acb_ObjComputePathR() local 227 Acb_ObjForEachFanout( p, iObj, iFanout, k ) in Acb_ObjComputePathR() 228 if ( !Acb_ObjSlack(p, iFanout) ) in Acb_ObjComputePathR() 229 Path += Acb_ObjPathR(p, iFanout); in Acb_ObjComputePathR()
|
H A D | acbMfs.c | 533 int iFanout, i; in Acb_ObjMarkTfo_rec() local 539 Acb_ObjForEachFanout( p, iObj, iFanout, i ) in Acb_ObjMarkTfo_rec() 540 Acb_ObjMarkTfo_rec( p, iFanout, nTfoLevMax, nFanMax, vMarked ); in Acb_ObjMarkTfo_rec() 574 int iFanout, i, Diff, fHasNone = 0; in Acb_ObjLabelTfo_rec() local 586 Acb_ObjForEachFanout( p, iObj, iFanout, i ) in Acb_ObjLabelTfo_rec() 587 if ( !fFirst || Acb_ObjIsDelayCriticalFanin(p, iFanout, iObj) ) in Acb_ObjLabelTfo_rec() 588 fHasNone |= 2 == Acb_ObjLabelTfo_rec( p, iFanout, nTfoLevMax, nFanMax, 0 ); in Acb_ObjLabelTfo_rec() 617 int iFanout, i, Diff = Acb_ObjTravIdDiff(p, iObj); in Acb_ObjDeriveTfo_rec() local 627 Acb_ObjForEachFanout( p, iObj, iFanout, i ) in Acb_ObjDeriveTfo_rec() 628 if ( !fFirst || Acb_ObjIsDelayCriticalFanin(p, iFanout, iObj) ) in Acb_ObjDeriveTfo_rec() [all …]
|
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/opt/sfm/ |
H A D | sfmWin.c | 228 int i, iFanout; in Sfm_NtkCheckRoot() local 235 Sfm_ObjForEachFanout( p, iNode, iFanout, i ) in Sfm_NtkCheckRoot() 236 …if ( Sfm_ObjIsPo(p, iFanout) || Sfm_ObjLevel(p, iFanout) > nLevelMax )//|| !Sfm_NtkCheckOverlap(p,… in Sfm_NtkCheckRoot() 242 int i, iFanout; in Sfm_NtkComputeRoots_rec() local 270 int i, iFanout; in Sfm_NtkAddDivisors() local 277 …if ( Sfm_ObjIsTravIdCurrent(p, iFanout) || Sfm_ObjIsPo(p, iFanout) || Sfm_ObjLevel(p, iFanout) > n… in Sfm_NtkAddDivisors() 280 if ( Sfm_ObjFaninNum(p, iFanout) == 1 ) in Sfm_NtkAddDivisors() 281 Vec_IntPush( p->vDivs, iFanout ); in Sfm_NtkAddDivisors() 291 Vec_IntPush( p->vDivs, iFanout ); in Sfm_NtkAddDivisors() 308 int i, iFanout; in Sfm_ObjIsUseful() local [all …]
|
H A D | sfmNtk.c | 300 int i, iFanout; in Sfm_NtkUpdateLevel_rec() local 305 Sfm_ObjForEachFanout( p, iNode, iFanout, i ) in Sfm_NtkUpdateLevel_rec() 306 Sfm_NtkUpdateLevel_rec( p, iFanout ); in Sfm_NtkUpdateLevel_rec()
|
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/aig/gia/ |
H A D | giaFanout.c | 243 int i, iFanout; in Gia_ManStaticFanoutStart() local 260 iFanout = Vec_IntEntry( vCounts, Gia_ObjId(p, pFanin) ); in Gia_ManStaticFanoutStart() 261 Gia_ObjSetFanout( p, pFanin, iFanout, pObj ); in Gia_ManStaticFanoutStart() 267 iFanout = Vec_IntEntry( vCounts, Gia_ObjId(p, pFanin) ); in Gia_ManStaticFanoutStart() 268 Gia_ObjSetFanout( p, pFanin, iFanout, pObj ); in Gia_ManStaticFanoutStart() 275 iFanout = Vec_IntEntry( vCounts, Gia_ObjId(p, pFanin) ); in Gia_ManStaticFanoutStart() 276 Gia_ObjSetFanout( p, pFanin, iFanout, pObj ); in Gia_ManStaticFanoutStart()
|
H A D | giaForce.c | 244 pObjLog->iFanin = pObjLog->iFanout = 0; in Frc_ManStartSimple() 606 assert( pObj->iFanout > 0 ); in Frc_ManCrossCut_rec() 607 if ( pObj->iFanout-- == pObj->nFanouts ) in Frc_ManCrossCut_rec() 617 return pObj->iFanout == 0; in Frc_ManCrossCut_rec() 633 assert( pObj->iFanout > 0 ); in Frc_ManCrossCut2_rec() 634 if ( pObj->iFanout-- == pObj->nFanouts ) in Frc_ManCrossCut2_rec() 644 return pObj->iFanout == 0; in Frc_ManCrossCut2_rec() 666 pObj->iFanout = pObj->nFanouts; in Frc_ManCrossCut() 800 assert( pObj->iFanout > 0 ); in Frc_ManPlaceDfs_rec() 801 if ( pObj->iFanout-- == pObj->nFanouts ) in Frc_ManPlaceDfs_rec() [all …]
|
H A D | giaSplit.c | 256 int iFanout, i; in Spl_ManLutFanouts_rec() local 265 Gia_ObjForEachFanoutStaticId( p, iObj, iFanout, i ) in Spl_ManLutFanouts_rec() 266 Spl_ManLutFanouts_rec( p, iFanout, vFanouts, vMarksNo, vMarksCIO ); in Spl_ManLutFanouts_rec() 270 int i, iFanout; in Spl_ManLutFanouts() local 273 Gia_ObjForEachFanoutStaticId( p, iObj, iFanout, i ) in Spl_ManLutFanouts() 274 Spl_ManLutFanouts_rec( p, iFanout, vFanouts, vMarksNo, vMarksCIO ); in Spl_ManLutFanouts() 276 Vec_IntForEachEntry( vFanouts, iFanout, i ) in Spl_ManLutFanouts() 277 Vec_BitWriteEntry( vMarksCIO, iFanout, 0 ); in Spl_ManLutFanouts()
|
H A D | giaGlitch.c | 49 int iFanout; // the number of fanouts added member 229 assert( pObj->iFanout == (int)pObj->nFanouts ); in Gli_ManFinalize() 231 pObj->iFanout = 0; in Gli_ManFinalize() 249 assert( pFanin->iFanout < (int)pFanin->nFanouts ); in Gli_ObjAddFanin() 250 pFanin->Fanios[pFanin->nFanins + pFanin->iFanout++] = in Gli_ObjAddFanin()
|
H A D | giaSimBase.c | 500 void Gia_SimRsbTfo_rec( Gia_Man_t * p, int iObj, int iFanout, Vec_Int_t * vTfo ) in Gia_SimRsbTfo_rec() argument 507 if ( iFanout == -1 || iFan == iFanout ) in Gia_SimRsbTfo_rec() 511 Vec_Int_t * Gia_SimRsbTfo( Gia_SimRsbMan_t * p, int iObj, int iFanout ) in Gia_SimRsbTfo() argument 516 Gia_SimRsbTfo_rec( p->pGia, iObj, iFanout, p->vTfo ); in Gia_SimRsbTfo() 630 int i, k, iTemp, iFanout; in Gia_ObjSimCollect() local 640 Gia_ObjForEachFanoutStaticId( p->pGia, iTemp, iFanout, k ) in Gia_ObjSimCollect() 641 … if ( Gia_ObjIsAnd(Gia_ManObj(p->pGia, iFanout)) && !Gia_ObjIsTravIdCurrentId( p->pGia, iFanout ) ) in Gia_ObjSimCollect() 642 Vec_IntPush( p->vFanins2, iFanout ); in Gia_ObjSimCollect()
|
H A D | giaEmbed.c | 64 unsigned iFanout; member 156 assert( pFanin->iFanout < pFanin->nFanouts ); in Emb_ObjAddFanin() 157 pFanin->Fanios[pFanin->nFanins + pFanin->iFanout++] = in Emb_ObjAddFanin() 266 assert( pObjLog->nFanouts == pObjLog->iFanout || Gia_ObjIsCo(pObj) ); in Emb_ManStartSimple() 267 pObjLog->iFanin = pObjLog->iFanout = 0; in Emb_ManStartSimple() 604 assert( pObjLog->nFanouts == pObjLog->iFanout || Gia_ObjIsCo(pObj) ); in Emb_ManStart() 605 pObjLog->iFanin = pObjLog->iFanout = 0; in Emb_ManStart()
|
/dports/math/stp/stp-2.3.3/lib/extlib-abc/aig/aig/ |
H A D | aigTiming.c | 135 int i, iFanout = -1, LevelCur, Level = 0; in Aig_ObjReverseLevelNew() local 136 Aig_ObjForEachFanout( p, pObj, pFanout, iFanout, i ) in Aig_ObjReverseLevelNew() 213 int iFanout = -1, LevelOld, Lev, k, m; in Aig_ManUpdateLevel() local 239 Aig_ObjForEachFanout( p, pTemp, pFanout, iFanout, m ) in Aig_ManUpdateLevel()
|
H A D | aigDfs.c | 208 int iFanout = -1, i; in Aig_ManDfsReverse_rec() local 213 Aig_ObjForEachFanout( p, pObj, pFanout, iFanout, i ) in Aig_ManDfsReverse_rec()
|
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/aig/aig/ |
H A D | aigTiming.c | 120 int i, iFanout = -1, LevelCur, Level = 0; in Aig_ObjReverseLevelNew() local 121 Aig_ObjForEachFanout( p, pObj, pFanout, iFanout, i ) in Aig_ObjReverseLevelNew() 198 int iFanout = -1, LevelOld, Lev, k, m; in Aig_ManUpdateLevel() local 224 Aig_ObjForEachFanout( p, pTemp, pFanout, iFanout, m ) in Aig_ManUpdateLevel()
|
H A D | aigDoms.c | 544 int i, iFanout; in Aig_ObjDomCompute() local 547 Aig_ObjForEachFanout( pSto->pAig, pObj, pFanout, iFanout, i ) in Aig_ObjDomCompute() 549 Vec_IntPush( pSto->vFans, iFanout>>1 ); in Aig_ObjDomCompute() 554 Vec_IntForEachEntryStart( pSto->vFans, iFanout, i, 1 ) in Aig_ObjDomCompute() 556 vDoms1 = (Vec_Ptr_t *)Vec_PtrEntry( pSto->vDoms, iFanout ); in Aig_ObjDomCompute() 1075 int i, k, Entry, iFanout, fPrint = 0; in Aig_ObjDomCount() local 1078 Aig_ObjForEachFanout( pSto->pAig, pObj, pFanout, iFanout, i ) in Aig_ObjDomCount()
|
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/base/wln/ |
H A D | wlnRetime.c | 56 #define Wln_RetForEachFanout( p, iObj, iFanout, pLink, i ) \ argument 58 (((iFanout) = Wln_RetFanouts(p, iObj)[2*i]), 1) && \ 59 …pLink) = Vec_IntEntryP(&p->vFanins, Wln_RetFanouts(p, iObj)[2*i+1])); i++ ) if ( !iFanout ) {} else 244 int k, iFanout, * pLink, * pDelay = Vec_IntEntryP( &p->vPathDelays, iObj ); in Wln_RetMarkChanges_rec() local 248 Wln_RetForEachFanout( p, iObj, iFanout, pLink, k ) in Wln_RetMarkChanges_rec() 250 Wln_RetMarkChanges_rec( p, iFanout ); in Wln_RetMarkChanges_rec()
|
H A D | wlnNtk.c | 300 int k, iObj, iFanout; in Wln_NtkStaticFanoutTest() local 307 Wln_ObjForEachFanoutStatic( p, iObj, iFanout, k ) in Wln_NtkStaticFanoutTest() 308 printf( "%5d ", iFanout ); in Wln_NtkStaticFanoutTest()
|
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/aig/saig/ |
H A D | saigWnd.c | 49 int fCollected, iFanout = -1, i; in Saig_ManWindowOutline_rec() local 78 Aig_ObjForEachFanout( p, pObj, pFanout, iFanout, i ) in Saig_ManWindowOutline_rec() 85 Aig_ObjForEachFanout( p, pObj, pFanout, iFanout, i ) in Saig_ManWindowOutline_rec() 132 int iFanout = -1, i; in Saig_ObjHasUnlabeledFanout() local 133 Aig_ObjForEachFanout( p, pObj, pFanout, iFanout, i ) in Saig_ObjHasUnlabeledFanout()
|
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/opt/cgt/ |
H A D | cgtDecide.c | 55 int f, iFanout = -1; in Cgt_ManCollectFanoutPos_rec() local 64 Aig_ObjForEachFanout( pAig, pObj, pFanout, iFanout, f ) in Cgt_ManCollectFanoutPos_rec()
|
H A D | cgtAig.c | 93 int f, iFanout = -1; in Cgt_ManDetectFanout_rec() local 100 Aig_ObjForEachFanout( pAig, pObj, pFanout, iFanout, f ) in Cgt_ManDetectFanout_rec() 118 int i, k, f, iFanout = -1; in Cgt_ManDetectFanout() local 128 Aig_ObjForEachFanout( pAig, pObj, pFanout, iFanout, f ) in Cgt_ManDetectFanout()
|
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/proof/dch/ |
H A D | dchSimSat.c | 48 int iFanout = -1, i; in Dch_ManCollectTfoCands_rec() local 54 Aig_ObjForEachFanout( p->pAigTotal, pObj, pFanout, iFanout, i ) in Dch_ManCollectTfoCands_rec()
|
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/bdd/llb/ |
H A D | llb2Flow.c | 35 int i, iFanout = -1; in Llb_ObjGetFanoutPath() local 37 Aig_ObjForEachFanout( p, pObj, pFanout, iFanout, i ) in Llb_ObjGetFanoutPath() 277 int i, k, iFanout = -1, Counter = 0; in Llb_ManCutLiNum() local 282 Aig_ObjForEachFanout( p, pObj, pFanout, iFanout, k ) in Llb_ManCutLiNum() 1022 int i, iFanout = -1; in Llb_ManFlowCollectAndMarkCone_rec() local 1034 Aig_ObjForEachFanout( p, pObj, pFanout, iFanout, i ) in Llb_ManFlowCollectAndMarkCone_rec()
|
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/proof/ssw/ |
H A D | sswDyn.c | 106 int iFanout = -1, i; in Ssw_ManCollectPos_rec() local 124 Aig_ObjForEachFanout( p->pFrames, pObj, pFanout, iFanout, i ) in Ssw_ManCollectPos_rec()
|
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/proof/pdr/ |
H A D | pdrTsim.c | 202 int i, k, iFanout = -1, Value, Value2; in Pdr_ManExtendOne() local 217 Aig_ObjForEachFanout( pAig, pObj, pFanout, iFanout, k ) in Pdr_ManExtendOne()
|
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/proof/abs/ |
H A D | absOldSim.c | 283 int k, iFanout = -1, Value0, Value1; in Saig_ManSetAndDriveImplications_rec() local 299 Aig_ObjForEachFanout( p, pObj, pFanout, iFanout, k ) in Saig_ManSetAndDriveImplications_rec()
|