cbaPrs.h File Reference

Go to the source code of this file.

Data Structures
struct	Cba_Prs_t_

Macros
#define	Cba_PrsForEachModelVec(vVec, p, pName, i)   for ( i = 0; (i < Vec_IntSize(vVec)) && ((pName) = Abc_NamStr(p->pDesign->pNames, Vec_IntEntry(vVec,i))); i++ )

Typedefs
typedef struct Cba_Prs_t_	Cba_Prs_t
	BASIC TYPES ///. More...

Enumerations
enum	Cba_PrsType_t {   CBA_PRS_NONE = 0, CBA_PRS_NODE, CBA_PRS_BOX, CBA_PRS_LATCH,   CBA_PRS_CONCAT, CBA_PRS_UNKNOWN }
	INCLUDES ///. More...

Functions
static int	Cba_PrsErrorSet (Cba_Prs_t *p, char *pError, int Value)
	MACRO DEFINITIONS ///. More...
static void	Cba_PrsErrorClear (Cba_Prs_t *p)
static int	Cba_PrsErrorPrint (Cba_Prs_t *p)
static void	Cba_PrsSetupVecInt (Cba_Prs_t *p, Vec_Int_t *vTo, Vec_Int_t *vFrom)
static Cba_Ntk_t *	Cba_PrsAddCurrentModel (Cba_Prs_t *p, int iNameId)
static char *	Cba_PrsLoadFile (char *pFileName, char **ppLimit)
static Cba_Prs_t *	Cba_PrsAlloc (char *pFileName)
static void	Cba_PrsFree (Cba_Prs_t *p)

Macro Definition Documentation

#define Cba_PrsForEachModelVec	(		vVec,
			p,
			pName,
			i
	)		for ( i = 0; (i < Vec_IntSize(vVec)) && ((pName) = Abc_NamStr(p->pDesign->pNames, Vec_IntEntry(vVec,i))); i++ )

Definition at line 84 of file cbaPrs.h.

Typedef Documentation

typedef struct Cba_Prs_t_ Cba_Prs_t

BASIC TYPES ///.

Definition at line 50 of file cbaPrs.h.

Enumeration Type Documentation

enum Cba_PrsType_t

INCLUDES ///.

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

FileName [cbaPrs.h]

SystemName [ABC: Logic synthesis and verification system.]

PackageName [Verilog parser.]

Synopsis [External declarations.]

Author [Alan Mishchenko]

Affiliation [UC Berkeley]

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

Revision [

Id:

cbaPrs.h,v 1.00 2014/11/29 00:00:00 alanmi Exp

]PARAMETERS ///

Enumerator
CBA_PRS_NONE
CBA_PRS_NODE
CBA_PRS_BOX
CBA_PRS_LATCH
CBA_PRS_CONCAT
CBA_PRS_UNKNOWN

Definition at line 36 of file cbaPrs.h.

             { 
    CBA_PRS_NONE = 0,    // 0:  unused
    CBA_PRS_NODE,        // 1:  .names/assign/box2 (box without formal/actual binding)
    CBA_PRS_BOX,         // 2:  .subckt/.gate/box (box with formal/actual binding)
    CBA_PRS_LATCH,       // 3:  .latch
    CBA_PRS_CONCAT,      // 4:  concatenation
    CBA_PRS_UNKNOWN      // 5:  unknown
} Cba_PrsType_t; 

Function Documentation

static Cba_Ntk_t* Cba_PrsAddCurrentModel ( Cba_Prs_t *  p, int  iNameId  )

inlinestatic

Definition at line 125 of file cbaPrs.h.

{
    Cba_Ntk_t * pNtk = Cba_NtkAlloc( p->pDesign, Abc_NamStr(p->pDesign->pNames, iNameId) );
    assert( Vec_IntSize(&p->vInputsCur) != 0 || Vec_IntSize(&p->vOutputsCur) != 0 );
    Cba_PrsSetupVecInt( p, &pNtk->vInouts,  &p->vInoutsCur  );
    Cba_PrsSetupVecInt( p, &pNtk->vInputs,  &p->vInputsCur  );
    Cba_PrsSetupVecInt( p, &pNtk->vOutputs, &p->vOutputsCur );
    Cba_PrsSetupVecInt( p, &pNtk->vWires,   &p->vWiresCur   );
    Cba_PrsSetupVecInt( p, &pNtk->vTypes,   &p->vTypesCur   );
    Cba_PrsSetupVecInt( p, &pNtk->vFuncs,   &p->vFuncsCur   );
    Cba_PrsSetupVecInt( p, &pNtk->vInstIds, &p->vInstIdsCur );
    pNtk->vFanins = p->vFaninsCur;
    Vec_WecZero( &p->vFaninsCur );
    return pNtk;
}

static Cba_Prs_t* Cba_PrsAlloc ( char *  pFileName )

inlinestatic

Definition at line 168 of file cbaPrs.h.

{
    Cba_Prs_t * p;
    char * pBuffer, * pLimit;
    pBuffer = Cba_PrsLoadFile( pFileName, &pLimit );
    if ( pBuffer == NULL )
        return NULL;
    p = ABC_CALLOC( Cba_Prs_t, 1 );
    p->pName   = pFileName;
    p->pBuffer = pBuffer;
    p->pLimit  = pLimit;
    p->pCur    = pBuffer;
    p->pDesign = Cba_ManAlloc( pFileName );
    return p;
}

static void Cba_PrsErrorClear ( Cba_Prs_t *  p )

inlinestatic

Definition at line 99 of file cbaPrs.h.

{
    p->ErrorStr[0] = '\0';
}

static int Cba_PrsErrorPrint ( Cba_Prs_t *  p )

inlinestatic

Definition at line 104 of file cbaPrs.h.

{
    char * pThis; int iLine = 0;
    if ( !p->ErrorStr[0] ) return 1;
    for ( pThis = p->pBuffer; pThis < p->pCur; pThis++ )
        iLine += (int)(*pThis == '\n');
    printf( "Line %d: %s\n", iLine, p->ErrorStr );
    return 0;
}

static int Cba_PrsErrorSet ( Cba_Prs_t *  p, char *  pError, int  Value  )

inlinestatic

MACRO DEFINITIONS ///.

Definition at line 92 of file cbaPrs.h.

{
    assert( !p->ErrorStr[0] );
    sprintf( p->ErrorStr, "%s", pError );
    return Value;
}

static void Cba_PrsFree ( Cba_Prs_t *  p )

inlinestatic

Definition at line 183 of file cbaPrs.h.

{
    if ( p->pDesign )
        Cba_ManFree( p->pDesign );
    Vec_IntErase( &p->vInoutsCur );
    Vec_IntErase( &p->vInputsCur );
    Vec_IntErase( &p->vOutputsCur );
    Vec_IntErase( &p->vWiresCur );

    Vec_IntErase( &p->vTypesCur );
    Vec_IntErase( &p->vFuncsCur );
    Vec_IntErase( &p->vInstIdsCur );
    ABC_FREE( p->vFaninsCur.pArray );
    // temporary
    Vec_StrErase( &p->vCover );
    Vec_IntErase( &p->vTemp );
    Vec_IntErase( &p->vTemp2 );

    Vec_IntErase( &p->vKnown );
    Vec_IntErase( &p->vFailed );
    Vec_IntErase( &p->vSucceeded );
    ABC_FREE( p->pBuffer );
    ABC_FREE( p );
}

static char* Cba_PrsLoadFile ( char *  pFileName, char **  ppLimit  )

inlinestatic

Definition at line 143 of file cbaPrs.h.

{
    char * pBuffer;
    int nFileSize, RetValue;
    FILE * pFile = fopen( pFileName, "rb" );
    if ( pFile == NULL )
    {
        printf( "Cannot open input file.\n" );
        return 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 + 3 );
    pBuffer[0] = '\n';
    RetValue = fread( pBuffer+1, nFileSize, 1, pFile );
    // terminate the string with '\0'
    pBuffer[nFileSize + 0] = '\n';
    pBuffer[nFileSize + 1] = '\0';
    *ppLimit = pBuffer + nFileSize + 2;
    return pBuffer;
}

static void Cba_PrsSetupVecInt ( Cba_Prs_t *  p, Vec_Int_t *  vTo, Vec_Int_t *  vFrom  )

inlinestatic

Definition at line 116 of file cbaPrs.h.

{
    if ( Vec_IntSize(vFrom) == 0 )
        return;
    vTo->nSize = vTo->nCap = Vec_IntSize(vFrom);
    vTo->pArray = (int *)Mem_FlexEntryFetch( p->pDesign->pMem, sizeof(int) * Vec_IntSize(vFrom) );
    memcpy( Vec_IntArray(vTo), Vec_IntArray(vFrom), sizeof(int) * Vec_IntSize(vFrom) );
    Vec_IntClear( vFrom );
}