diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2005-09-05 08:01:00 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2005-09-05 08:01:00 -0700 |
| commit | 1260d20cc05fe2d21088cc047c460e85ccdb3b14 (patch) | |
| tree | f10ccc3333f78b6e2e089a88c8cf61a47b2f2dcd /src/base/abci/abcRefactor.c | |
| parent | 33012d9530c40817e1fc5230b3e663f7690b2e94 (diff) | |
| download | abc-1260d20cc05fe2d21088cc047c460e85ccdb3b14.tar.gz abc-1260d20cc05fe2d21088cc047c460e85ccdb3b14.tar.bz2 abc-1260d20cc05fe2d21088cc047c460e85ccdb3b14.zip | |
Version abc50905
Diffstat (limited to 'src/base/abci/abcRefactor.c')
| -rw-r--r-- | src/base/abci/abcRefactor.c | 12 |
1 files changed, 7 insertions, 5 deletions
diff --git a/src/base/abci/abcRefactor.c b/src/base/abci/abcRefactor.c index 791d2d53..92d497fc 100644 --- a/src/base/abci/abcRefactor.c +++ b/src/base/abci/abcRefactor.c @@ -1,12 +1,12 @@ /**CFile**************************************************************** - FileName [abcResRef.c] + FileName [abcRefactor.c] SystemName [ABC: Logic synthesis and verification system.] PackageName [Network and node package.] - Synopsis [Resynthesis based on refactoring.] + Synopsis [Resynthesis based on collapsing and refactoring.] Author [Alan Mishchenko] @@ -14,7 +14,7 @@ Date [Ver. 1.0. Started - June 20, 2005.] - Revision [$Id: abcResRef.c,v 1.00 2005/06/20 00:00:00 alanmi Exp $] + Revision [$Id: abcRefactor.c,v 1.00 2005/06/20 00:00:00 alanmi Exp $] ***********************************************************************/ @@ -82,7 +82,6 @@ static Dec_Graph_t * Abc_NodeRefactor( Abc_ManRef_t * p, Abc_Obj_t * pNode, Vec ***********************************************************************/ int Abc_NtkRefactor( Abc_Ntk_t * pNtk, int nNodeSizeMax, int nConeSizeMax, bool fUseZeros, bool fUseDcs, bool fVerbose ) { - int fCheck = 1; ProgressBar * pProgress; Abc_ManRef_t * pManRef; Abc_ManCut_t * pManCut; @@ -110,6 +109,9 @@ int Abc_NtkRefactor( Abc_Ntk_t * pNtk, int nNodeSizeMax, int nConeSizeMax, bool // skip the constant node if ( Abc_NodeIsConst(pNode) ) continue; + // skip the nodes with many fanouts + if ( Abc_ObjFanoutNum(pNode) > 1000 ) + continue; // stop if all nodes have been tried once if ( i >= nNodes ) break; @@ -140,7 +142,7 @@ pManRef->timeTotal = clock() - clkStart; Abc_NtkManRefStop( pManRef ); Abc_NtkStopReverseLevels( pNtk ); // check - if ( fCheck && !Abc_NtkCheck( pNtk ) ) + if ( !Abc_NtkCheck( pNtk ) ) { printf( "Abc_NtkRefactor: The network check has failed.\n" ); return 0; |