diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2013-03-05 16:53:18 -0800 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2013-03-05 16:53:18 -0800 |
| commit | dcc89071613ac466e59ec4d098b4d219f46d717b (patch) | |
| tree | 6f16b278c806c6f969c9c2091207691f53307204 /src/misc/tim | |
| parent | 4ff5203f4c8b341eb717b742bf1af51f64f31ccd (diff) | |
| download | abc-dcc89071613ac466e59ec4d098b4d219f46d717b.tar.gz abc-dcc89071613ac466e59ec4d098b4d219f46d717b.tar.bz2 abc-dcc89071613ac466e59ec4d098b4d219f46d717b.zip | |
Improvements to the hierarchy/timing manager.
Diffstat (limited to 'src/misc/tim')
| -rw-r--r-- | src/misc/tim/tim.h | 1 | ||||
| -rw-r--r-- | src/misc/tim/timMan.c | 9 |
2 files changed, 10 insertions, 0 deletions
diff --git a/src/misc/tim/tim.h b/src/misc/tim/tim.h index df787748..ba2b1bdb 100644 --- a/src/misc/tim/tim.h +++ b/src/misc/tim/tim.h @@ -143,6 +143,7 @@ extern int Tim_ManCoNum( Tim_Man_t * p ); extern int Tim_ManPiNum( Tim_Man_t * p ); extern int Tim_ManPoNum( Tim_Man_t * p ); extern int Tim_ManBoxNum( Tim_Man_t * p ); +extern int Tim_ManBlackBoxNum( Tim_Man_t * p ); extern int Tim_ManDelayTableNum( Tim_Man_t * p ); extern void Tim_ManSetDelayTables( Tim_Man_t * p, Vec_Ptr_t * vDelayTables ); extern void Tim_ManTravIdDisable( Tim_Man_t * p ); diff --git a/src/misc/tim/timMan.c b/src/misc/tim/timMan.c index 51a0c381..9aec1190 100644 --- a/src/misc/tim/timMan.c +++ b/src/misc/tim/timMan.c @@ -607,6 +607,15 @@ int Tim_ManBoxNum( Tim_Man_t * p ) { return p->vBoxes ? Vec_PtrSize(p->vBoxes) : 0; } +int Tim_ManBlackBoxNum( Tim_Man_t * p ) +{ + Tim_Box_t * pBox; + int i, Counter = 0; + if ( Tim_ManBoxNum(p) ) + Tim_ManForEachBox( p, pBox, i ) + Counter += pBox->fBlack; + return Counter; +} int Tim_ManDelayTableNum( Tim_Man_t * p ) { return p->vDelayTables ? Vec_PtrSize(p->vDelayTables) : 0; |