summaryrefslogtreecommitdiffstats
path: root/src
diff options
context:
space:
mode:
authorAlan Mishchenko <alanmi@berkeley.edu>2013-07-16 16:46:37 -0700
committerAlan Mishchenko <alanmi@berkeley.edu>2013-07-16 16:46:37 -0700
commitfce4605f58128aa59e38647ed25121608e67c636 (patch)
tree67718adc7348cd6fa938d94fa223e720aa821306 /src
parent5f97612951b9547a23c64e2a669cd459dae0beda (diff)
downloadabc-fce4605f58128aa59e38647ed25121608e67c636.tar.gz
abc-fce4605f58128aa59e38647ed25121608e67c636.tar.bz2
abc-fce4605f58128aa59e38647ed25121608e67c636.zip
Improved printout of XOR/MUX/AND in 'print_stats'.
Diffstat (limited to 'src')
-rw-r--r--src/base/abci/abcPrint.c30
1 files changed, 18 insertions, 12 deletions
diff --git a/src/base/abci/abcPrint.c b/src/base/abci/abcPrint.c
index 1ee30aad..979b6f07 100644
--- a/src/base/abci/abcPrint.c
+++ b/src/base/abci/abcPrint.c
@@ -70,6 +70,7 @@ int Abc_NtkCompareAndSaveBest( Abc_Ntk_t * pNtk )
int nPis; // the number of primary inputs
int nPos; // the number of primary outputs
} ParsNew, ParsBest = { 0 };
+ char * pFileNameOut;
// free storage for the name
if ( pNtk == NULL )
{
@@ -100,7 +101,8 @@ int Abc_NtkCompareAndSaveBest( Abc_Ntk_t * pNtk )
ParsBest.nPis = ParsNew.nPis;
ParsBest.nPos = ParsNew.nPos;
// writ the network
- Io_Write( pNtk, "best.blif", IO_FILE_BLIF );
+ pFileNameOut = Extra_FileNameGenericAppend( pNtk->pSpec, "_best.blif" );
+ Io_Write( pNtk, pFileNameOut, IO_FILE_BLIF );
return 1;
}
return 0;
@@ -193,7 +195,19 @@ float Abc_NtkGetArea( Abc_Ntk_t * pNtk )
***********************************************************************/
void Abc_NtkPrintStats( Abc_Ntk_t * pNtk, int fFactored, int fSaveBest, int fDumpResult, int fUseLutLib, int fPrintMuxes, int fPower, int fGlitch )
{
- int Num;
+ if ( fPrintMuxes && Abc_NtkIsStrash(pNtk) )
+ {
+ extern int Abc_NtkCountMuxes( Abc_Ntk_t * pNtk );
+ int nXors = Abc_NtkGetExorNum(pNtk);
+ int nMuxs = Abc_NtkCountMuxes(pNtk) - nXors;
+ int nAnds = Abc_NtkNodeNum(pNtk) - (nMuxs + nXors) * 3;
+ Abc_Print( 1, "XMA stats: " );
+ Abc_Print( 1,"Xor =%7d (%6.2f %%) ", nXors, 300.0 * nXors / Abc_NtkNodeNum(pNtk) );
+ Abc_Print( 1,"Mux =%7d (%6.2f %%) ", nMuxs, 300.0 * nMuxs / Abc_NtkNodeNum(pNtk) );
+ Abc_Print( 1,"And =%7d (%6.2f %%)", nAnds, 100.0 * nAnds / Abc_NtkNodeNum(pNtk) );
+ Abc_Print( 1,"\n" );
+ return;
+ }
if ( fSaveBest )
Abc_NtkCompareAndSaveBest( pNtk );
if ( fDumpResult )
@@ -225,16 +239,8 @@ void Abc_NtkPrintStats( Abc_Ntk_t * pNtk, int fFactored, int fSaveBest, int fDum
else if ( Abc_NtkIsStrash(pNtk) )
{
Abc_Print( 1," and =%7d", Abc_NtkNodeNum(pNtk) );
- if ( (Num = Abc_NtkGetChoiceNum(pNtk)) )
- Abc_Print( 1," (choice = %d)", Num );
- if ( fPrintMuxes )
- {
- extern int Abc_NtkCountMuxes( Abc_Ntk_t * pNtk );
- Num = Abc_NtkGetExorNum(pNtk);
- Abc_Print( 1," (exor = %d)", Num );
- Abc_Print( 1," (mux = %d)", Abc_NtkCountMuxes(pNtk)-Num );
- Abc_Print( 1," (pure and = %d)", Abc_NtkNodeNum(pNtk) - (Abc_NtkCountMuxes(pNtk) * 3) );
- }
+ if ( Abc_NtkGetChoiceNum(pNtk) )
+ Abc_Print( 1," (choice = %d)", Abc_NtkGetChoiceNum(pNtk) );
}
else
{