From da65e88e3b346bcd70198b980e918ea9f1e11b4e Mon Sep 17 00:00:00 2001 From: Alan Mishchenko Date: Mon, 22 Jun 2015 23:04:59 -0700 Subject: Version abc90804 committer: Baruch Sterin --- src/aig/ntl/ntlFraig.c | 16 +++++++++++----- 1 file changed, 11 insertions(+), 5 deletions(-) (limited to 'src/aig/ntl') 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 { -- cgit v1.2.3