From 7bf3f5e186cfd44e4695089e0cc564eff90f9110 Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Tue, 5 Jan 2016 19:25:46 -0800
Subject: Fix in &nf for the case when PO can be driven by an inverter.

---
 src/aig/gia/giaNf.c | 5 +++++
 1 file changed, 5 insertions(+)

(limited to 'src/aig/gia/giaNf.c')

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 );
-- 
cgit v1.2.3