diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2013-02-20 23:22:01 -0800 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2013-02-20 23:22:01 -0800 |
| commit | b096809458a4f8fd458a509c2ea38e9e9025f259 (patch) | |
| tree | b912053e1ce56ef589452b3576bb5862a7623f8b /src/misc/tim | |
| parent | aa7daf1e51742a2f9748237263d0114738873b3b (diff) | |
| download | abc-b096809458a4f8fd458a509c2ea38e9e9025f259.tar.gz abc-b096809458a4f8fd458a509c2ea38e9e9025f259.tar.bz2 abc-b096809458a4f8fd458a509c2ea38e9e9025f259.zip | |
Integrating sweeping information.
Diffstat (limited to 'src/misc/tim')
| -rw-r--r-- | src/misc/tim/timMan.c | 15 |
1 files changed, 8 insertions, 7 deletions
diff --git a/src/misc/tim/timMan.c b/src/misc/tim/timMan.c index 3ec2d8ac..a4e95e31 100644 --- a/src/misc/tim/timMan.c +++ b/src/misc/tim/timMan.c @@ -168,12 +168,13 @@ Tim_Man_t * Tim_ManTrim( Tim_Man_t * p, Vec_Int_t * vBoxPres ) // count the number of CIs and COs in the trimmed manager nNewCis = Tim_ManPiNum(p); nNewCos = Tim_ManPoNum(p); - Tim_ManForEachBox( p, pBox, i ) - if ( Vec_IntEntry(vBoxPres, i) ) - { - nNewCis += pBox->nOutputs; - nNewCos += pBox->nInputs; - } + if ( Tim_ManBoxNum(p) ) + Tim_ManForEachBox( p, pBox, i ) + if ( Vec_IntEntry(vBoxPres, i) ) + { + nNewCis += pBox->nOutputs; + nNewCos += pBox->nInputs; + } if ( nNewCis == Tim_ManCiNum(p) && nNewCos == Tim_ManCoNum(p) ) return Tim_ManDup( p, 0 ); assert( nNewCis < Tim_ManCiNum(p) ); @@ -494,7 +495,7 @@ void Tim_ManPrintStats( Tim_Man_t * p ) int i, Count, IdMax; if ( p == NULL ) return; - Abc_Print( 1, "hierarchy : " ); + Abc_Print( 1, "Hierarchy : " ); printf( "PI/CI = %d/%d PO/CO = %d/%d Box = %d", Tim_ManPiNum(p), Tim_ManCiNum(p), Tim_ManPoNum(p), Tim_ManCoNum(p), |