bacBac.c File Reference

#include "bac.h"

Include dependency graph for bacBac.c:

Go to the source code of this file.

Functions
ABC_NAMESPACE_IMPL_START int	BacManReadBacLine (Vec_Str_t *vOut, int *pPos, char *pBuffer, char *pLimit)
	DECLARATIONS ///.
int	BacManReadBacNameAndNums (char *pBuffer, int *Num1, int *Num2, int *Num3, int *Num4)
void	Bac_ManReadBacVecStr (Vec_Str_t *vOut, int *pPos, Vec_Str_t *p, int nSize)
void	Bac_ManReadBacVecInt (Vec_Str_t *vOut, int *pPos, Vec_Int_t *p, int nSize)
void	Bac_ManReadBacNtk (Vec_Str_t *vOut, int *pPos, Bac_Ntk_t *pNtk)
Bac_Man_t *	Bac_ManReadBacInt (Vec_Str_t *vOut)
Bac_Man_t *	Bac_ManReadBac (char *pFileName)
void	Bac_ManWriteBacNtk (Vec_Str_t *vOut, Bac_Ntk_t *pNtk)
void	Bac_ManWriteBacInt (Vec_Str_t *vOut, Bac_Man_t *p)
void	Bac_ManWriteBac (char *pFileName, Bac_Man_t *p)

Function Documentation

Bac_ManReadBac()

Bac_Man_t * Bac_ManReadBac

(

char *

pFileName

)

Definition at line 181 of file bacBac.c.

{
    Bac_Man_t * 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 networks
    p = Bac_ManReadBacInt( vOut );
    if ( p != NULL )
    {
        ABC_FREE( p->pSpec );
        p->pSpec = Abc_UtilStrsav( pFileName );
    }
    Vec_StrFree( vOut );
    return p;
}

Here is the call graph for this function:

Bac_ManReadBacInt()

Bac_Man_t * Bac_ManReadBacInt

(

Vec_Str_t *

vOut

)

Definition at line 142 of file bacBac.c.

{
    Bac_Man_t * p;
    Bac_Ntk_t * pNtk;
    char Buffer[1000] = "#"; 
    int i, NameId, Pos = 0, nNtks, Num1, Num2, Num3, Num4;
    while ( Buffer[0] == '#' )
        if ( !BacManReadBacLine(vOut, &Pos, Buffer, Buffer+1000) )
            return NULL;
    if ( !BacManReadBacNameAndNums(Buffer, &nNtks, &Num2, &Num3, &Num4) )
        return NULL;
    // start manager
    assert( nNtks > 0 );
    p = Bac_ManAlloc( Buffer, nNtks );
    // start networks
    Bac_ManForEachNtk( p, pNtk, i )
    {
        if ( !BacManReadBacLine(vOut, &Pos, Buffer, Buffer+1000) )
        {
            Bac_ManFree( p );
            return NULL;
        }
        if ( !BacManReadBacNameAndNums(Buffer, &Num1, &Num2, &Num3, &Num4) )
        {
            Bac_ManFree( p );
            return NULL;
        }
        assert( Num1 >= 0 && Num2 >= 0 && Num3 >= 0 );
        NameId = Abc_NamStrFindOrAdd( p->pStrs, Buffer, NULL );
        Bac_NtkAlloc( pNtk, NameId, Num1, Num2, Num3 );
        Vec_IntFill( &pNtk->vInfo, 3 * Num4, -1 );
    }
    // read networks
    Bac_ManForEachNtk( p, pNtk, i )
        Bac_ManReadBacNtk( vOut, &Pos, pNtk );
    assert( Bac_ManNtkNum(p) == nNtks );
    assert( Pos == Vec_StrSize(vOut) );
    return p;
}

Here is the call graph for this function:

Here is the caller graph for this function:

Bac_ManReadBacNtk()

void Bac_ManReadBacNtk	(	Vec_Str_t *	vOut,
		int *	pPos,
		Bac_Ntk_t *	pNtk )

Definition at line 102 of file bacBac.c.

{
    int i, Type;
    //char * pName; int iObj, NameId;
    Bac_ManReadBacVecStr( vOut, pPos, &pNtk->vType,      Bac_NtkObjNumAlloc(pNtk) );
    Bac_ManReadBacVecInt( vOut, pPos, &pNtk->vFanin, 4 * Bac_NtkObjNumAlloc(pNtk) );
    Bac_ManReadBacVecInt( vOut, pPos, &pNtk->vInfo, 12 * Bac_NtkInfoNumAlloc(pNtk) );
    Bac_NtkForEachObjType( pNtk, Type, i )
    {
        if ( Type == BAC_OBJ_PI )
            Vec_IntPush( &pNtk->vInputs, i );
        if ( Type == BAC_OBJ_PO )
            Vec_IntPush( &pNtk->vOutputs, i );
    }
    assert( Bac_NtkPiNum(pNtk)  == Bac_NtkPiNumAlloc(pNtk) );
    assert( Bac_NtkPoNum(pNtk)  == Bac_NtkPoNumAlloc(pNtk) );
    assert( Bac_NtkObjNum(pNtk) == Bac_NtkObjNumAlloc(pNtk) );
    assert( Bac_NtkInfoNum(pNtk) == Bac_NtkInfoNumAlloc(pNtk) );
/*
    // read input/output/box names
    Bac_NtkForEachPiMain( pNtk, iObj, i )
    {
        pName = Vec_StrEntryP( vOut, Pos );     
        NameId = Abc_NamStrFindOrAdd( p->pStrs, pName, NULL );
        Pos += strlen(pName) + 1;
    }
    Bac_NtkForEachPoMain( pNtk, iObj, i )
    {
        pName = Vec_StrEntryP( vOut, Pos );     
        NameId = Abc_NamStrFindOrAdd( p->pStrs, pName, NULL );
        Pos += strlen(pName) + 1;
    }
    Bac_NtkForEachBox( pNtk, iObj )
    {
        pName = Vec_StrEntryP( vOut, Pos );     
        NameId = Abc_NamStrFindOrAdd( p->pStrs, pName, NULL );
        Pos += strlen(pName) + 1;
    }
*/
}

Here is the call graph for this function:

Here is the caller graph for this function:

Bac_ManReadBacVecInt()

void Bac_ManReadBacVecInt	(	Vec_Str_t *	vOut,
		int *	pPos,
		Vec_Int_t *	p,
		int	nSize )

Definition at line 95 of file bacBac.c.

{
    memcpy( Vec_IntArray(p), Vec_StrArray(vOut) + *pPos, (size_t)nSize );
    *pPos += nSize;
    p->nSize = nSize / 4;
    assert( Vec_IntSize(p) == Vec_IntCap(p) );
}

Here is the call graph for this function:

Here is the caller graph for this function:

Bac_ManReadBacVecStr()

void Bac_ManReadBacVecStr	(	Vec_Str_t *	vOut,
		int *	pPos,
		Vec_Str_t *	p,
		int	nSize )

Definition at line 88 of file bacBac.c.

{
    memcpy( Vec_StrArray(p), Vec_StrArray(vOut) + *pPos, (size_t)nSize );
    *pPos += nSize;
    p->nSize = nSize;
    assert( Vec_StrSize(p) == Vec_StrCap(p) );
}

Here is the call graph for this function:

Here is the caller graph for this function:

Bac_ManWriteBac()

void Bac_ManWriteBac	(	char *	pFileName,
		Bac_Man_t *	p )

Definition at line 272 of file bacBac.c.

{
    Vec_Str_t * vOut;
    assert( p->pMioLib == NULL );
    vOut = Vec_StrAlloc( 10000 );
    Bac_ManWriteBacInt( vOut, p );
    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 );    
}

Here is the call graph for this function:

Bac_ManWriteBacInt()

void Bac_ManWriteBacInt	(	Vec_Str_t *	vOut,
		Bac_Man_t *	p )

Definition at line 254 of file bacBac.c.

{
    char Buffer[1000];
    Bac_Ntk_t * pNtk; int i;
    sprintf( Buffer, "# Design \"%s\" written by ABC on %s\n", Bac_ManName(p), Extra_TimeStamp() );
    Vec_StrPrintStr( vOut, Buffer );
    // write short info
    sprintf( Buffer, "%s %d \n", Bac_ManName(p), Bac_ManNtkNum(p) );
    Vec_StrPrintStr( vOut, Buffer );
    Bac_ManForEachNtk( p, pNtk, i )
    {
        sprintf( Buffer, "%s %d %d %d %d \n", Bac_NtkName(pNtk), 
            Bac_NtkPiNum(pNtk), Bac_NtkPoNum(pNtk), Bac_NtkObjNum(pNtk), Bac_NtkInfoNum(pNtk) );
        Vec_StrPrintStr( vOut, Buffer );
    }
    Bac_ManForEachNtk( p, pNtk, i )
        Bac_ManWriteBacNtk( vOut, pNtk );
}

