Home
last modified time | relevance | path

Searched refs:iFanout (Results 1 – 25 of 34) sorted by relevance

12

/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/base/acb/
H A DacbPush.c56 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 DacbUtil.c76 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 DacbMfs.c533 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 DsfmWin.c228 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 DsfmNtk.c300 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 DgiaFanout.c243 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 DgiaForce.c244 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 DgiaSplit.c256 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 DgiaGlitch.c49 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 DgiaSimBase.c500 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 DgiaEmbed.c64 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 DaigTiming.c135 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 DaigDfs.c208 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 DaigTiming.c120 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 DaigDoms.c544 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 DwlnRetime.c56 #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 DwlnNtk.c300 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 DsaigWnd.c49 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 DcgtDecide.c55 int f, iFanout = -1; in Cgt_ManCollectFanoutPos_rec() local
64 Aig_ObjForEachFanout( pAig, pObj, pFanout, iFanout, f ) in Cgt_ManCollectFanoutPos_rec()
H A DcgtAig.c93 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 DdchSimSat.c48 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 Dllb2Flow.c35 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 DsswDyn.c106 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 DpdrTsim.c202 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 DabsOldSim.c283 int k, iFanout = -1, Value0, Value1; in Saig_ManSetAndDriveImplications_rec() local
299 Aig_ObjForEachFanout( p, pObj, pFanout, iFanout, k ) in Saig_ManSetAndDriveImplications_rec()

12