ABC: A System for Sequential Synthesis and Verification
 
Loading...
Searching...
No Matches
ioWriteBlifMv.c File Reference
#include "ioAbc.h"
#include "base/main/main.h"
#include "map/mio/mio.h"
Include dependency graph for ioWriteBlifMv.c:

Go to the source code of this file.

Functions

void Io_WriteBlifMv (Abc_Ntk_t *pNtk, char *FileName)
 FUNCTION DEFINITIONS ///.
 

Function Documentation

◆ Io_WriteBlifMv()

void Io_WriteBlifMv ( Abc_Ntk_t * pNtk,
char * FileName )

FUNCTION DEFINITIONS ///.

Function*************************************************************

Synopsis [Write the network into a BLIF file with the given name.]

Description []

SideEffects []

SeeAlso []

Definition at line 58 of file ioWriteBlifMv.c.

59{
60 FILE * pFile;
61 Abc_Ntk_t * pNtkTemp;
62 int i;
63 assert( Abc_NtkIsNetlist(pNtk) );
64 assert( Abc_NtkHasBlifMv(pNtk) );
65 // start writing the file
66 pFile = fopen( FileName, "w" );
67 if ( pFile == NULL )
68 {
69 fprintf( stdout, "Io_WriteBlifMv(): Cannot open the output file.\n" );
70 return;
71 }
72 fprintf( pFile, "# Benchmark \"%s\" written by ABC on %s\n", pNtk->pName, Extra_TimeStamp() );
73 // write the master network
74 Io_NtkWriteBlifMv( pFile, pNtk );
75 // write the remaining networks
76 if ( pNtk->pDesign )
77 {
78 Vec_PtrForEachEntry( Abc_Ntk_t *, pNtk->pDesign->vModules, pNtkTemp, i )
79 {
80 if ( pNtkTemp == pNtk )
81 continue;
82 fprintf( pFile, "\n\n" );
83 Io_NtkWriteBlifMv( pFile, pNtkTemp );
84 }
85 }
86 fclose( pFile );
87}
struct Abc_Ntk_t_ Abc_Ntk_t
Definition abc.h:115
char * Extra_TimeStamp()
Vec_Ptr_t * vModules
Definition abc.h:225
char * pName
Definition abc.h:158
Abc_Des_t * pDesign
Definition abc.h:180
#define assert(ex)
Definition util_old.h:213
#define Vec_PtrForEachEntry(Type, vVec, pEntry, i)
MACRO DEFINITIONS ///.
Definition vecPtr.h:55
Here is the call graph for this function:
Here is the caller graph for this function: