diff options
author | Alan Mishchenko <alanmi@berkeley.edu> | 2014-09-25 20:33:29 -0700 |
---|---|---|
committer | Alan Mishchenko <alanmi@berkeley.edu> | 2014-09-25 20:33:29 -0700 |
commit | 6aa1c94ea50b9357205c033c4e6240ba277890b6 (patch) | |
tree | f6c22823f31fc8a4f2200425e2025bd091e614d5 /src/base/wlc/wlc.h | |
parent | a1b4773c77a5c39293377213096c2dc95116f37a (diff) | |
download | abc-6aa1c94ea50b9357205c033c4e6240ba277890b6.tar.gz abc-6aa1c94ea50b9357205c033c4e6240ba277890b6.tar.bz2 abc-6aa1c94ea50b9357205c033c4e6240ba277890b6.zip |
Enabling print-out, for each operator, of the percetage of AND nodes after bit-blasting.
Diffstat (limited to 'src/base/wlc/wlc.h')
-rw-r--r-- | src/base/wlc/wlc.h | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/base/wlc/wlc.h b/src/base/wlc/wlc.h index ae31933e..8eecf8b2 100644 --- a/src/base/wlc/wlc.h +++ b/src/base/wlc/wlc.h @@ -115,6 +115,7 @@ struct Wlc_Ntk_t_ Vec_Int_t vCos; // combinational outputs Vec_Int_t vFfs; // flops int nObjs[WLC_OBJ_NUMBER]; // counter of objects of each type + int nAnds[WLC_OBJ_NUMBER]; // counter of AND gates after blasting // memory for objects Wlc_Obj_t * pObjs; int iObj; @@ -218,7 +219,7 @@ extern void Wlc_ObjUpdateType( Wlc_Ntk_t * p, Wlc_Obj_t * pObj, int Ty extern void Wlc_ObjAddFanins( Wlc_Ntk_t * p, Wlc_Obj_t * pObj, Vec_Int_t * vFanins ); extern void Wlc_NtkFree( Wlc_Ntk_t * p ); extern void Wlc_NtkPrintNodes( Wlc_Ntk_t * p, int Type ); -extern void Wlc_NtkPrintStats( Wlc_Ntk_t * p, int fVerbose ); +extern void Wlc_NtkPrintStats( Wlc_Ntk_t * p, int fDistrib, int fVerbose ); extern Wlc_Ntk_t * Wlc_NtkDupDfs( Wlc_Ntk_t * p ); extern void Wlc_NtkTransferNames( Wlc_Ntk_t * pNew, Wlc_Ntk_t * p ); /*=== wlcReadWord.c ========================================================*/ |