Here is the call graph for this function:

Here is the caller graph for this function:

Bac_ManWriteBacNtk()

void Bac_ManWriteBacNtk	(	Vec_Str_t *	vOut,
		Bac_Ntk_t *	pNtk )

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

Synopsis [Write CBA.]

Description []

SideEffects []

SeeAlso []

Definition at line 226 of file bacBac.c.

{
    //char * pName; int iObj, NameId;
    Vec_StrPushBuffer( vOut, (char *)Vec_StrArray(&pNtk->vType),       Bac_NtkObjNum(pNtk) );
    Vec_StrPushBuffer( vOut, (char *)Vec_IntArray(&pNtk->vFanin),  4 * Bac_NtkObjNum(pNtk) );
    Vec_StrPushBuffer( vOut, (char *)Vec_IntArray(&pNtk->vInfo),  12 * Bac_NtkInfoNum(pNtk) );
/*
    // write input/output/box names
    Bac_NtkForEachPiMain( pNtk, iObj, i )
    {
        pName = Bac_ObjNameStr( pNtk, iObj );
        Vec_StrPrintStr( vOut, pName );
        Vec_StrPush( vOut, '\0' );
    }
    Bac_NtkForEachPoMain( pNtk, iObj, i )
    {
        pName = Bac_ObjNameStr( pNtk, iObj );
        Vec_StrPrintStr( vOut, pName );
        Vec_StrPush( vOut, '\0' );
    }
    Bac_NtkForEachBox( pNtk, iObj )
    {
        pName = Bac_ObjNameStr( pNtk, iObj );  
        Vec_StrPrintStr( vOut, pName );
        Vec_StrPush( vOut, '\0' );
    }
*/
}

Here is the caller graph for this function:

BacManReadBacLine()

ABC_NAMESPACE_IMPL_START int BacManReadBacLine	(	Vec_Str_t *	vOut,
		int *	pPos,
		char *	pBuffer,
		char *	pLimit )

DECLARATIONS ///.

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

FileName [bacBac.c]

SystemName [ABC: Logic synthesis and verification system.]

PackageName [Hierarchical word-level netlist.]

Synopsis [Verilog parser.]

Author [Alan Mishchenko]

Affiliation [UC Berkeley]

Date [Ver. 1.0. Started - November 29, 2014.]

Revision [

Id

bacBac.c,v 1.00 2014/11/29 00:00:00 alanmi Exp

] FUNCTION DEFINITIONS /// Function*************************************************************

Synopsis [Read CBA.]

Description []

SideEffects []

SeeAlso []

Definition at line 45 of file bacBac.c.

{
    char c;
    while ( (c = Vec_StrEntry(vOut, (*pPos)++)) != '\n' && pBuffer < pLimit )
        *pBuffer++ = c;
    *pBuffer = 0;
    return pBuffer < pLimit;
}

Here is the caller graph for this function:

BacManReadBacNameAndNums()

int BacManReadBacNameAndNums	(	char *	pBuffer,
		int *	Num1,
		int *	Num2,
		int *	Num3,
		int *	Num4 )

Definition at line 53 of file bacBac.c.

{
    *Num1 = *Num2 = *Num3 = *Num4 = -1;
    // read name
    while ( *pBuffer && *pBuffer != ' ' )
        pBuffer++;
    if ( !*pBuffer )
        return 0;
    assert( *pBuffer == ' ' );
    *pBuffer = 0;
    // read Num1
    *Num1 = atoi(++pBuffer);
    while ( *pBuffer && *pBuffer != ' ' )
        pBuffer++;
    if ( !*pBuffer )
        return 0;
    // read Num2
    assert( *pBuffer == ' ' );
    *Num2 = atoi(++pBuffer);
    while ( *pBuffer && *pBuffer != ' ' )
        pBuffer++;
    if ( !*pBuffer )
        return 1;
    // read Num3
    assert( *pBuffer == ' ' );
    *Num3 = atoi(++pBuffer);
    while ( *pBuffer && *pBuffer != ' ' )
        pBuffer++;
    if ( !*pBuffer )
        return 1;
    // read Num4
    assert( *pBuffer == ' ' );
    *Num4 = atoi(++pBuffer);
    return 1;
}

Here is the caller graph for this function: