ioReadBlifAig.c File Reference

#include "base/abc/abc.h"
#include "misc/vec/vecPtr.h"

Include dependency graph for ioReadBlifAig.c:

Go to the source code of this file.

Classes
struct	Io_BlifObj_t_
struct	Io_BlifMan_t_

Typedefs
typedef struct Io_BlifObj_t_	Io_BlifObj_t
typedef struct Io_BlifMan_t_	Io_BlifMan_t

Enumerations
enum	Io_BlifInit_t { IO_BLIF_INIT_NONE = 0 , IO_BLIF_INIT_ZERO , IO_BLIF_INIT_ONE , IO_BLIF_INIT_DC }
	DECLARATIONS ///. More...

Functions
Abc_Ntk_t *	Io_ReadBlifAsAig (char *pFileName, int fCheck)
	FUNCTION DEFINITIONS ///.

Typedef Documentation

Io_BlifMan_t

typedef struct Io_BlifMan_t_ Io_BlifMan_t

Definition at line 55 of file ioReadBlifAig.c.

Io_BlifObj_t

typedef struct Io_BlifObj_t_ Io_BlifObj_t

Definition at line 39 of file ioReadBlifAig.c.

Enumeration Type Documentation

Io_BlifInit_t

enum Io_BlifInit_t

DECLARATIONS ///.

CFile****************************************************************

FileName [ioReadBlifAig.c]

SystemName [ABC: Logic synthesis and verification system.]

PackageName [Command processing package.]

Synopsis [Procedures to read BLIF file into AIG.]

Author [Alan Mishchenko]

Affiliation [UC Berkeley]

Date [Ver. 1.0. Started - December 23, 2006.]

Revision [

Id

ioReadBlifAig.c,v 1.00 2006/12/23 00:00:00 alanmi Exp

]

Enumerator
IO_BLIF_INIT_NONE
IO_BLIF_INIT_ZERO
IO_BLIF_INIT_ONE
IO_BLIF_INIT_DC

Definition at line 32 of file ioReadBlifAig.c.

             { 
    IO_BLIF_INIT_NONE = 0,  // 0:  unknown
    IO_BLIF_INIT_ZERO,      // 1:  zero
    IO_BLIF_INIT_ONE,       // 2:  one
    IO_BLIF_INIT_DC         // 3:  don't-care
} Io_BlifInit_t;

Function Documentation

Io_ReadBlifAsAig()

Abc_Ntk_t * Io_ReadBlifAsAig	(	char *	pFileName,
		int	fCheck )

FUNCTION DEFINITIONS ///.

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

Synopsis [Reads the network from the BLIF file as an AIG.]

Description []

SideEffects []

SeeAlso []

Definition at line 118 of file ioReadBlifAig.c.

{
    FILE * pFile;
    Io_BlifMan_t * p;
    Abc_Ntk_t * pAig;
 
    // check that the file is available
    pFile = fopen( pFileName, "rb" );
    if ( pFile == NULL )
    {
        printf( "Io_Blif(): The file is unavailable (absent or open).\n" );
        return 0;
    }
    fclose( pFile );
 
    // start the file reader
    p = Io_BlifAlloc();
    p->pFileName = pFileName;
    p->pBuffer   = Io_BlifLoadFile( pFileName );
    if ( p->pBuffer == NULL )
    {
        Io_BlifFree( p );
        return NULL;
    }
    // prepare the file for parsing
    Io_BlifReadPreparse( p );
    // construct the network
    pAig = Io_BlifParse( p );
    if ( p->sError[0] )
        fprintf( stdout, "%s\n", p->sError );
    if ( pAig == NULL )
        return NULL;
    Io_BlifFree( p );
 
    // make sure that everything is okay with the network structure
    if ( fCheck && !Abc_NtkCheckRead( pAig ) )
    {
        printf( "Io_Blif: The network check has failed.\n" );
        Abc_NtkDelete( pAig );
        return NULL;
    }
    return pAig;
}

Here is the call graph for this function: