diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2015-06-22 23:04:59 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2015-06-22 23:04:59 -0700 |
| commit | da65e88e3b346bcd70198b980e918ea9f1e11b4e (patch) | |
| tree | ce660cd8d798ddd41787322db32e6ae21b2ceb11 /src/aig/ntl | |
| parent | 270f6db24625e4838dcafe7d45e69cc9522d703e (diff) | |
| download | abc-da65e88e3b346bcd70198b980e918ea9f1e11b4e.tar.gz abc-da65e88e3b346bcd70198b980e918ea9f1e11b4e.tar.bz2 abc-da65e88e3b346bcd70198b980e918ea9f1e11b4e.zip | |
Version abc90804
committer: Baruch Sterin <baruchs@gmail.com>
Diffstat (limited to 'src/aig/ntl')
| -rw-r--r-- | src/aig/ntl/ntlFraig.c | 16 |
1 files changed, 11 insertions, 5 deletions
diff --git a/src/aig/ntl/ntlFraig.c b/src/aig/ntl/ntlFraig.c index 3ca8dfd7..1d7ac393 100644 --- a/src/aig/ntl/ntlFraig.c +++ b/src/aig/ntl/ntlFraig.c @@ -21,6 +21,7 @@ #include "ntl.h" #include "fra.h" #include "ssw.h" +#include "dch.h" //////////////////////////////////////////////////////////////////////// /// DECLARATIONS /// @@ -400,12 +401,17 @@ Ntl_Man_t * Ntl_ManFraig( Ntl_Man_t * p, int nPartSize, int nConfLimit, int nLev } // perform fraiging for the given design -// if ( fUseCSat ) - if ( 0 ) + if ( fUseCSat ) { - extern Aig_Man_t * Cec_FraigCombinational( Aig_Man_t * pAig, int nConfs, int fVerbose ); - pTemp = Cec_FraigCombinational( pAigCol, nConfLimit, fVerbose ); - Aig_ManStop( pTemp ); +// extern Aig_Man_t * Cec_FraigCombinational( Aig_Man_t * pAig, int nConfs, int fVerbose ); +// pTemp = Cec_FraigCombinational( pAigCol, nConfLimit, fVerbose ); +// Aig_ManStop( pTemp ); + extern void Dch_ComputeEquivalences( Aig_Man_t * pAig, Dch_Pars_t * pPars ); + Dch_Pars_t Pars, * pPars = &Pars; + Dch_ManSetDefaultParams( pPars ); + pPars->nBTLimit = nConfLimit; + pPars->fVerbose = fVerbose; + Dch_ComputeEquivalences( pAigCol, pPars ); } else { |