diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2013-12-26 17:14:40 +0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2013-12-26 17:14:40 +0700 |
| commit | 15a356fa4dd1dddd6a42702f0431fe0aa773516d (patch) | |
| tree | 12df466309fbdc148c82168109eeec9ded7936fe /src/aig/gia/gia.h | |
| parent | efc1c8588e674d4bd4df1aaaa81f2892da56e0f7 (diff) | |
| download | abc-15a356fa4dd1dddd6a42702f0431fe0aa773516d.tar.gz abc-15a356fa4dd1dddd6a42702f0431fe0aa773516d.tar.bz2 abc-15a356fa4dd1dddd6a42702f0431fe0aa773516d.zip | |
Improving switching activity computation.
Diffstat (limited to 'src/aig/gia/gia.h')
| -rw-r--r-- | src/aig/gia/gia.h | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/aig/gia/gia.h b/src/aig/gia/gia.h index c6ace8db..addf27f3 100644 --- a/src/aig/gia/gia.h +++ b/src/aig/gia/gia.h @@ -145,6 +145,7 @@ struct Gia_Man_t_ Gia_Man_t * pAigExtra; // combinational logic of holes Vec_Flt_t * vInArrs; // PI arrival times Vec_Flt_t * vOutReqs; // PO required times + Vec_Int_t * vSwitching; // switching activity int * pTravIds; // separate traversal ID representation int nTravIdsAlloc; // the number of trav IDs allocated Vec_Ptr_t * vNamesIn; // the input names @@ -1201,6 +1202,7 @@ extern int Gia_SweeperRun( Gia_Man_t * p, Vec_Int_t * vProbeIds, /*=== giaSwitch.c ============================================================*/ extern float Gia_ManEvaluateSwitching( Gia_Man_t * p ); extern float Gia_ManComputeSwitching( Gia_Man_t * p, int nFrames, int nPref, int fProbOne ); +extern Vec_Int_t * Gia_ManComputeSwitchProbs( Gia_Man_t * pGia, int nFrames, int nPref, int fProbOne ); /*=== giaTim.c ===========================================================*/ extern Gia_Man_t * Gia_ManDupNormalize( Gia_Man_t * p ); extern Gia_Man_t * Gia_ManDupUnnormalize( Gia_Man_t * p ); |