summaryrefslogtreecommitdiffstats
path: root/src/aig/ntl/ntlWriteBlif.c
diff options
context:
space:
mode:
authorAlan Mishchenko <alanmi@berkeley.edu>2008-04-20 20:01:00 -0700
committerAlan Mishchenko <alanmi@berkeley.edu>2008-04-20 20:01:00 -0700
commit7ec48bc20de6209f311715f4b1479cb2e0a4d906 (patch)
tree00ee497c28001a646f98407115f5541fb49adf83 /src/aig/ntl/ntlWriteBlif.c
parent7ff4c2b2719a78ba7d1ddcfdf9356affa291e876 (diff)
downloadabc-7ec48bc20de6209f311715f4b1479cb2e0a4d906.tar.gz
abc-7ec48bc20de6209f311715f4b1479cb2e0a4d906.tar.bz2
abc-7ec48bc20de6209f311715f4b1479cb2e0a4d906.zip
Version abc80420_2
Diffstat (limited to 'src/aig/ntl/ntlWriteBlif.c')
-rw-r--r--src/aig/ntl/ntlWriteBlif.c21
1 files changed, 20 insertions, 1 deletions
diff --git a/src/aig/ntl/ntlWriteBlif.c b/src/aig/ntl/ntlWriteBlif.c
index 24fa1370..ed45fcaf 100644
--- a/src/aig/ntl/ntlWriteBlif.c
+++ b/src/aig/ntl/ntlWriteBlif.c
@@ -141,7 +141,7 @@ void Ioa_WriteBlifModel( FILE * pFile, Ntl_Mod_t * pModel )
/**Function*************************************************************
- Synopsis [Writes the network into the BLIF file.]
+ Synopsis [Writes the netlist into the BLIF file.]
Description []
@@ -170,6 +170,25 @@ void Ioa_WriteBlif( Ntl_Man_t * p, char * pFileName )
fclose( pFile );
}
+/**Function*************************************************************
+
+ Synopsis [Writes the logic network into the BLIF file.]
+
+ Description []
+
+ SideEffects []
+
+ SeeAlso []
+
+***********************************************************************/
+void Ioa_WriteBlifLogic( Nwk_Man_t * pNtk, Ntl_Man_t * p, char * pFileName )
+{
+ Ntl_Man_t * pNew;
+ pNew = Ntl_ManInsertNtk( p, pNtk );
+ Ioa_WriteBlif( pNew, pFileName );
+ Ntl_ManFree( pNew );
+}
+
////////////////////////////////////////////////////////////////////////
/// END OF FILE ///
////////////////////////////////////////////////////////////////////////