diff options
| -rw-r--r-- | src/aig/gia/giaNf.c | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/src/aig/gia/giaNf.c b/src/aig/gia/giaNf.c index 89944c7d..d249a200 100644 --- a/src/aig/gia/giaNf.c +++ b/src/aig/gia/giaNf.c @@ -2041,10 +2041,15 @@ void Nf_ManFixPoDrivers( Nf_Man_t * p ) // skip if arrival time exceeds the required time if ( pMc->D + p->InvDelayI > p->pPars->MapDelay ) continue; + // update references + Nf_MatchDeref_rec( p, iDriver, Gia_ObjFaninC0(pObj), pM ); + Nf_ObjMapRefInc( p, iDriver, !Gia_ObjFaninC0(pObj) ); // add inverter *pM = *pMc; pM->D += p->InvDelayI; pM->fCompl = 1; + pM->fBest = 1; + pMc->fBest = 1; Count++; } //printf( "Fixed %d PO drivers.\n", Count ); |