diff options
author | Alan Mishchenko <alanmi@berkeley.edu> | 2013-09-28 22:42:01 -0700 |
---|---|---|
committer | Alan Mishchenko <alanmi@berkeley.edu> | 2013-09-28 22:42:01 -0700 |
commit | 68011de61560ac0f9f2caa8ede0ba1a5fffcd3ce (patch) | |
tree | ed405f4342bd390adbe6004207f2acc26c7bdf16 /src/base/abci/abcFx.c | |
parent | 5f97f5cffa90f2e289e572ffb233cec70d63a64d (diff) | |
download | abc-68011de61560ac0f9f2caa8ede0ba1a5fffcd3ce.tar.gz abc-68011de61560ac0f9f2caa8ede0ba1a5fffcd3ce.tar.bz2 abc-68011de61560ac0f9f2caa8ede0ba1a5fffcd3ce.zip |
Improving printouts in sharing extraction.
Diffstat (limited to 'src/base/abci/abcFx.c')
-rw-r--r-- | src/base/abci/abcFx.c | 17 |
1 files changed, 10 insertions, 7 deletions
diff --git a/src/base/abci/abcFx.c b/src/base/abci/abcFx.c index 5d887104..428d42bb 100644 --- a/src/base/abci/abcFx.c +++ b/src/base/abci/abcFx.c @@ -299,9 +299,9 @@ int Abc_NtkFxCheck( Abc_Ntk_t * pNtk ) SeeAlso [] ***********************************************************************/ -int Abc_NtkFxPerform( Abc_Ntk_t * pNtk, int nNewNodesMax, int LitCountMax, int fVerbose ) +int Abc_NtkFxPerform( Abc_Ntk_t * pNtk, int nNewNodesMax, int LitCountMax, int fVerbose, int fVeryVerbose ) { - extern int Fx_FastExtract( Vec_Wec_t * vCubes, int ObjIdMax, int nNewNodesMax, int LitCountMax, int fVerbose ); + extern int Fx_FastExtract( Vec_Wec_t * vCubes, int ObjIdMax, int nNewNodesMax, int LitCountMax, int fVerbose, int fVeryVerbose ); Vec_Wec_t * vCubes; assert( Abc_NtkIsSopLogic(pNtk) ); // check unique fanins @@ -318,7 +318,7 @@ int Abc_NtkFxPerform( Abc_Ntk_t * pNtk, int nNewNodesMax, int LitCountMax, int f // collect information about the covers vCubes = Abc_NtkFxRetrieve( pNtk ); // call the fast extract procedure - if ( Fx_FastExtract( vCubes, Abc_NtkObjNumMax(pNtk), nNewNodesMax, LitCountMax, fVerbose ) > 0 ) + if ( Fx_FastExtract( vCubes, Abc_NtkObjNumMax(pNtk), nNewNodesMax, LitCountMax, fVerbose, fVeryVerbose ) > 0 ) { // update the network Abc_NtkFxInsert( pNtk, vCubes ); @@ -486,6 +486,7 @@ static void Fx_PrintStats( Fx_Man_t * p, abctime clk ) printf( "Divs =%7d ", Hsh_VecSize(p->pHash) ); printf( "Divs+ =%7d ", Vec_QueSize(p->vPrio) ); printf( "Compl =%6d ", p->nDivMux[1] ); + printf( "Extr =%6d ", p->nDivs ); // printf( "DivsS =%6d ", p->nDivsS ); // printf( "PairS =%6d ", p->nPairsS ); // printf( "PairD =%6d ", p->nPairsD ); @@ -1110,9 +1111,9 @@ void Fx_ManUpdate( Fx_Man_t * p, int iDiv ) SeeAlso [] ***********************************************************************/ -int Fx_FastExtract( Vec_Wec_t * vCubes, int ObjIdMax, int nNewNodesMax, int LitCountMax, int fVerbose ) +int Fx_FastExtract( Vec_Wec_t * vCubes, int ObjIdMax, int nNewNodesMax, int LitCountMax, int fVerbose, int fVeryVerbose ) { - int fVeryVerbose = 0; + int fVeryVeryVerbose = 0; int i, iDiv; Fx_Man_t * p; abctime clk = Abc_Clock(); @@ -1130,12 +1131,14 @@ int Fx_FastExtract( Vec_Wec_t * vCubes, int ObjIdMax, int nNewNodesMax, int LitC for ( i = 0; i < nNewNodesMax && Vec_QueTopCost(p->vPrio) > 0.0; i++ ) { iDiv = Vec_QuePop(p->vPrio); - if ( fVerbose ) + if ( fVeryVerbose ) Fx_PrintDiv( p, iDiv ); Fx_ManUpdate( p, iDiv ); - if ( fVeryVerbose ) + if ( fVeryVeryVerbose ) Fx_PrintMatrix( p ); } + if ( fVerbose ) + Fx_PrintStats( p, Abc_Clock() - clk ); Fx_ManStop( p ); // return the result Vec_WecRemoveEmpty( vCubes ); |