mioRead.c File Reference

#include <ctype.h>
#include "mioInt.h"
#include "base/io/ioAbc.h"

Include dependency graph for mioRead.c:

Go to the source code of this file.

Functions
Mio_Library_t *	Mio_LibraryReadBuffer (char *pBuffer, int fExtendedFormat, st__table *tExcludeGate, int nFaninLimit, int fVerbose)
Mio_Library_t *	Mio_LibraryRead (char *FileName, char *pBuffer, char *ExcludeFile, int nFaninLimit, int fVerbose)
char *	Mio_ReadFile (char *FileName, int fAddEnd)
char *	Mio_LibraryCleanStr (char *p)
int	Mio_LibraryCompareGatesByArea (Mio_Gate_t **pp1, Mio_Gate_t **pp2)
int	Mio_LibraryCompareGatesByName (Mio_Gate_t **pp1, Mio_Gate_t **pp2)
void	Mio_LibrarySortGates (Mio_Library_t *pLib)
int	Mio_LibraryReadExclude (char *ExcludeFile, st__table *tExcludeGate)

Function Documentation

Mio_LibraryCleanStr()

char * Mio_LibraryCleanStr

(

char *

p

)

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

Synopsis [Read the genlib type of gate.]

Description []

SideEffects []

SeeAlso []

Definition at line 349 of file mioRead.c.

{
    int i, k;
    int whitespace_state = 0;
    char * pRes = Abc_UtilStrsav( p );
    for ( i = k = 0; pRes[i]; i++ )
        if ( pRes[i] != ' ' && pRes[i] != '\t' && pRes[i] != '\r' && pRes[i] != '\n' ) 
        {
            if ( pRes[i] != '(' && pRes[i] != ')' && pRes[i] != '+' && pRes[i] != '*' && pRes[i] != '|' && pRes[i] != '&' && pRes[i] != '^' && pRes[i] != '\'' && pRes[i] != '!' ) 
            {
                if (whitespace_state == 2)
                    pRes[k++] = ' ';
                whitespace_state = 1;
            } 
            else
                whitespace_state = 0;
            pRes[k++] = pRes[i];
        } 
        else
            whitespace_state = whitespace_state ? 2 : 0;
    pRes[k] = 0;
    return pRes;
}

Mio_LibraryCompareGatesByArea()

int Mio_LibraryCompareGatesByArea	(	Mio_Gate_t **	pp1,
		Mio_Gate_t **	pp2 )

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

Synopsis []

Description []

SideEffects []

SeeAlso []

Definition at line 555 of file mioRead.c.

{
    double Diff = (*pp1)->dArea - (*pp2)->dArea;
    if ( Diff < 0.0 )
        return -1;
    if ( Diff > 0.0 ) 
        return 1;
    return 0; 
}

Mio_LibraryCompareGatesByName()

int Mio_LibraryCompareGatesByName	(	Mio_Gate_t **	pp1,
		Mio_Gate_t **	pp2 )

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

Synopsis []

Description []

SideEffects []

SeeAlso []

Definition at line 576 of file mioRead.c.

{
    int Diff = strcmp( (*pp1)->pName, (*pp2)->pName );
    if ( Diff < 0 )
        return -1;
    if ( Diff > 0 ) 
        return 1;
    return 0; 
}

Here is the call graph for this function:

Here is the caller graph for this function:

Mio_LibraryRead()

Mio_Library_t * Mio_LibraryRead	(	char *	FileName,
		char *	pBuffer,
		char *	ExcludeFile,
		int	nFaninLimit,
		int	fVerbose )

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

Synopsis [Read the genlib type of library.]

Description []

SideEffects []

SeeAlso []

Definition at line 54 of file mioRead.c.

{
    Mio_Library_t * pLib;
    int num;
    char * pBufferCopy;
 
    st__table * tExcludeGate = 0;
 
    if ( ExcludeFile )
    {
        tExcludeGate = st__init_table(strcmp, st__strhash);
        if ( (num = Mio_LibraryReadExclude( ExcludeFile, tExcludeGate )) == -1 )
        {
            st__free_table( tExcludeGate );
            tExcludeGate = 0;
            return 0;
        }
        fprintf ( stdout, "Read %d gates from exclude file\n", num );
    }
 
    pBufferCopy = Abc_UtilStrsav(pBuffer);
    if ( pBuffer == NULL )
        pLib = Mio_LibraryReadOne( FileName, 0, tExcludeGate, nFaninLimit, fVerbose );       // try normal format first ..
    else
    {
        pLib = Mio_LibraryReadBuffer( pBuffer, 0, tExcludeGate, nFaninLimit, fVerbose );       // try normal format first ..
        if ( pLib )
            pLib->pName = Abc_UtilStrsav( Extra_FileNameGenericAppend(FileName, ".genlib") );
    }
    if ( pLib == NULL )
    {
        if ( pBuffer == NULL )
            pLib = Mio_LibraryReadOne( FileName, 1, tExcludeGate, nFaninLimit, fVerbose );       // try normal format first ..
        else
        {
            pLib = Mio_LibraryReadBuffer( pBufferCopy, 1, tExcludeGate, nFaninLimit, fVerbose );       // try normal format first ..
            if ( pLib )
                pLib->pName = Abc_UtilStrsav( Extra_FileNameGenericAppend(FileName, ".genlib") );
        }
        if ( pLib != NULL )
            printf ( "Warning: Read extended genlib format but ignoring extensions\n" );
    }
    ABC_FREE( pBufferCopy );
    if ( tExcludeGate )
        st__free_table( tExcludeGate );
 
    pLib->pFileName = Abc_UtilStrsav( FileName );
    return pLib;
}

Here is the call graph for this function:

Here is the caller graph for this function:

Mio_LibraryReadBuffer()

Mio_Library_t * Mio_LibraryReadBuffer	(	char *	pBuffer,
		int	fExtendedFormat,
		st__table *	tExcludeGate,
		int	nFaninLimit,
		int	fVerbose )

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

Synopsis [Read the genlib type of library.]

Description []

SideEffects []

SeeAlso []

Definition at line 156 of file mioRead.c.

{
    Mio_Library_t * pLib;
 
    // allocate the genlib structure
    pLib = ABC_CALLOC( Mio_Library_t, 1 );
    pLib->tName2Gate = st__init_table(strcmp, st__strhash);
    pLib->pMmFlex = Mem_FlexStart();
    pLib->vCube = Vec_StrAlloc( 100 );
 
    Io_ReadFileRemoveComments( pBuffer, NULL, NULL );
 
    // parse the contents of the file
    if ( Mio_LibraryReadInternal( pLib, pBuffer, fExtendedFormat, tExcludeGate, nFaninLimit, fVerbose ) )
    {
        Mio_LibraryDelete( pLib );
        return NULL;
    }
 
    // derive the functinality of gates
    if ( Mio_LibraryParseFormulas( pLib ) )
    {
        printf( "Mio_LibraryRead: Had problems parsing formulas.\n" );
        Mio_LibraryDelete( pLib );
        return NULL;
    }
 
    // detect INV and NAND2
    Mio_LibraryDetectSpecialGates( pLib );
//Mio_WriteLibrary( stdout, pLib );
    return pLib;
}

Here is the call graph for this function:

Here is the caller graph for this function:

Mio_LibraryReadExclude()

int Mio_LibraryReadExclude	(	char *	ExcludeFile,
		st__table *	tExcludeGate )

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

Synopsis [populate hash table of gates to be exlcuded from genlib]

Description []

SideEffects []

SeeAlso []

Definition at line 699 of file mioRead.c.

{
    int nDel = 0;
    FILE *pEx;
    char buffer[128];
 
    assert ( tExcludeGate );
 
    if ( ExcludeFile )
    {
        pEx = fopen( ExcludeFile, "r" );
 
        if ( pEx == NULL )
        {
            fprintf ( stdout, "Error: Could not open exclude file %s. Stop.\n", ExcludeFile );
            return -1;
        }
 
        while (1 == fscanf( pEx, "%127s", buffer ))
        {
            //printf ("Read: '%s'\n", buffer );
            st__insert( tExcludeGate, Abc_UtilStrsav( buffer ), (char *)0 );
            nDel++;
        }
 
        fclose( pEx );
    }
 
    return nDel;
}

Here is the call graph for this function:

Here is the caller graph for this function:

Mio_LibrarySortGates()

void Mio_LibrarySortGates

(

Mio_Library_t *

pLib

)

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

Synopsis []

Description []

SideEffects []

SeeAlso []

Definition at line 597 of file mioRead.c.

{
    Mio_Gate_t ** ppGates, * pGate;
    int i = 0;
    ppGates = ABC_ALLOC( Mio_Gate_t *, pLib->nGates );
    Mio_LibraryForEachGate( pLib, pGate )
    {
        pGate->Cell = i;
        ppGates[i++] = pGate;
    }
    assert( i == pLib->nGates );
    // sort gates by name
    pLib->ppGates0 = ABC_ALLOC( Mio_Gate_t *, pLib->nGates );
    for ( i = 0; i < pLib->nGates; i++ )
        pLib->ppGates0[i] = ppGates[i];
    qsort( (void *)ppGates, (size_t)pLib->nGates, sizeof(void *), 
            (int (*)(const void *, const void *)) Mio_LibraryCompareGatesByName );
    for ( i = 0; i < pLib->nGates; i++ )
        ppGates[i]->pNext = (i < pLib->nGates-1)? ppGates[i+1] : NULL;
    pLib->pGates = ppGates[0];
    pLib->ppGatesName = ppGates;
}

Here is the call graph for this function:

Mio_ReadFile()

char * Mio_ReadFile	(	char *	FileName,
		int	fAddEnd )

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

Synopsis [Read contents of the file.]

Description []

SideEffects []

SeeAlso []

Definition at line 115 of file mioRead.c.

{
    char * pBuffer;
    FILE * pFile;
    int nFileSize;
    int RetValue;
 
    // open the BLIF file for binary reading
    pFile = Io_FileOpen( FileName, "open_path", "rb", 1 );
//    pFile = fopen( FileName, "rb" );
    // if we got this far, file should be okay otherwise would
    // have been detected by caller
    assert ( pFile != NULL );
    // get the file size, in bytes
    fseek( pFile, 0, SEEK_END );  
    nFileSize = ftell( pFile );  
    // move the file current reading position to the beginning
    rewind( pFile ); 
    // load the contents of the file into memory
    pBuffer   = ABC_ALLOC( char, nFileSize + 10 );
    RetValue = fread( pBuffer, nFileSize, 1, pFile );
    // terminate the string with '\0'
    pBuffer[ nFileSize ] = '\0';
    if ( fAddEnd )
        strcat( pBuffer, "\n.end\n" );
    // close file
    fclose( pFile );
    return pBuffer;
}

Here is the call graph for this function:

Here is the caller graph for this function: