diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2008-07-05 08:01:00 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2008-07-05 08:01:00 -0700 |
| commit | 7b734f23fc23694ccffdb7e3cd31335ffe6cb272 (patch) | |
| tree | d6df566bac26ffb6af1eb01d215d6c4f9785dfa9 /src/aig/nwk | |
| parent | 17ab7c7135befeb4e1d33385496959a16bd55054 (diff) | |
| download | abc-7b734f23fc23694ccffdb7e3cd31335ffe6cb272.tar.gz abc-7b734f23fc23694ccffdb7e3cd31335ffe6cb272.tar.bz2 abc-7b734f23fc23694ccffdb7e3cd31335ffe6cb272.zip | |
Version abc80705
Diffstat (limited to 'src/aig/nwk')
| -rw-r--r-- | src/aig/nwk/nwkTiming.c | 20 |
1 files changed, 10 insertions, 10 deletions
diff --git a/src/aig/nwk/nwkTiming.c b/src/aig/nwk/nwkTiming.c index 64508474..fc56b387 100644 --- a/src/aig/nwk/nwkTiming.c +++ b/src/aig/nwk/nwkTiming.c @@ -589,14 +589,14 @@ void Nwk_NodeUpdateArrival( Nwk_Obj_t * pObj ) { if ( pManTime ) { - // it may happen that a box-input (CO) was already marked as visited - // when some other box-input of the same box was visited - here we undo this iBox = Tim_ManBoxForCo( pManTime, pTemp->PioId ); - if ( Tim_ManIsCoTravIdCurrent( pManTime, pTemp->PioId ) ) - Tim_ManSetPreviousTravIdBoxInputs( pManTime, iBox ); - Tim_ManSetCoArrival( pManTime, pTemp->PioId, tArrival ); if ( iBox >= 0 ) // this CO is an input of the box { + // it may happen that a box-input (CO) was already marked as visited + // when some other box-input of the same box was visited - here we undo this + if ( Tim_ManIsCoTravIdCurrent( pManTime, pTemp->PioId ) ) + Tim_ManSetPreviousTravIdBoxInputs( pManTime, iBox ); + Tim_ManSetCoArrival( pManTime, pTemp->PioId, tArrival ); Tim_ManSetCurrentTravIdBoxInputs( pManTime, iBox ); iTerm1 = Tim_ManBoxOutputFirst( pManTime, iBox ); nTerms = Tim_ManBoxOutputNum( pManTime, iBox ); @@ -673,14 +673,14 @@ void Nwk_NodeUpdateRequired( Nwk_Obj_t * pObj ) { if ( pManTime ) { - // it may happen that a box-output (CI) was already marked as visited - // when some other box-output of the same box was visited - here we undo this iBox = Tim_ManBoxForCi( pManTime, pTemp->PioId ); - if ( Tim_ManIsCiTravIdCurrent( pManTime, pTemp->PioId ) ) - Tim_ManSetPreviousTravIdBoxOutputs( pManTime, iBox ); - Tim_ManSetCiRequired( pManTime, pTemp->PioId, tRequired ); if ( iBox >= 0 ) // this CI is an output of the box { + // it may happen that a box-output (CI) was already marked as visited + // when some other box-output of the same box was visited - here we undo this + if ( Tim_ManIsCiTravIdCurrent( pManTime, pTemp->PioId ) ) + Tim_ManSetPreviousTravIdBoxOutputs( pManTime, iBox ); + Tim_ManSetCiRequired( pManTime, pTemp->PioId, tRequired ); Tim_ManSetCurrentTravIdBoxOutputs( pManTime, iBox ); iTerm1 = Tim_ManBoxInputFirst( pManTime, iBox ); nTerms = Tim_ManBoxInputNum( pManTime, iBox ); |