summaryrefslogtreecommitdiffstats
path: root/src/aig/gia/giaMan.c
diff options
context:
space:
mode:
authorAlan Mishchenko <alanmi@berkeley.edu>2014-06-12 21:27:14 -0700
committerAlan Mishchenko <alanmi@berkeley.edu>2014-06-12 21:27:14 -0700
commitfcdd9148b456e7efec1db8b4cf81adbb305401d7 (patch)
tree99b8147233b967ecba6ba18fcaf16fffb40801ba /src/aig/gia/giaMan.c
parent865f6fd43fb55f4873275c2ceeae79d32f4f4d9b (diff)
downloadabc-fcdd9148b456e7efec1db8b4cf81adbb305401d7.tar.gz
abc-fcdd9148b456e7efec1db8b4cf81adbb305401d7.tar.bz2
abc-fcdd9148b456e7efec1db8b4cf81adbb305401d7.zip
Various modifications.
Diffstat (limited to 'src/aig/gia/giaMan.c')
-rw-r--r--src/aig/gia/giaMan.c29
1 files changed, 5 insertions, 24 deletions
diff --git a/src/aig/gia/giaMan.c b/src/aig/gia/giaMan.c
index 3b9e6d3b..f1470287 100644
--- a/src/aig/gia/giaMan.c
+++ b/src/aig/gia/giaMan.c
@@ -421,32 +421,13 @@ void Gia_ManPrintStats( Gia_Man_t * p, Gps_Par_t * pPars )
Abc_Print( 1, " mem =%5.2f MB", Gia_ManMemory(p)/(1<<20) );
if ( Gia_ManHasDangling(p) )
Abc_Print( 1, " ch =%5d", Gia_ManEquivCountClasses(p) );
- if ( p->pMuxes )
- {
- int nAnds = Gia_ManAndNum(p)-Gia_ManXorNum(p)-Gia_ManMuxNum(p);
- int nXors = Gia_ManXorNum(p);
- int nMuxes = Gia_ManMuxNum(p);
- int nTotal = nAnds + 3*nXors + 3*nMuxes;
- Abc_Print( 1, "\nXOR/MUX stats:" );
- Abc_Print( 1, " xor =%8d (%6.2f %%) ", nXors, 300.0*nXors/nTotal );
- Abc_Print( 1, " mux =%8d (%6.2f %%) ", nMuxes, 300.0*nMuxes/nTotal );
- Abc_Print( 1, " and =%8d (%6.2f %%) ", nAnds, 100.0*nAnds/nTotal );
- }
- else if ( pPars->fMuxXor )
- {
- int nAnds, nMuxes, nXors, nTotal = Gia_ManAndNum(p);
- Gia_ManCountMuxXor( p, &nMuxes, &nXors );
- nAnds = Gia_ManAndNum(p)-3*nMuxes-3*nXors;
- Abc_Print( 1, "\nXOR/MUX stats:" );
- Abc_Print( 1, " xor =%8d (%6.2f %%) ", nXors, 300.0*nXors/nTotal );
- Abc_Print( 1, " mux =%8d (%6.2f %%) ", nMuxes, 300.0*nMuxes/nTotal );
- Abc_Print( 1, " and =%8d (%6.2f %%) ", nAnds, 100.0*nAnds/nTotal );
- }
+ if ( pPars && pPars->fMuxXor )
+ printf( "\nXOR/MUX " ), Gia_ManPrintMuxStats( p );
if ( pPars && pPars->fSwitch )
{
- if ( p->pSwitching )
- Abc_Print( 1, " power =%7.2f", Gia_ManEvaluateSwitching(p) );
- else
+// if ( p->pSwitching )
+// Abc_Print( 1, " power =%7.2f", Gia_ManEvaluateSwitching(p) );
+// else
Abc_Print( 1, " power =%7.2f", Gia_ManComputeSwitching(p, 48, 16, 0) );
}
// Abc_Print( 1, "obj =%5d ", Gia_ManObjNum(p) );