diff options
Diffstat (limited to 'src/misc')
| -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; |