diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2007-01-24 08:01:00 -0800 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2007-01-24 08:01:00 -0800 |
| commit | 1c26e2d29768c64315447969f137e3bf9ffa7dac (patch) | |
| tree | c8aaab3a85e0065b39adc66358f4aa29bb8b1929 /src/opt/res/resStrash.c | |
| parent | b1a913fb5e85ba04646632f3d771ad79bfd8a720 (diff) | |
| download | abc-1c26e2d29768c64315447969f137e3bf9ffa7dac.tar.gz abc-1c26e2d29768c64315447969f137e3bf9ffa7dac.tar.bz2 abc-1c26e2d29768c64315447969f137e3bf9ffa7dac.zip | |
Version abc70124
Diffstat (limited to 'src/opt/res/resStrash.c')
| -rw-r--r-- | src/opt/res/resStrash.c | 7 |
1 files changed, 5 insertions, 2 deletions
diff --git a/src/opt/res/resStrash.c b/src/opt/res/resStrash.c index 2c112642..d3a8efa8 100644 --- a/src/opt/res/resStrash.c +++ b/src/opt/res/resStrash.c @@ -19,7 +19,7 @@ ***********************************************************************/ #include "abc.h" -#include "res.h" +#include "resInt.h" //////////////////////////////////////////////////////////////////////// /// DECLARATIONS /// @@ -72,7 +72,7 @@ Abc_Ntk_t * Res_WndStrash( Res_Win_t * p ) } // mark the TFO of the node Abc_NtkIncrementTravId( p->pNode->pNtk ); - Res_WinVisitNodeTfo( p ); + Res_WinSweepLeafTfo_rec( p->pNode, (int)p->pNode->Level + p->nWinTfoMax, NULL ); // redo strashing in the TFO p->pNode->pCopy = Abc_ObjNot( p->pNode->pCopy ); Vec_VecForEachEntryStartStop( p->vLevels, pObj, i, k, p->pNode->Level + 1, (int)p->pNode->Level + p->nWinTfoMax ) @@ -92,6 +92,9 @@ Abc_Ntk_t * Res_WndStrash( Res_Win_t * p ) // add the divisors Vec_PtrForEachEntry( p->vDivs, pObj, i ) Abc_ObjAddFanin( Abc_NtkCreatePo(pAig), pObj->pCopy ); + // add the names + Abc_NtkAddDummyPiNames( pAig ); + Abc_NtkAddDummyPoNames( pAig ); // check the resulting network if ( !Abc_NtkCheck( pAig ) ) fprintf( stdout, "Res_WndStrash(): Network check has failed.\n" ); |