diff options
author | Alan Mishchenko <alanmi@berkeley.edu> | 2008-09-21 08:01:00 -0700 |
---|---|---|
committer | Alan Mishchenko <alanmi@berkeley.edu> | 2008-09-21 08:01:00 -0700 |
commit | 4d71c114a3405f0a2c59a8467c82a8da3f785262 (patch) | |
tree | 1c4a0fdf938e247b03e832f26c74c8a48af2826b /src/aig/ssw/ssw.h | |
parent | 3429e6309d0fc9a2d35d81f6483258c6af2fab50 (diff) | |
download | abc-4d71c114a3405f0a2c59a8467c82a8da3f785262.tar.gz abc-4d71c114a3405f0a2c59a8467c82a8da3f785262.tar.bz2 abc-4d71c114a3405f0a2c59a8467c82a8da3f785262.zip |
Version abc80921
Diffstat (limited to 'src/aig/ssw/ssw.h')
-rw-r--r-- | src/aig/ssw/ssw.h | 9 |
1 files changed, 6 insertions, 3 deletions
diff --git a/src/aig/ssw/ssw.h b/src/aig/ssw/ssw.h index 2917f6d4..8d74f16b 100644 --- a/src/aig/ssw/ssw.h +++ b/src/aig/ssw/ssw.h @@ -50,11 +50,12 @@ struct Ssw_Pars_t_ int nBTLimit; // conflict limit at a node int nMinDomSize; // min clock domain considered for optimization int fPolarFlip; // uses polarity adjustment + int fSkipCheck; // do not run equivalence check for unaffected cones int fLatchCorr; // perform register correspondence + // optimized latch correspondence int fLatchCorrOpt; // perform register correspondence (optimized) int nSatVarMax; // max number of SAT vars before recycling SAT solver (optimized latch corr only) - int nCallsRecycle; // calls to perform before recycling SAT solver (optimized latch corr only) - int fSkipCheck; // does not run equivalence check for unaffected cones + int nRecycleCalls; // calls to perform before recycling SAT solver (optimized latch corr only) int fVerbose; // verbose stats // internal parameters int nIters; // the number of iterations performed @@ -82,7 +83,9 @@ struct Ssw_Cex_t_ /*=== sswCore.c ==========================================================*/ extern void Ssw_ManSetDefaultParams( Ssw_Pars_t * p ); -extern Aig_Man_t * Ssw_SignalCorrespondence( Aig_Man_t * p, Ssw_Pars_t * pPars ); +extern void Ssw_ManSetDefaultParamsLcorr( Ssw_Pars_t * p ); +extern Aig_Man_t * Ssw_SignalCorrespondence( Aig_Man_t * pAig, Ssw_Pars_t * pPars ); +extern Aig_Man_t * Ssw_LatchCorrespondence( Aig_Man_t * pAig, Ssw_Pars_t * pPars ); /*=== sswPart.c ==========================================================*/ extern Aig_Man_t * Ssw_SignalCorrespondencePart( Aig_Man_t * pAig, Ssw_Pars_t * pPars ); /*=== sswPairs.c ===================================================*/ |