diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2013-08-18 10:42:57 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2013-08-18 10:42:57 -0700 |
| commit | b7c8f9188d99b4ab509c57f75b95f26de4fb656c (patch) | |
| tree | 1dd980e00284ec679e65e5c38ca938da2b4c890c /src/map/if/ifMan.c | |
| parent | 3459683e3b5ee9bb3f155fff3bf1041c840266c4 (diff) | |
| download | abc-b7c8f9188d99b4ab509c57f75b95f26de4fb656c.tar.gz abc-b7c8f9188d99b4ab509c57f75b95f26de4fb656c.tar.bz2 abc-b7c8f9188d99b4ab509c57f75b95f26de4fb656c.zip | |
Adding code to count statistics about decomposable LUT5.
Diffstat (limited to 'src/map/if/ifMan.c')
| -rw-r--r-- | src/map/if/ifMan.c | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/map/if/ifMan.c b/src/map/if/ifMan.c index e483a54d..20c3f0f9 100644 --- a/src/map/if/ifMan.c +++ b/src/map/if/ifMan.c @@ -151,6 +151,7 @@ void If_ManStop( If_Man_t * p ) if ( p->nCutsUseless[i] ) Abc_Print( 1, "Useless cuts %2d = %9d (out of %9d) (%6.2f %%)\n", i, p->nCutsUseless[i], p->nCutsCount[i], 100.0*p->nCutsUseless[i]/(p->nCutsCount[i]+1) ); Abc_Print( 1, "Useless cuts all = %9d (out of %9d) (%6.2f %%)\n", p->nCutsUselessAll, p->nCutsCountAll, 100.0*p->nCutsUselessAll/(p->nCutsCountAll+1) ); + Abc_Print( 1, "Statistics about 5-cuts: Total = %d Non-decomposable = %d (%.2f %%)\n", p->nCuts5, p->nCuts5-p->nCuts5a, 100.0*(p->nCuts5-p->nCuts5a)/p->nCuts5 ); } if ( p->pPars->fUseDsd ) { |