diff options
author | Alan Mishchenko <alanmi@berkeley.edu> | 2014-02-11 20:46:48 -0800 |
---|---|---|
committer | Alan Mishchenko <alanmi@berkeley.edu> | 2014-02-11 20:46:48 -0800 |
commit | 646b2169f0381f133562a01795007d6e0ff88816 (patch) | |
tree | fd863d39702856a90bbb4e297de171db4e39f90c | |
parent | 56110efaad8632be57668a6a5ea8dcaa8199bdfd (diff) | |
download | abc-646b2169f0381f133562a01795007d6e0ff88816.tar.gz abc-646b2169f0381f133562a01795007d6e0ff88816.tar.bz2 abc-646b2169f0381f133562a01795007d6e0ff88816.zip |
Experiments with inductive don't-cares.
-rw-r--r-- | src/base/abci/abcMfs.c | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/src/base/abci/abcMfs.c b/src/base/abci/abcMfs.c index 27719a7f..502906a4 100644 --- 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; } |