diff options
| -rw-r--r-- | src/base/abc/abcFunc.c | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/src/base/abc/abcFunc.c b/src/base/abc/abcFunc.c index 628a803f..2778e8d7 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) ) |