diff options
author | Alan Mishchenko <alanmi@berkeley.edu> | 2016-10-07 18:05:20 -0700 |
---|---|---|
committer | Alan Mishchenko <alanmi@berkeley.edu> | 2016-10-07 18:05:20 -0700 |
commit | 50e324ce11c82742153e717334556bc60580f758 (patch) | |
tree | 88df831c8cddc39c591c01fd8dac61338645a443 /src/opt/sfm/sfm.h | |
parent | 659d288967f5940876aa94e351b67b2b709e0301 (diff) | |
download | abc-50e324ce11c82742153e717334556bc60580f758.tar.gz abc-50e324ce11c82742153e717334556bc60580f758.tar.bz2 abc-50e324ce11c82742153e717334556bc60580f758.zip |
Adding switch &mfs -b to preserve white boxes during optimization.
Diffstat (limited to 'src/opt/sfm/sfm.h')
-rw-r--r-- | src/opt/sfm/sfm.h | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/opt/sfm/sfm.h b/src/opt/sfm/sfm.h index 571e389a..002778dc 100644 --- a/src/opt/sfm/sfm.h +++ b/src/opt/sfm/sfm.h @@ -67,6 +67,7 @@ struct Sfm_Par_t_ int fZeroCost; // enable zero-cost replacement int fUseSim; // enable simulation int fPrintDecs; // enable printing decompositions + int fAllBoxes; // enable preserving all boxes int fLibVerbose; // enable library stats int fDelayVerbose; // enable delay stats int fVerbose; // enable basic stats @@ -93,7 +94,7 @@ extern word * Sfm_NodeReadTruth( Sfm_Ntk_t * p, int i ); extern int Sfm_NodeReadFixed( Sfm_Ntk_t * p, int i ); extern int Sfm_NodeReadUsed( Sfm_Ntk_t * p, int i ); /*=== sfmWin.c ==========================================================*/ -extern Vec_Int_t * Sfm_NtkDfs( Sfm_Ntk_t * p, Vec_Wec_t * vGroups, Vec_Int_t * vGroupMap, Vec_Int_t * vBoxesLeft ); +extern Vec_Int_t * Sfm_NtkDfs( Sfm_Ntk_t * p, Vec_Wec_t * vGroups, Vec_Int_t * vGroupMap, Vec_Int_t * vBoxesLeft, int fAllBoxes ); ABC_NAMESPACE_HEADER_END |