Experiments with inductive don't-cares.

646b2169 · Alan Mishchenko · 56110efa · 646b2169
Commit 646b2169 authored Feb 11, 2014 by Alan Mishchenko
Hide whitespace changes
Inline Side-by-side

Showing with 4 additions and 0 deletions

src/base/abci/abcMfs.c
+4 -0

No files found.
--- a/src/base/abci/abcMfs.c
+++ b/src/base/abci/abcMfs.c
@@ -464,6 +464,10 @@ int Abc_NtkMfsAfterICheck( Abc_Ntk_t * p, int nFrames, Vec_Int_t * vFlops, Sfm_P
    }
    Abc_NtkDelete( pNtk );
    Sfm_NtkFree( pp );
+    // perform final sweep
+    Abc_NtkSweep( p, 0 );
+    if ( !Abc_NtkHasSop(p) )
+        Abc_NtkToSop( p, 0 );
    return 1;

 }