diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2021-10-23 16:42:34 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2021-10-23 16:42:34 -0700 |
| commit | 456e381a02effc8300a22408ee7398b7fb912937 (patch) | |
| tree | 261762bd8502c7d4569df510accdc3e5e8489b97 /src/base/abci/abcSweep.c | |
| parent | d4f073bad759874161e2de5952ef7d466bc3eb07 (diff) | |
| download | abc-456e381a02effc8300a22408ee7398b7fb912937.tar.gz abc-456e381a02effc8300a22408ee7398b7fb912937.tar.bz2 abc-456e381a02effc8300a22408ee7398b7fb912937.zip | |
Bug fix in sweep (which happens to be a rare bug in Abc_NodeMinimumBase).
Diffstat (limited to 'src/base/abci/abcSweep.c')
| -rw-r--r-- | src/base/abci/abcSweep.c | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/base/abci/abcSweep.c b/src/base/abci/abcSweep.c index 2f2f1ac1..3306a6af 100644 --- a/src/base/abci/abcSweep.c +++ b/src/base/abci/abcSweep.c @@ -619,7 +619,7 @@ int Abc_NtkSweep( Abc_Ntk_t * pNtk, int fVerbose ) nNodesOld = Abc_NtkNodeNum(pNtk); Abc_NtkCleanup( pNtk, 0 ); // prepare nodes for sweeping - Abc_NtkRemoveDupFanins(pNtk); + //Abc_NtkRemoveDupFanins(pNtk); Abc_NtkMinimumBase(pNtk); // collect sweepable nodes vNodes = Vec_PtrAlloc( 100 ); @@ -649,7 +649,7 @@ int Abc_NtkSweep( Abc_Ntk_t * pNtk, int fVerbose ) Abc_NodeComplementInput( pFanout, pNode ); Abc_ObjPatchFanin( pFanout, pNode, pDriver ); } - Abc_NodeRemoveDupFanins( pFanout ); + //Abc_NodeRemoveDupFanins( pFanout ); Abc_NodeMinimumBase( pFanout ); // check if the fanout should be added if ( Abc_ObjFaninNum(pFanout) < 2 ) |