From 5e0d7dadc2c64b119fb72f792d9ff470952c940e Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Sun, 15 Feb 2015 18:47:56 -0800
Subject: [PATCH] Assertion failure in 'write_hie' with blackboxes.

---
 src/base/abc/abcFunc.c | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/src/base/abc/abcFunc.c b/src/base/abc/abcFunc.c
index 628a803f8..2778e8d72 100644
--- a/src/base/abc/abcFunc.c
+++ b/src/base/abc/abcFunc.c
@@ -1143,6 +1143,8 @@ int Abc_NtkSopToBlifMv( Abc_Ntk_t * pNtk )
 int Abc_NtkToSop( Abc_Ntk_t * pNtk, int fDirect, int nCubeLimit )
 {
     assert( !Abc_NtkIsStrash(pNtk) );
+    if ( Abc_NtkHasBlackbox(pNtk) )
+        return 1;
     if ( Abc_NtkHasSop(pNtk) )
     {
         if ( !fDirect )
@@ -1179,6 +1181,8 @@ int Abc_NtkToSop( Abc_Ntk_t * pNtk, int fDirect, int nCubeLimit )
 int Abc_NtkToBdd( Abc_Ntk_t * pNtk )
 {
     assert( !Abc_NtkIsStrash(pNtk) );
+    if ( Abc_NtkHasBlackbox(pNtk) )
+        return 1;
     if ( Abc_NtkHasBdd(pNtk) )
         return 1;
     if ( Abc_NtkHasMapping(pNtk) )
@@ -1211,6 +1215,8 @@ int Abc_NtkToBdd( Abc_Ntk_t * pNtk )
 int Abc_NtkToAig( Abc_Ntk_t * pNtk )
 {
     assert( !Abc_NtkIsStrash(pNtk) );
+    if ( Abc_NtkHasBlackbox(pNtk) )
+        return 1;
     if ( Abc_NtkHasAig(pNtk) )
         return 1;
     if ( Abc_NtkHasMapping(pNtk) )