diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2013-02-23 16:08:10 -0800 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2013-02-23 16:08:10 -0800 |
| commit | 7802db98af7705be65f7e58986ed52afc52d4d64 (patch) | |
| tree | 525963aa8792e1c79ea84e26b703c353101e40c3 /src/misc/tim | |
| parent | 8281b56e9e2a6a9339fb2dc86711aa719055e014 (diff) | |
| download | abc-7802db98af7705be65f7e58986ed52afc52d4d64.tar.gz abc-7802db98af7705be65f7e58986ed52afc52d4d64.tar.bz2 abc-7802db98af7705be65f7e58986ed52afc52d4d64.zip | |
Integrating sweeping information.
Diffstat (limited to 'src/misc/tim')
| -rw-r--r-- | src/misc/tim/tim.h | 2 | ||||
| -rw-r--r-- | src/misc/tim/timMan.c | 6 |
2 files changed, 5 insertions, 3 deletions
diff --git a/src/misc/tim/tim.h b/src/misc/tim/tim.h index ef94df97..b2303c21 100644 --- a/src/misc/tim/tim.h +++ b/src/misc/tim/tim.h @@ -134,7 +134,7 @@ extern int Tim_ManGetArrsReqs( Tim_Man_t * p, Vec_Flt_t ** pvInArrs, extern void Tim_ManStop( Tim_Man_t * p ); extern void Tim_ManStopP( Tim_Man_t ** p ); extern void Tim_ManPrint( Tim_Man_t * p ); -extern void Tim_ManPrintStats( Tim_Man_t * p ); +extern void Tim_ManPrintStats( Tim_Man_t * p, int nAnd2Delay ); extern int Tim_ManCiNum( Tim_Man_t * p ); extern int Tim_ManCoNum( Tim_Man_t * p ); extern int Tim_ManPiNum( Tim_Man_t * p ); diff --git a/src/misc/tim/timMan.c b/src/misc/tim/timMan.c index 26c3cb04..50054f53 100644 --- a/src/misc/tim/timMan.c +++ b/src/misc/tim/timMan.c @@ -488,7 +488,7 @@ void Tim_ManPrint( Tim_Man_t * p ) SeeAlso [] ***********************************************************************/ -void Tim_ManPrintStats( Tim_Man_t * p ) +void Tim_ManPrintStats( Tim_Man_t * p, int nAnd2Delay ) { Tim_Box_t * pBox; Vec_Int_t * vCounts; @@ -497,10 +497,12 @@ void Tim_ManPrintStats( Tim_Man_t * p ) if ( p == NULL ) return; Abc_Print( 1, "Hierarchy : " ); - printf( "PI/CI = %d/%d PO/CO = %d/%d Box = %d", + printf( "PI/CI = %d/%d PO/CO = %d/%d Box = %d ", Tim_ManPiNum(p), Tim_ManCiNum(p), Tim_ManPoNum(p), Tim_ManCoNum(p), Tim_ManBoxNum(p) ); + if ( nAnd2Delay ) + printf( "delay(AND2) = %d", nAnd2Delay ); printf( "\n" ); if ( Tim_ManBoxNum(p) == 0 ) return; |