From 8a341c200f15988ee37f283924342553029deea6 Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Thu, 5 Jun 2014 19:15:40 -0700
Subject: Adding a feature to collapse hierarhical AIGs.

---
 src/aig/gia/giaIf.c | 7 ++++++-
 1 file changed, 6 insertions(+), 1 deletion(-)

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

diff --git a/src/aig/gia/giaIf.c b/src/aig/gia/giaIf.c
index 4b6095e5..a1541da7 100644
--- a/src/aig/gia/giaIf.c
+++ b/src/aig/gia/giaIf.c
@@ -1618,7 +1618,12 @@ Gia_Man_t * Gia_ManPerformMapping( Gia_Man_t * p, void * pp, int fNormalized )
     }
     // compute switching for the IF objects
     if ( pPars->fPower )
-        If_ManComputeSwitching( pIfMan );
+    {
+        if ( p->pManTime == NULL )
+            If_ManComputeSwitching( pIfMan );
+        else
+            Abc_Print( 0, "Switching activity computation for designs with boxes is disabled.\n" );
+    }
     if ( p->pManTime )
         pIfMan->pManTim = Tim_ManDup( (Tim_Man_t *)p->pManTime, 0 );
     if ( !If_ManPerformMapping( pIfMan ) )
-- 
cgit v1.2.3