diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2015-10-20 14:12:39 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2015-10-20 14:12:39 -0700 |
| commit | 3da746858fb931ebc641541fa018d4de6dacdd5e (patch) | |
| tree | 65067c517428144373116141ec113e42d13314ea /src | |
| parent | 924dcb4fc67230758669a0a20471a6841a24c83a (diff) | |
| download | abc-3da746858fb931ebc641541fa018d4de6dacdd5e.tar.gz abc-3da746858fb931ebc641541fa018d4de6dacdd5e.tar.bz2 abc-3da746858fb931ebc641541fa018d4de6dacdd5e.zip | |
Added several knobs to control QoR in &nf.
Diffstat (limited to 'src')
| -rw-r--r-- | src/aig/gia/giaNf.c | 6 |
1 files changed, 2 insertions, 4 deletions
diff --git a/src/aig/gia/giaNf.c b/src/aig/gia/giaNf.c index 06ae7c43..683aea5c 100644 --- a/src/aig/gia/giaNf.c +++ b/src/aig/gia/giaNf.c @@ -1227,10 +1227,8 @@ static inline void Nf_ObjPrepareBuf( Nf_Man_t * p, Gia_Obj_t * pObj ) static inline word Nf_CutRequired( Nf_Man_t * p, Nf_Mat_t * pM, int * pCutSet ) { Mio_Cell2_t * pCell = Nf_ManCell( p, pM->Gate ); - int * pCut = Nf_CutFromHandle( pCutSet, pM->CutH ); - int * pFans = Nf_CutLeaves(pCut); - int i, nFans = Nf_CutSize(pCut); - int iVar, fCompl; + int * pCut = Nf_CutFromHandle( pCutSet, pM->CutH ); + int i, iVar, fCompl; word Arr, Req, Arrival = 0, Required = 0; Nf_CutForEachVarCompl( pCut, pM->Cfg, iVar, fCompl, i ) { |