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/ntl/ntlFraig.c | |
| parent | 3429e6309d0fc9a2d35d81f6483258c6af2fab50 (diff) | |
| download | abc-4d71c114a3405f0a2c59a8467c82a8da3f785262.tar.gz abc-4d71c114a3405f0a2c59a8467c82a8da3f785262.tar.bz2 abc-4d71c114a3405f0a2c59a8467c82a8da3f785262.zip | |
Version abc80921
Diffstat (limited to 'src/aig/ntl/ntlFraig.c')
| -rw-r--r-- | src/aig/ntl/ntlFraig.c | 8 |
1 files changed, 7 insertions, 1 deletions
diff --git a/src/aig/ntl/ntlFraig.c b/src/aig/ntl/ntlFraig.c index b1239e47..27d863af 100644 --- a/src/aig/ntl/ntlFraig.c +++ b/src/aig/ntl/ntlFraig.c @@ -435,6 +435,7 @@ Ntl_Man_t * Ntl_ManScl( Ntl_Man_t * p, int fLatchConst, int fLatchEqual, int fVe ***********************************************************************/ Ntl_Man_t * Ntl_ManLcorr( Ntl_Man_t * p, int nConfMax, int fVerbose ) { + Ssw_Pars_t Pars, * pPars = &Pars; Ntl_Man_t * pNew, * pAux; Aig_Man_t * pAig, * pAigCol, * pTemp; @@ -444,7 +445,12 @@ Ntl_Man_t * Ntl_ManLcorr( Ntl_Man_t * p, int nConfMax, int fVerbose ) pAigCol = Ntl_ManCollapseSeq( pNew, 0 ); // perform SCL for the given design - pTemp = Fra_FraigLatchCorrespondence( pAigCol, 0, nConfMax, 0, fVerbose, NULL, 0 ); +// pTemp = Fra_FraigLatchCorrespondence( pAigCol, 0, nConfMax, 0, fVerbose, NULL, 0 ); + Ssw_ManSetDefaultParamsLcorr( pPars ); + pPars->nBTLimit = nConfMax; + pPars->fVerbose = fVerbose; + pTemp = Ssw_LatchCorrespondence( pAigCol, pPars ); + Aig_ManStop( pTemp ); if ( p->vRegClasses && Vec_IntSize(p->vRegClasses) && pAigCol->pReprs ) Ntl_ManFilterRegisterClasses( pAigCol, p->vRegClasses, fVerbose ); |