diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2013-05-25 00:45:22 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2013-05-25 00:45:22 -0700 |
| commit | 9268c100237e67b404c6528bf435d1f60f185329 (patch) | |
| tree | d342e61e36a234b9e54708a2688604b9a5489510 /src/opt/sfm/sfmWin.c | |
| parent | d5234332fb29b7b50220df6a09d913d6832a425c (diff) | |
| download | abc-9268c100237e67b404c6528bf435d1f60f185329.tar.gz abc-9268c100237e67b404c6528bf435d1f60f185329.tar.bz2 abc-9268c100237e67b404c6528bf435d1f60f185329.zip | |
New MFS package.
Diffstat (limited to 'src/opt/sfm/sfmWin.c')
| -rw-r--r-- | src/opt/sfm/sfmWin.c | 21 |
1 files changed, 8 insertions, 13 deletions
diff --git a/src/opt/sfm/sfmWin.c b/src/opt/sfm/sfmWin.c index 893a4592..54cf924d 100644 --- a/src/opt/sfm/sfmWin.c +++ b/src/opt/sfm/sfmWin.c @@ -179,7 +179,7 @@ int Sfm_NtkCheckFanouts( Sfm_Ntk_t * p, int iNode ) SeeAlso [] ***********************************************************************/ -void Sfm_NtkAddDivisors( Sfm_Ntk_t * p, int iNode ) +void Sfm_NtkAddDivisors( Sfm_Ntk_t * p, int iNode, int nLevelMax ) { int i, iFanout; Sfm_ObjForEachFanout( p, iNode, iFanout, i ) @@ -187,7 +187,7 @@ void Sfm_NtkAddDivisors( Sfm_Ntk_t * p, int iNode ) // skip TFI nodes, PO nodes, and nodes with high fanout or nodes with high logic level if ( Sfm_ObjIsTravIdCurrent(p, iFanout) || Sfm_ObjIsPo(p, iFanout) || Sfm_ObjFanoutNum(p, iFanout) >= p->pPars->nFanoutMax || - (p->pPars->fFixLevel && Sfm_ObjLevel(p, iFanout) >= Sfm_ObjLevel(p, iNode)) ) + (p->pPars->fFixLevel && Sfm_ObjLevel(p, iFanout) >= nLevelMax) ) continue; // handle single-input nodes if ( Sfm_ObjFaninNum(p, iFanout) == 1 ) @@ -235,23 +235,18 @@ int Sfm_NtkCreateWindow( Sfm_Ntk_t * p, int iNode, int fVerbose ) { int i, iTemp; clock_t clk = clock(); -/* - if ( iNode == 7 ) - { - int iLevel = Sfm_ObjLevel(p, iNode); - int s = 0; - } -*/ assert( Sfm_ObjIsNode( p, iNode ) ); Vec_IntClear( p->vLeaves ); // leaves Vec_IntClear( p->vNodes ); // internal Vec_IntClear( p->vDivs ); // divisors + Vec_IntClear( p->vRoots ); // roots + Vec_IntClear( p->vTfo ); // roots // collect transitive fanin Sfm_NtkIncrementTravId( p ); Sfm_NtkCollectTfi_rec( p, iNode ); + if ( Vec_IntSize(p->vLeaves) + Vec_IntSize(p->vNodes) > p->pPars->nWinSizeMax ) + return 0; // collect TFO (currently use only one level of TFO) - Vec_IntClear( p->vRoots ); // roots - Vec_IntClear( p->vTfo ); // roots if ( Sfm_NtkCheckFanouts(p, iNode) ) { Sfm_ObjForEachFanout( p, iNode, iTemp, i ) @@ -271,8 +266,8 @@ int Sfm_NtkCreateWindow( Sfm_Ntk_t * p, int iNode, int fVerbose ) Vec_IntAppend( p->vDivs, p->vNodes ); Sfm_NtkIncrementTravId2( p ); Vec_IntForEachEntry( p->vDivs, iTemp, i ) - if ( Vec_IntSize(p->vDivs) < p->pPars->nDivNumMax ) - Sfm_NtkAddDivisors( p, iTemp ); + if ( iTemp != iNode && Vec_IntSize(p->vDivs) < p->pPars->nDivNumMax ) + Sfm_NtkAddDivisors( p, iTemp, Sfm_ObjLevel(p, iNode) ); p->nTotalDivs += Vec_IntSize(p->vDivs); p->timeDiv += clock() - clk; if ( !fVerbose ) |