ABC: A System for Sequential Synthesis and Verification
 
Loading...
Searching...
No Matches
ioReadEdif.c File Reference
#include "ioAbc.h"
Include dependency graph for ioReadEdif.c:

Go to the source code of this file.

Functions

Abc_Ntk_tIo_ReadEdif (char *pFileName, int fCheck)
 FUNCTION DEFINITIONS ///.
 

Function Documentation

◆ Io_ReadEdif()

Abc_Ntk_t * Io_ReadEdif ( char * pFileName,
int fCheck )

FUNCTION DEFINITIONS ///.

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

Synopsis [Reads the network from an EDIF file.]

Description [Works only for the ISCAS benchmarks.]

SideEffects []

SeeAlso []

Definition at line 47 of file ioReadEdif.c.

48{
50 Abc_Ntk_t * pNtk;
51
52 printf( "Currently this parser does not work!\n" );
53 return NULL;
54
55 // start the file
56 p = Extra_FileReaderAlloc( pFileName, "#", "\n\r", " \t()" );
57 if ( p == NULL )
58 return NULL;
59
60 // read the network
61 pNtk = Io_ReadEdifNetwork( p );
63 if ( pNtk == NULL )
64 return NULL;
65
66 // make sure that everything is okay with the network structure
67 if ( fCheck && !Abc_NtkCheckRead( pNtk ) )
68 {
69 printf( "Io_ReadEdif: The network check has failed.\n" );
70 Abc_NtkDelete( pNtk );
71 return NULL;
72 }
73 return pNtk;
74}
ABC_DLL int Abc_NtkCheckRead(Abc_Ntk_t *pNtk)
Definition abcCheck.c:80
struct Abc_Ntk_t_ Abc_Ntk_t
Definition abc.h:115
ABC_DLL void Abc_NtkDelete(Abc_Ntk_t *pNtk)
Definition abcNtk.c:1421
Cube * p
Definition exorList.c:222
Extra_FileReader_t * Extra_FileReaderAlloc(char *pFileName, char *pCharsComment, char *pCharsStop, char *pCharsClean)
FUNCTION DEFINITIONS ///.
struct Extra_FileReader_t_ Extra_FileReader_t
Definition extra.h:135
void Extra_FileReaderFree(Extra_FileReader_t *p)
Here is the call graph for this function:
Here is the caller graph for this function: