sclLibScl.c File Reference

#include "sclLib.h"
#include "misc/st/st.h"
#include "map/mio/mio.h"
#include "bool/kit/kit.h"
#include "misc/extra/extra.h"
#include "misc/util/utilNam.h"
#include "map/scl/sclCon.h"

Include dependency graph for sclLibScl.c:

Go to the source code of this file.

Functions
SC_Lib *	Abc_SclReadFromGenlib (void *pLib0)
SC_Lib *	Abc_SclReadFromStr (Vec_Str_t *vOut)
SC_Lib *	Abc_SclReadFromFile (char *pFileName)
int	Abc_SclCountValidCells (SC_Lib *p)
void	Abc_SclWriteScl (char *pFileName, SC_Lib *p)
void	Abc_SclWriteLiberty (char *pFileName, SC_Lib *p)
SC_Lib *	Abc_SclMergeLibraries (SC_Lib *pLib1, SC_Lib *pLib2, int fUsePrefix)

Function Documentation

Abc_SclCountValidCells()

int Abc_SclCountValidCells

(

SC_Lib *

p

)

Definition at line 564 of file sclLibScl.c.

{
    SC_Cell * pCell;    
    int i, n_valid_cells = 0;
    SC_LibForEachCell( p, pCell, i )
        if ( !(pCell->seq || pCell->unsupp) )
            n_valid_cells++;
    return n_valid_cells;
}

Here is the caller graph for this function:

Abc_SclMergeLibraries()

SC_Lib * Abc_SclMergeLibraries	(	SC_Lib *	pLib1,
		SC_Lib *	pLib2,
		int	fUsePrefix )

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

Synopsis [Appends cells of pLib2 to those of pLib1.]

Description []

SideEffects []

SeeAlso []

Definition at line 869 of file sclLibScl.c.

{
    Vec_Str_t * vOut = Vec_StrAlloc( 10000 );
    int n_valid_cells2 = Abc_SclCountValidCells( pLib2 );
    Abc_SclWriteLibrary( vOut, pLib1, n_valid_cells2, fUsePrefix );
    Abc_SclWriteLibraryCellsOnly( vOut, pLib2, fUsePrefix ? 2 : 0 );
    SC_Lib * p = Abc_SclReadFromStr( vOut );
    p->pFileName = Abc_UtilStrsav( pLib1->pFileName );
    p->pName = ABC_ALLOC( char, strlen(pLib1->pName) + strlen(pLib2->pName) + 10 );
    sprintf( p->pName, "%s__and__%s", pLib1->pName, pLib2->pName );
    Vec_StrFree( vOut );
    printf( "Updated library \"%s\" with additional %d cells from library \"%s\".\n", pLib1->pName, n_valid_cells2, pLib2->pName );
    return p;
}

Here is the call graph for this function:

Abc_SclReadFromFile()

SC_Lib * Abc_SclReadFromFile

(

char *

pFileName

)

Definition at line 417 of file sclLibScl.c.

{
    SC_Lib * p;
    FILE * pFile;
    Vec_Str_t * vOut;
    int nFileSize;
    pFile = fopen( pFileName, "rb" );
    if ( pFile == NULL )
    {
        printf( "Cannot open file \"%s\" for reading.\n", pFileName );
        return NULL;
    }
    // get the file size, in bytes
    fseek( pFile, 0, SEEK_END );  
    nFileSize = ftell( pFile );  
    rewind( pFile ); 
    // load the contents
    vOut = Vec_StrAlloc( nFileSize );
    vOut->nSize = vOut->nCap;
    assert( nFileSize == Vec_StrSize(vOut) );
    nFileSize = fread( Vec_StrArray(vOut), 1, Vec_StrSize(vOut), pFile );
    assert( nFileSize == Vec_StrSize(vOut) );
    fclose( pFile );
    // read the library
    p = Abc_SclReadFromStr( vOut );
    if ( p != NULL )
        p->pFileName = Abc_UtilStrsav( pFileName );
    if ( p != NULL )
        Abc_SclLibNormalize( p );
    Vec_StrFree( vOut );
    return p;
}

Here is the call graph for this function:

Abc_SclReadFromGenlib()

SC_Lib * Abc_SclReadFromGenlib

(

void *

pLib0

)

Definition at line 169 of file sclLibScl.c.

{
    Mio_Library_t * pLib = (Mio_Library_t *)pLib0;
    SC_Lib * p = Abc_SclLibAlloc();
    if ( !Abc_SclReadLibraryGenlib( p, pLib ) )
        return NULL;
    // hash gates by name
    Abc_SclHashCells( p );
    Abc_SclLinkCells( p );
    return p;
}

Here is the call graph for this function:

Abc_SclReadFromStr()

SC_Lib * Abc_SclReadFromStr

(

Vec_Str_t *

vOut

)

Definition at line 403 of file sclLibScl.c.

{
    SC_Lib * p;
    int Pos = 0;
    // read the library
    p = Abc_SclLibAlloc();
    if ( !Abc_SclReadLibrary( vOut, &Pos, p ) )
        return NULL;
    assert( Pos == Vec_StrSize(vOut) );
    // hash gates by name
    Abc_SclHashCells( p );
    Abc_SclLinkCells( p );
    return p;
}

Here is the call graph for this function:

Here is the caller graph for this function:

Abc_SclWriteLiberty()

void Abc_SclWriteLiberty	(	char *	pFileName,
		SC_Lib *	p )

Definition at line 845 of file sclLibScl.c.

{
    FILE * pFile = fopen( pFileName, "wb" );
    if ( pFile == NULL )
        printf( "Cannot open text file \"%s\" for writing.\n", pFileName );
    else
    {
        Abc_SclWriteLibraryText( pFile, p );
        fclose( pFile );
        printf( "Dumped internal library with %d cells into Liberty file \"%s\".\n", SC_LibCellNum(p), pFileName );
    }
}

Abc_SclWriteScl()

void Abc_SclWriteScl	(	char *	pFileName,
		SC_Lib *	p )

Definition at line 629 of file sclLibScl.c.

{
    Vec_Str_t * vOut;
    vOut = Vec_StrAlloc( 10000 );
    Abc_SclWriteLibrary( vOut, p, 0, 0 );
    if ( Vec_StrSize(vOut) > 0 )
    {
        FILE * pFile = fopen( pFileName, "wb" );
        if ( pFile == NULL )
            printf( "Cannot open file \"%s\" for writing.\n", pFileName );
        else
        {
            fwrite( Vec_StrArray(vOut), 1, Vec_StrSize(vOut), pFile );
            fclose( pFile );
        }
    }
    Vec_StrFree( vOut );    
}