diff options
| author | Yen-Sheng Ho <ysho@berkeley.edu> | 2017-03-09 17:33:00 -0800 |
|---|---|---|
| committer | Yen-Sheng Ho <ysho@berkeley.edu> | 2017-03-09 17:33:00 -0800 |
| commit | 566beb9c92deebc82996f5f46f831a747fe7fd4d (patch) | |
| tree | 7e08fe6d01f005f5fbe7b00622a505b54f343a6d /src/base/wlc | |
| parent | eede1bc7f8ce904d9fd5aa48665015c922f3e638 (diff) | |
| download | abc-566beb9c92deebc82996f5f46f831a747fe7fd4d.tar.gz abc-566beb9c92deebc82996f5f46f831a747fe7fd4d.tar.bz2 abc-566beb9c92deebc82996f5f46f831a747fe7fd4d.zip | |
%pdra: added more stats
Diffstat (limited to 'src/base/wlc')
| -rw-r--r-- | src/base/wlc/wlcAbs.c | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/src/base/wlc/wlcAbs.c b/src/base/wlc/wlcAbs.c index 23a24f30..d13da54c 100644 --- a/src/base/wlc/wlcAbs.c +++ b/src/base/wlc/wlcAbs.c @@ -625,6 +625,7 @@ static Vec_Int_t * Wlc_NtkGetBlacks( Wlc_Ntk_t * p, Wlc_Par_t * pPars ) Vec_Int_t * vBlacks = Vec_IntAlloc( 100 ) ; Wlc_Obj_t * pObj; int i, Count[4] = {0}; Vec_Bit_t * vMarks = NULL; + int nTotal = 0; vMarks = Wlc_NtkMarkLimit( p, pPars ) ; @@ -634,6 +635,7 @@ static Vec_Int_t * Wlc_NtkGetBlacks( Wlc_Ntk_t * p, Wlc_Par_t * pPars ) { if ( Wlc_ObjRange(pObj) >= pPars->nBitsAdd ) { + ++nTotal; if ( vMarks == NULL ) Vec_IntPushUniqueOrder( vBlacks, Wlc_ObjId(p, pObj) ), Count[0]++; else if ( Vec_BitEntry( vMarks, i ) ) @@ -645,6 +647,7 @@ static Vec_Int_t * Wlc_NtkGetBlacks( Wlc_Ntk_t * p, Wlc_Par_t * pPars ) { if ( Wlc_ObjRange(pObj) >= pPars->nBitsMul ) { + ++nTotal; if ( vMarks == NULL ) Vec_IntPushUniqueOrder( vBlacks, Wlc_ObjId(p, pObj) ), Count[1]++; else if ( Vec_BitEntry( vMarks, i ) ) @@ -656,6 +659,7 @@ static Vec_Int_t * Wlc_NtkGetBlacks( Wlc_Ntk_t * p, Wlc_Par_t * pPars ) { if ( Wlc_ObjRange(pObj) >= pPars->nBitsMux ) { + ++nTotal; if ( vMarks == NULL ) Vec_IntPushUniqueOrder( vBlacks, Wlc_ObjId(p, pObj) ), Count[2]++; else if ( Vec_BitEntry( vMarks, i ) ) @@ -667,6 +671,7 @@ static Vec_Int_t * Wlc_NtkGetBlacks( Wlc_Ntk_t * p, Wlc_Par_t * pPars ) { if ( Wlc_ObjRange(pObj) >= pPars->nBitsFlop ) { + ++nTotal; if ( vMarks == NULL ) Vec_IntPushUniqueOrder( vBlacks, Wlc_ObjId( p, Wlc_ObjFo2Fi( p, pObj ) ) ), Count[3]++; else if ( Vec_BitEntry( vMarks, i ) ) @@ -678,7 +683,7 @@ static Vec_Int_t * Wlc_NtkGetBlacks( Wlc_Ntk_t * p, Wlc_Par_t * pPars ) if ( vMarks ) Vec_BitFree( vMarks ); if ( pPars->fVerbose ) - printf( "Abstraction engine marked %d adds/subs, %d muls/divs, %d muxes, and %d flops to be abstracted away.\n", Count[0], Count[1], Count[2], Count[3] ); + printf( "Abstraction engine marked %d adds/subs, %d muls/divs, %d muxes, and %d flops to be abstracted away (out of %d signals).\n", Count[0], Count[1], Count[2], Count[3], nTotal ); return vBlacks; } |