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/timMan.c | |
parent | 8281b56e9e2a6a9339fb2dc86711aa719055e014 (diff) | |
download | abc-7802db98af7705be65f7e58986ed52afc52d4d64.tar.gz abc-7802db98af7705be65f7e58986ed52afc52d4d64.tar.bz2 abc-7802db98af7705be65f7e58986ed52afc52d4d64.zip |
Integrating sweeping information.
Diffstat (limited to 'src/misc/tim/timMan.c')
-rw-r--r-- | src/misc/tim/timMan.c | 6 |
1 files changed, 4 insertions, 2 deletions
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; |