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/giaSwitch.c | |
| 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/giaSwitch.c')
| -rw-r--r-- | src/aig/gia/giaSwitch.c | 21 |
1 files changed, 21 insertions, 0 deletions
diff --git a/src/aig/gia/giaSwitch.c b/src/aig/gia/giaSwitch.c index a7b63864..e5b1eb22 100644 --- a/src/aig/gia/giaSwitch.c +++ b/src/aig/gia/giaSwitch.c @@ -777,6 +777,27 @@ float Gia_ManComputeSwitching( Gia_Man_t * p, int nFrames, int nPref, int fProbO return SwitchTotal; } +/**Function************************************************************* + + Synopsis [Determine probability of being 1 at the outputs.] + + Description [] + + SideEffects [] + + SeeAlso [] + +***********************************************************************/ +Vec_Flt_t * Gia_ManPrintOutputProb( Gia_Man_t * p ) +{ + Vec_Flt_t * vSimData; + Gia_Man_t * pDfs = Gia_ManDup( p ); + assert( Gia_ManObjNum(pDfs) == Gia_ManObjNum(p) ); + vSimData = (Vec_Flt_t *)Gia_ManComputeSwitchProbs( pDfs, (Gia_ManRegNum(p) ? 16 : 1), 0, 1 ); + Gia_ManStop( pDfs ); + return vSimData; +} + //////////////////////////////////////////////////////////////////////// /// END OF FILE /// //////////////////////////////////////////////////////////////////////// |