diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2015-08-31 20:48:25 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2015-08-31 20:48:25 -0700 |
| commit | 1a3c75bb049356d1ae09a71f9212fef5bda5b552 (patch) | |
| tree | d2c7e8c335b4da03f6ae610f4b64e4d1c24745ef | |
| parent | 02d128ed7c18c9e1d606b67f6e1fc77373452959 (diff) | |
| download | abc-1a3c75bb049356d1ae09a71f9212fef5bda5b552.tar.gz abc-1a3c75bb049356d1ae09a71f9212fef5bda5b552.tar.bz2 abc-1a3c75bb049356d1ae09a71f9212fef5bda5b552.zip | |
Experimenting with area recovery.
| -rw-r--r-- | src/aig/gia/giaNf.c | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/aig/gia/giaNf.c b/src/aig/gia/giaNf.c index 9eacce49..8bf0b8bf 100644 --- a/src/aig/gia/giaNf.c +++ b/src/aig/gia/giaNf.c @@ -1760,7 +1760,7 @@ word Nf_MatchRefArea( Nf_Man_t * p, int i, int c, Nf_Mat_t * pM, word Required ) void Nf_ManElaBestMatchOne( Nf_Man_t * p, int iObj, int c, int * pCut, int * pCutSet, Nf_Mat_t * pRes, word Required ) { Nf_Mat_t Mb,*pMb = &Mb, * pMd, * pMa; - Nf_Obj_t * pBest = Nf_ManObj(p, iObj); + //Nf_Obj_t * pBest = Nf_ManObj(p, iObj); int * pFans = Nf_CutLeaves(pCut); int nFans = Nf_CutSize(pCut); int iFuncLit = Nf_CutFunc(pCut); @@ -1844,7 +1844,7 @@ void Nf_ManElaBestMatch( Nf_Man_t * p, int iObj, int c, Nf_Mat_t * pRes, word Re // area is never compared void Nf_ManComputeMappingEla( Nf_Man_t * p ) { - int fVerbose = 1; + //int fVerbose = 1; Mio_Cell2_t * pCell; Nf_Mat_t Mb, * pMb = &Mb, * pM; word AreaBef, AreaAft, Required, WordMapArea, Gain = 0; |