cbaReadBlif.c File Reference

#include "cba.h"
#include "cbaPrs.h"

Go to the source code of this file.

Enumerations
enum	Cba_BlifType_t {   CBA_BLIF_NONE = 0, CBA_BLIF_MODEL, CBA_BLIF_INOUTS, CBA_BLIF_INPUTS,   CBA_BLIF_OUTPUTS, CBA_BLIF_NAMES, CBA_BLIF_SUBCKT, CBA_BLIF_GATE,   CBA_BLIF_LATCH, CBA_BLIF_SHORT, CBA_BLIF_END, CBA_BLIF_UNKNOWN }
	DECLARATIONS ///. More...

Functions
static void	Cba_PrsAddBlifDirectives (Cba_Prs_t *p)
static int	Cba_CharIsSpace (char c)
	FUNCTION DEFINITIONS ///. More...
static int	Cba_CharIsStop (char c)
static int	Cba_CharIsLit (char c)
static int	Cba_PrsIsSpace (Cba_Prs_t *p)
static int	Cba_PrsIsStop (Cba_Prs_t *p)
static int	Cba_PrsIsLit (Cba_Prs_t *p)
static int	Cba_PrsIsChar (Cba_Prs_t *p, char c)
static int	Cba_PrsIsChar2 (Cba_Prs_t *p, char c)
static void	Cba_PrsSkip (Cba_Prs_t *p)
static char	Cba_PrsSkip2 (Cba_Prs_t *p)
static void	Cba_PrsSkipToChar (Cba_Prs_t *p, char c)
static void	Cba_PrsSkipSpaces (Cba_Prs_t *p)
static int	Cba_PrsReadName (Cba_Prs_t *p)
static int	Cba_PrsReadList (Cba_Prs_t *p)
static int	Cba_PrsReadList2 (Cba_Prs_t *p)
static int	Cba_PrsReadList3 (Cba_Prs_t *p)
static int	Cba_PrsReadCube (Cba_Prs_t *p)
static void	Cba_PrsSaveCover (Cba_Prs_t *p)
static int	Cba_PrsReadInouts (Cba_Prs_t *p)
static int	Cba_PrsReadInputs (Cba_Prs_t *p)
static int	Cba_PrsReadOutputs (Cba_Prs_t *p)
static int	Cba_PrsReadNode (Cba_Prs_t *p)
static int	Cba_PrsReadBox (Cba_Prs_t *p, int fGate)
static int	Cba_PrsReadLatch (Cba_Prs_t *p)
static int	Cba_PrsReadShort (Cba_Prs_t *p)
static int	Cba_PrsReadModel (Cba_Prs_t *p)
static int	Cba_PrsReadEnd (Cba_Prs_t *p)
static int	Cba_PrsReadDirective (Cba_Prs_t *p)
static int	Cba_PrsReadLines (Cba_Prs_t *p)
Cba_Man_t *	Cba_PrsReadBlif (char *pFileName)
void	Cba_PrsReadBlifTest (char *pFileName)

Variables
const char *	s_BlifTypes [CBA_BLIF_UNKNOWN+1]

Enumeration Type Documentation

enum Cba_BlifType_t

DECLARATIONS ///.

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

FileName [cbaReadBlif.c]

SystemName [ABC: Logic synthesis and verification system.]

PackageName [Verilog parser.]

Synopsis [Parses several flavors of word-level Verilog.]

Author [Alan Mishchenko]

Affiliation [UC Berkeley]

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

Revision [

Id:

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

]

Enumerator
CBA_BLIF_NONE
CBA_BLIF_MODEL
CBA_BLIF_INOUTS
CBA_BLIF_INPUTS
CBA_BLIF_OUTPUTS
CBA_BLIF_NAMES
CBA_BLIF_SUBCKT
CBA_BLIF_GATE
CBA_BLIF_LATCH
CBA_BLIF_SHORT
CBA_BLIF_END
CBA_BLIF_UNKNOWN

Definition at line 31 of file cbaReadBlif.c.

             { 
    CBA_BLIF_NONE = 0, // 0:   unused
    CBA_BLIF_MODEL,    // 1:   .model
    CBA_BLIF_INOUTS,   // 2:   .inouts
    CBA_BLIF_INPUTS,   // 3:   .inputs
    CBA_BLIF_OUTPUTS,  // 4:   .outputs
    CBA_BLIF_NAMES,    // 5:   .names
    CBA_BLIF_SUBCKT,   // 6:   .subckt
    CBA_BLIF_GATE,     // 7:   .gate
    CBA_BLIF_LATCH,    // 8:   .latch
    CBA_BLIF_SHORT,    // 9:   .short
    CBA_BLIF_END,      // 10:  .end
    CBA_BLIF_UNKNOWN   // 11:  unknown
} Cba_BlifType_t;

Function Documentation

static int Cba_CharIsLit ( char  c )

inlinestatic

Definition at line 90 of file cbaReadBlif.c.

{ return c == '0' || c == '1'  || c == '-';               }

static int Cba_CharIsSpace ( char  c )

inlinestatic

FUNCTION DEFINITIONS ///.

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

Synopsis [Reading characters.]

Description []

SideEffects []

SeeAlso []

Definition at line 88 of file cbaReadBlif.c.

{ return c == ' ' || c == '\t' || c == '\r';              }

static int Cba_CharIsStop ( char  c )

inlinestatic

Definition at line 89 of file cbaReadBlif.c.

{ return c == '#' || c == '\\' || c == '\n' || c == '=';  }

static void Cba_PrsAddBlifDirectives ( Cba_Prs_t *  p )

inlinestatic

Definition at line 61 of file cbaReadBlif.c.

{
    int i;
    for ( i = 1; s_BlifTypes[i]; i++ )
        Abc_NamStrFindOrAdd( p->pDesign->pNames, (char *)s_BlifTypes[i],   NULL );
    assert( Abc_NamObjNumMax(p->pDesign->pNames) == i );
    Abc_NamStrFindOrAdd( p->pDesign->pFuncs, (char *)" 0\n",   NULL );  // default const 0 function
    Abc_NamStrFindOrAdd( p->pDesign->pFuncs, (char *)"1 1\n",   NULL ); // default buffer function
    assert( Abc_NamObjNumMax(p->pDesign->pFuncs) == 3 );
}

static int Cba_PrsIsChar ( Cba_Prs_t *  p, char  c  )

inlinestatic

Definition at line 96 of file cbaReadBlif.c.

{ return *p->pCur == c;                                   }

static int Cba_PrsIsChar2 ( Cba_Prs_t *  p, char  c  )

inlinestatic

Definition at line 97 of file cbaReadBlif.c.

{ return *p->pCur++ == c;                                 }

static int Cba_PrsIsLit ( Cba_Prs_t *  p )

inlinestatic

Definition at line 94 of file cbaReadBlif.c.

{ return Cba_CharIsLit(*p->pCur);                         }

static int Cba_PrsIsSpace ( Cba_Prs_t *  p )

inlinestatic

Definition at line 92 of file cbaReadBlif.c.

{ return Cba_CharIsSpace(*p->pCur);                       }

static int Cba_PrsIsStop ( Cba_Prs_t *  p )

inlinestatic

Definition at line 93 of file cbaReadBlif.c.

{ return Cba_CharIsStop(*p->pCur);                        }

Cba_Man_t* Cba_PrsReadBlif

(

char *

pFileName

)

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

Synopsis []

Description []

SideEffects []

SeeAlso []

Definition at line 400 of file cbaReadBlif.c.

{
    Cba_Man_t * pDesign = NULL;
    Cba_Prs_t * p = Cba_PrsAlloc( pFileName );
    if ( p == NULL )
        return NULL;
    Cba_PrsAddBlifDirectives( p );
    Cba_PrsReadLines( p );
    if ( Cba_PrsErrorPrint(p) )
        ABC_SWAP( Cba_Man_t *, pDesign, p->pDesign );
    Cba_PrsFree( p );
    return pDesign;
}

void Cba_PrsReadBlifTest

(

char *

pFileName

)

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

Synopsis []

Description []

SideEffects []

SeeAlso []

Definition at line 425 of file cbaReadBlif.c.

{
    abctime clk = Abc_Clock();
    extern void Cba_PrsWriteBlif( char * pFileName, Cba_Man_t * pDes );
    Cba_Man_t * p = Cba_PrsReadBlif( "aga/ray/ray_hie_oper.blif" );
    if ( !p ) return;
    printf( "Finished reading %d networks. ", Cba_ManNtkNum(p) );
    printf( "NameIDs = %d. ", Abc_NamObjNumMax(p->pNames) );
    printf( "Memory = %.2f MB. ", 1.0*Cba_ManMemory(p)/(1<<20) );
    Abc_PrintTime( 1, "Time", Abc_Clock() - clk );
//    Abc_NamPrint( p->pDesign->pNames );
    Cba_PrsWriteBlif( "aga/ray/ray_hie_oper_out.blif", p );
    Cba_ManFree( p );
}

static int Cba_PrsReadBox ( Cba_Prs_t *  p, int  fGate  )

inlinestatic

Definition at line 273 of file cbaReadBlif.c.

{
    int iToken = Cba_PrsReadName(p);
    if ( iToken == 0 )           return Cba_PrsErrorSet(p, "Cannot read model name.", 1);
    if ( Cba_PrsReadList3(p) )   return 1;
    // save results
    Vec_IntPush( &p->vTypesCur, CBA_PRS_BOX );
    Vec_IntPush( &p->vFuncsCur, iToken );
    Cba_PrsSetupVecInt( p, Vec_WecPushLevel(&p->vFaninsCur), &p->vTemp );
    return 0;
}

static int Cba_PrsReadCube ( Cba_Prs_t *  p )

inlinestatic

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

Synopsis []

Description []

SideEffects []

SeeAlso []

Definition at line 201 of file cbaReadBlif.c.

{
    assert( Cba_PrsIsLit(p) );
    while ( Cba_PrsIsLit(p) )
        Vec_StrPush( &p->vCover, Cba_PrsSkip2(p) );
    Cba_PrsSkipSpaces( p );
    if ( Cba_PrsIsChar(p, '\n') )
    {
        if ( Vec_StrSize(&p->vCover) != 1 )            return Cba_PrsErrorSet(p, "Cannot read cube.", 1);
        // fix single literal cube by adding space
        Vec_StrPush( &p->vCover, Vec_StrEntry(&p->vCover,0) );
        Vec_StrWriteEntry( &p->vCover, 0, ' ' );
        Vec_StrPush( &p->vCover, '\n' );
        return 0;
    }
    if ( !Cba_PrsIsLit(p) )                           return Cba_PrsErrorSet(p, "Cannot read output literal.", 1);
    Vec_StrPush( &p->vCover, ' ' );
    Vec_StrPush( &p->vCover, Cba_PrsSkip2(p) );
    Vec_StrPush( &p->vCover, '\n' );
    Cba_PrsSkipSpaces( p );
    if ( !Cba_PrsIsChar(p, '\n') )                    return Cba_PrsErrorSet(p, "Cannot read end of cube.", 1);
    return 0;
}

static int Cba_PrsReadDirective ( Cba_Prs_t *  p )

inlinestatic

Definition at line 343 of file cbaReadBlif.c.

{
    int iToken;
    if ( !Cba_PrsIsChar(p, '.') )
        return Cba_PrsReadCube( p );
    if ( Vec_StrSize(&p->vCover) > 0 ) // SOP was specified for the previous node
        Cba_PrsSaveCover( p );
    iToken = Cba_PrsReadName( p );  
    if ( iToken == CBA_BLIF_MODEL )
        return Cba_PrsReadModel( p );
    if ( iToken == CBA_BLIF_INOUTS )
        return Cba_PrsReadInouts( p );
    if ( iToken == CBA_BLIF_INPUTS )
        return Cba_PrsReadInputs( p );
    if ( iToken == CBA_BLIF_OUTPUTS )
        return Cba_PrsReadOutputs( p );
    if ( iToken == CBA_BLIF_NAMES )
        return Cba_PrsReadNode( p );
    if ( iToken == CBA_BLIF_SUBCKT )
        return Cba_PrsReadBox( p, 0 );
    if ( iToken == CBA_BLIF_GATE )
        return Cba_PrsReadBox( p, 1 );
    if ( iToken == CBA_BLIF_LATCH )
        return Cba_PrsReadLatch( p );
    if ( iToken == CBA_BLIF_SHORT )
        return Cba_PrsReadShort( p );
    if ( iToken == CBA_BLIF_END )
        return Cba_PrsReadEnd( p );
    printf( "Cannot read directive \"%s\".\n", Abc_NamStr(p->pDesign->pNames, iToken) );
    return 1;
}

static int Cba_PrsReadEnd ( Cba_Prs_t *  p )

inlinestatic

Definition at line 332 of file cbaReadBlif.c.

{
    if ( p->iModuleName == 0 )                     return Cba_PrsErrorSet(p, "Directive .end without .model.", 1);
    //printf( "Saving model \"%s\".\n", Abc_NamStr(p->pDesign->pNames, p->iModuleName) );
    Cba_PrsAddCurrentModel( p, p->iModuleName );
    p->iModuleName = 0;
    Cba_PrsSkipSpaces( p );
    if ( !Cba_PrsIsChar(p, '\n') )                 return Cba_PrsErrorSet(p, "Trailing symbols on .end line.", 1);
    return 0;
}

static int Cba_PrsReadInouts ( Cba_Prs_t *  p )

inlinestatic

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

Synopsis []

Description []

SideEffects []

SeeAlso []

Definition at line 246 of file cbaReadBlif.c.

{
    if ( Cba_PrsReadList(p) )    return 1;
    Vec_IntAppend( &p->vInoutsCur, &p->vTemp );
    return 0;
}

static int Cba_PrsReadInputs ( Cba_Prs_t *  p )

inlinestatic

Definition at line 252 of file cbaReadBlif.c.

{
    if ( Cba_PrsReadList(p) )    return 1;
    Vec_IntAppend( &p->vInputsCur, &p->vTemp );
    return 0;
}

static int Cba_PrsReadLatch ( Cba_Prs_t *  p )

inlinestatic

Definition at line 284 of file cbaReadBlif.c.

{
    int iToken = Cba_PrsReadName(p);
    Vec_IntFill( &p->vTemp, 2, -1 );
    if ( iToken == 0 )                 return Cba_PrsErrorSet(p, "Cannot read latch input.", 1);
    Vec_IntWriteEntry( &p->vTemp, 1, iToken );
    iToken = Cba_PrsReadName(p);
    if ( iToken == 0 )                 return Cba_PrsErrorSet(p, "Cannot read latch output.", 1);
    Vec_IntWriteEntry( &p->vTemp, 0, iToken );
    Cba_PrsSkipSpaces( p );
    if ( Cba_PrsIsChar(p, '0') )
        iToken = 0;
    else if ( Cba_PrsIsChar(p, '1') )
        iToken = 1;
    else 
        iToken = 2;
    Cba_PrsSkipToChar( p, '\n' );
    // save results
    Vec_IntPush( &p->vTypesCur, CBA_PRS_LATCH );
    Vec_IntPush( &p->vFuncsCur, iToken );
    Cba_PrsSetupVecInt( p, Vec_WecPushLevel(&p->vFaninsCur), &p->vTemp );
    return 0;
}

static int Cba_PrsReadLines ( Cba_Prs_t *  p )

inlinestatic

Definition at line 374 of file cbaReadBlif.c.

{
    while ( p->pCur[1] != '\0' )
    {
        assert( Cba_PrsIsChar(p, '\n') );
        Cba_PrsSkip(p);
        Cba_PrsSkipSpaces( p );
        if ( Cba_PrsIsChar(p, '\n') )
            continue;
        if ( Cba_PrsReadDirective(p) )   
            return 1;
    }
    return 0;
}

static int Cba_PrsReadList ( Cba_Prs_t *  p )

inlinestatic

Definition at line 150 of file cbaReadBlif.c.

{
    int iToken;
    Vec_IntClear( &p->vTemp );
    while ( (iToken = Cba_PrsReadName(p)) )
        Vec_IntPush( &p->vTemp, iToken );
    if ( Vec_IntSize(&p->vTemp) == 0 )                return Cba_PrsErrorSet(p, "Signal list is empty.", 1);
    return 0;
}

static int Cba_PrsReadList2 ( Cba_Prs_t *  p )

inlinestatic

Definition at line 159 of file cbaReadBlif.c.

{
    int iToken;
    Vec_IntFill( &p->vTemp, 1, -1 );
    while ( (iToken = Cba_PrsReadName(p)) )
        Vec_IntPush( &p->vTemp, iToken );
    iToken = Vec_IntPop(&p->vTemp);
    if ( Vec_IntSize(&p->vTemp) == 0 )                return Cba_PrsErrorSet(p, "Signal list is empty.", 1);
    Vec_IntWriteEntry( &p->vTemp, 0, iToken );
    return 0;
}

static int Cba_PrsReadList3 ( Cba_Prs_t *  p )

inlinestatic

Definition at line 170 of file cbaReadBlif.c.

{
    Vec_IntClear( &p->vTemp );
    while ( !Cba_PrsIsChar(p, '\n') )
    {
        int iToken = Cba_PrsReadName(p);
        if ( iToken == 0 )              return Cba_PrsErrorSet(p, "Cannot read formal name.", 1);
        Vec_IntPush( &p->vTemp, iToken );
        Cba_PrsSkipSpaces( p );
        if ( !Cba_PrsIsChar2(p, '=') )  return Cba_PrsErrorSet(p, "Cannot find symbol \"=\".", 1);
        iToken = Cba_PrsReadName(p);
        if ( iToken == 0 )              return Cba_PrsErrorSet(p, "Cannot read actual name.", 1);
        Vec_IntPush( &p->vTemp, iToken );
        Cba_PrsSkipSpaces( p );
    }
    if ( Vec_IntSize(&p->vTemp) == 0 )  return Cba_PrsErrorSet(p, "Cannot read a list of formal/actual names.", 1);
    if ( Vec_IntSize(&p->vTemp) % 2  )  return Cba_PrsErrorSet(p, "The number of formal/actual names is not even.", 1);
    return 0;
}

static int Cba_PrsReadModel ( Cba_Prs_t *  p )

inlinestatic

Definition at line 324 of file cbaReadBlif.c.

{
    if ( p->iModuleName > 0 )                      return Cba_PrsErrorSet(p, "Parsing previous model is unfinished.", 1);
    p->iModuleName = Cba_PrsReadName(p);
    Cba_PrsSkipSpaces( p );
    if ( !Cba_PrsIsChar(p, '\n') )                 return Cba_PrsErrorSet(p, "Trailing symbols on .model line.", 1);
    return 0;
}

static int Cba_PrsReadName ( Cba_Prs_t *  p )

inlinestatic

Definition at line 137 of file cbaReadBlif.c.

{
    char * pStart;
    Cba_PrsSkipSpaces( p );
    if ( Cba_PrsIsChar(p, '\n') )
        return 0;
    pStart = p->pCur;
    while ( !Cba_PrsIsSpace(p) && !Cba_PrsIsStop(p) )
        Cba_PrsSkip(p);
    if ( pStart == p->pCur )
        return 0;
    return Abc_NamStrFindOrAddLim( p->pDesign->pNames, pStart, p->pCur, NULL );
}

static int Cba_PrsReadNode ( Cba_Prs_t *  p )

inlinestatic

Definition at line 264 of file cbaReadBlif.c.

{
    if ( Cba_PrsReadList2(p) )   return 1;
    // save results
    Vec_IntPush( &p->vTypesCur, CBA_PRS_NODE );
    Vec_IntPush( &p->vFuncsCur, 1 ); // default const 0 function
    Cba_PrsSetupVecInt( p, Vec_WecPushLevel(&p->vFaninsCur), &p->vTemp );
    return 0;
}

static int Cba_PrsReadOutputs ( Cba_Prs_t *  p )

inlinestatic

Definition at line 258 of file cbaReadBlif.c.

{
    if ( Cba_PrsReadList(p) )    return 1;
    Vec_IntAppend( &p->vOutputsCur, &p->vTemp );
    return 0;
}

static int Cba_PrsReadShort ( Cba_Prs_t *  p )

inlinestatic

Definition at line 307 of file cbaReadBlif.c.

{
    int iToken = Cba_PrsReadName(p);
    Vec_IntFill( &p->vTemp, 2, -1 );
    if ( iToken == 0 )                 return Cba_PrsErrorSet(p, "Cannot read .short input.", 1);
    Vec_IntWriteEntry( &p->vTemp, 1, iToken );
    iToken = Cba_PrsReadName(p);
    if ( iToken == 0 )                 return Cba_PrsErrorSet(p, "Cannot read .short output.", 1);
    Vec_IntWriteEntry( &p->vTemp, 0, iToken );
    Cba_PrsSkipSpaces( p );
    if ( !Cba_PrsIsChar(p, '\n') )     return Cba_PrsErrorSet(p, "Trailing symbols on .short line.", 1);
    // save results
    Vec_IntPush( &p->vTypesCur, CBA_PRS_NODE );
    Vec_IntPush( &p->vFuncsCur, 2 );   // default buffer function
    Cba_PrsSetupVecInt( p, Vec_WecPushLevel(&p->vFaninsCur), &p->vTemp );
    return 0;
}

static void Cba_PrsSaveCover ( Cba_Prs_t *  p )

inlinestatic

Definition at line 224 of file cbaReadBlif.c.

{
    int iToken;
    assert( Vec_StrSize(&p->vCover) > 0 );
    Vec_StrPush( &p->vCover, '\0' );
    iToken = Abc_NamStrFindOrAdd( p->pDesign->pFuncs, Vec_StrArray(&p->vCover), NULL );
    assert( Vec_IntEntryLast(&p->vFuncsCur) == 1 );
    Vec_IntWriteEntry( &p->vFuncsCur, Vec_IntSize(&p->vFuncsCur)-1, iToken );
    Vec_StrClear( &p->vCover );
}

static void Cba_PrsSkip ( Cba_Prs_t *  p )

inlinestatic

Definition at line 99 of file cbaReadBlif.c.

{ p->pCur++;                                              }

static char Cba_PrsSkip2 ( Cba_Prs_t *  p )

inlinestatic

Definition at line 100 of file cbaReadBlif.c.

{ return *p->pCur++;                                      }

static void Cba_PrsSkipSpaces ( Cba_Prs_t *  p )

inlinestatic

Definition at line 119 of file cbaReadBlif.c.

{
    while ( 1 )
    {
        while ( Cba_PrsIsSpace(p) )
            Cba_PrsSkip(p);
        if ( Cba_PrsIsChar(p, '\\') )
        {
            Cba_PrsSkipToChar( p, '\n' );
            Cba_PrsSkip(p);
            continue;
        }
        if ( Cba_PrsIsChar(p, '#') )  
            Cba_PrsSkipToChar( p, '\n' );
        break;
    }
    assert( !Cba_PrsIsSpace(p) );
}

static void Cba_PrsSkipToChar ( Cba_Prs_t *  p, char  c  )

inlinestatic

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

Synopsis [Reading names.]

Description []

SideEffects []

SeeAlso []

Definition at line 114 of file cbaReadBlif.c.

{ 
    while ( !Cba_PrsIsChar(p, c) ) 
        Cba_PrsSkip(p);
}

Variable Documentation

const char* s_BlifTypes[CBA_BLIF_UNKNOWN+1]

Initial value:

= {
    NULL,              
    ".model",          
    ".inouts",         
    ".inputs",         
    ".outputs",        
    ".names",          
    ".subckt",         
    ".gate",           
    ".latch",          
    ".short",          
    ".end",            
    NULL               
}

Definition at line 46 of file cbaReadBlif.c.