diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2014-06-20 17:51:35 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2014-06-20 17:51:35 -0700 |
| commit | 1e76ebdf3beee8bfd47d433f203c1aa7e998b179 (patch) | |
| tree | f04e7730f024524b9e50a3d3d76c6c7654662319 /src/aig/gia/gia.h | |
| parent | e5c031c5ae2b53bc2093cf84da352754a11e8882 (diff) | |
| download | abc-1e76ebdf3beee8bfd47d433f203c1aa7e998b179.tar.gz abc-1e76ebdf3beee8bfd47d433f203c1aa7e998b179.tar.bz2 abc-1e76ebdf3beee8bfd47d433f203c1aa7e998b179.zip | |
New tools for profiling verification miters.
Diffstat (limited to 'src/aig/gia/gia.h')
| -rw-r--r-- | src/aig/gia/gia.h | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/src/aig/gia/gia.h b/src/aig/gia/gia.h index 8872ef83..f7e27a08 100644 --- a/src/aig/gia/gia.h +++ b/src/aig/gia/gia.h @@ -198,6 +198,7 @@ struct Gps_Par_t_ int fNpn; int fLutProf; int fMuxXor; + int fMiter; char * pDumpFile; }; @@ -1154,6 +1155,7 @@ extern double Gia_ManMemory( Gia_Man_t * p ); extern void Gia_ManPrintStats( Gia_Man_t * p, Gps_Par_t * pPars ); extern void Gia_ManPrintStatsShort( Gia_Man_t * p ); extern void Gia_ManPrintMiterStatus( Gia_Man_t * p ); +extern void Gia_ManPrintStatsMiter( Gia_Man_t * p, int fVerbose ); extern void Gia_ManSetRegNum( Gia_Man_t * p, int nRegs ); extern void Gia_ManReportImprovement( Gia_Man_t * p, Gia_Man_t * pNew ); extern void Gia_ManPrintNpnClasses( Gia_Man_t * p ); @@ -1244,6 +1246,7 @@ extern int Gia_SweeperRun( Gia_Man_t * p, Vec_Int_t * vProbeIds, 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 ); +extern Vec_Flt_t * Gia_ManPrintOutputProb( Gia_Man_t * p ); /*=== giaTim.c ===========================================================*/ extern Gia_Man_t * Gia_ManDupNormalize( Gia_Man_t * p ); extern Gia_Man_t * Gia_ManDupUnnormalize( Gia_Man_t * p ); |