diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2007-01-15 08:01:00 -0800 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2007-01-15 08:01:00 -0800 |
| commit | 93aedd2c5155478de7602db4db2c2df4c73e32e0 (patch) | |
| tree | b0d3cd0a54e6f0b555bd82e44112fd2ec935f19c /src/map/if/ifUtil.c | |
| parent | 8dfe404863427d5e7b18d055ffd78b453835f959 (diff) | |
| download | abc-93aedd2c5155478de7602db4db2c2df4c73e32e0.tar.gz abc-93aedd2c5155478de7602db4db2c2df4c73e32e0.tar.bz2 abc-93aedd2c5155478de7602db4db2c2df4c73e32e0.zip | |
Version abc70115
Diffstat (limited to 'src/map/if/ifUtil.c')
| -rw-r--r-- | src/map/if/ifUtil.c | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/map/if/ifUtil.c b/src/map/if/ifUtil.c index 797d853d..1fd3229d 100644 --- a/src/map/if/ifUtil.c +++ b/src/map/if/ifUtil.c @@ -147,6 +147,7 @@ void If_ManComputeRequired( If_Man_t * p, int fFirstTime ) If_Obj_t * pObj; int i; // compute area, clean required times, collect nodes used in the mapping + p->nNets = 0; p->AreaGlo = If_ManScanMapping( p ); // get the global required times p->RequiredGlo = If_ManDelayMax( p, 0 ); @@ -206,6 +207,7 @@ float If_ManScanMapping_rec( If_Man_t * p, If_Obj_t * pObj, If_Obj_t ** ppStore ppStore[pObj->Level] = pObj; // visit the transitive fanin of the selected cut pCutBest = If_ObjCutBest(pObj); + p->nNets += pCutBest->nLeaves; aArea = If_CutLutArea( p, pCutBest ); If_CutForEachLeaf( p, pCutBest, pLeaf, i ) aArea += If_ManScanMapping_rec( p, pLeaf, ppStore ); |