cba.h File Reference

#include "aig/gia/gia.h"
#include "misc/extra/extra.h"
#include "misc/util/utilNam.h"
#include "misc/mem/mem.h"
#include "misc/util/utilTruth.h"
#include "misc/vec/vecWec.h"

Go to the source code of this file.

Data Structures
struct	Cba_Man_t_
struct	Cba_Ntk_t_

Macros
#define	Cba_ManForEachNtk(p, pNtk, i)   for ( i = 1; (i <= Cba_ManNtkNum(p)) && (((pNtk) = Cba_ManNtk(p, i)), 1); i++ )
	MACRO DEFINITIONS ///. More...
#define	Cba_NtkForEachObjType(p, Type, i)   for ( i = 0; (i < Cba_NtkObjNum(p)) && (((Type) = Cba_ObjType(p, i)), 1); i++ )
#define	Cba_NtkForEachObjTypeFuncFanins(p, Type, Func, vFanins, i)   for ( i = 0; (i < Cba_NtkObjNum(p)) && (((Type) = Cba_ObjType(p, i)), 1) && (((Func) = Cba_ObjFuncId(p, i)), 1) && (((vFanins) = Cba_ObjFanins(p, i)), 1); i++ )

Typedefs
typedef struct Cba_Man_t_	Cba_Man_t
typedef struct Cba_Ntk_t_	Cba_Ntk_t

Enumerations
enum	Cba_ObjType_t {   CBA_OBJ_NONE = 0, CBA_OBJ_BARBUF, CBA_OBJ_PI, CBA_OBJ_PO,   CBA_OBJ_PIO, CBA_OBJ_NODE, CBA_OBJ_BOX, CBA_OBJ_PIN,   CBA_OBJ_LATCH, CBA_OBJ_UNKNOWN }
	INCLUDES ///. More...
enum	Cba_NodeType_t {   CBA_NODE_NONE = 0, CBA_NODE_CONST, CBA_NODE_BUF, CBA_NODE_INV,   CBA_NODE_AND, CBA_NODE_NAND, CBA_NODE_OR, CBA_NODE_NOR,   CBA_NODE_XOR, CBA_NODE_XNOR, CBA_NODE_MUX, CBA_NODE_MAJ,   CBA_NODE_KNOWN, CBA_NODE_UNKNOWN }

Functions
static char *	Cba_ManName (Cba_Man_t *p)
static int	Cba_ManNtkNum (Cba_Man_t *p)
static Cba_Ntk_t *	Cba_ManNtk (Cba_Man_t *p, int i)
static Cba_Ntk_t *	Cba_ManRoot (Cba_Man_t *p)
static char *	Cba_NtkName (Cba_Ntk_t *p)
static int	Cba_NtkObjNum (Cba_Ntk_t *p)
static char *	Cba_NtkStr (Cba_Ntk_t *p, int i)
static char *	Cba_NtkModelStr (Cba_Ntk_t *p, int i)
static char *	Cba_NtkFuncStr (Cba_Ntk_t *p, int i)
static Cba_ObjType_t	Cba_ObjType (Cba_Ntk_t *p, int i)
static int	Cba_ObjFuncId (Cba_Ntk_t *p, int i)
static int	Cba_ObjInstId (Cba_Ntk_t *p, int i)
static Vec_Int_t *	Cba_ObjFanins (Cba_Ntk_t *p, int i)
static int	Cba_ObjNameId (Cba_Ntk_t *p, int i)
static int	Cba_ObjRangeId (Cba_Ntk_t *p, int i)
static int	Cba_ObjCopyId (Cba_Ntk_t *p, int i)
static char *	Cba_ObjFuncStr (Cba_Ntk_t *p, int i)
static char *	Cba_ObjInstStr (Cba_Ntk_t *p, int i)
static char *	Cba_ObjNameStr (Cba_Ntk_t *p, int i)
static char *	Cba_ObjRangeStr (Cba_Ntk_t *p, int i)
static Cba_Ntk_t *	Cba_NtkAlloc (Cba_Man_t *p, char *pName)
	FUNCTION DECLARATIONS ///. More...
static void	Cba_NtkFree (Cba_Ntk_t *p)
static int	Cba_NtkMemory (Cba_Ntk_t *p)
static Cba_Man_t *	Cba_ManAlloc (char *pFileName)
static void	Cba_ManFree (Cba_Man_t *p)
static int	Cba_ManMemory (Cba_Man_t *p)
Cba_Man_t *	Cba_PrsReadBlif (char *pFileName)
void	Cba_PrsWriteBlif (char *pFileName, Cba_Man_t *pDes)
Cba_Man_t *	Cba_PrsReadVerilog (char *pFileName)
void	Cba_PrsWriteVerilog (char *pFileName, Cba_Man_t *pDes)

Macro Definition Documentation

#define Cba_ManForEachNtk	(		p,
			pNtk,
			i
	)		for ( i = 1; (i <= Cba_ManNtkNum(p)) && (((pNtk) = Cba_ManNtk(p, i)), 1); i++ )

MACRO DEFINITIONS ///.

ITERATORS ///

Definition at line 155 of file cba.h.

#define Cba_NtkForEachObjType	(		p,
			Type,
			i
	)		for ( i = 0; (i < Cba_NtkObjNum(p)) && (((Type) = Cba_ObjType(p, i)), 1); i++ )

Definition at line 158 of file cba.h.

#define Cba_NtkForEachObjTypeFuncFanins	(		p,
			Type,
			Func,
			vFanins,
			i
	)		for ( i = 0; (i < Cba_NtkObjNum(p)) && (((Type) = Cba_ObjType(p, i)), 1) && (((Func) = Cba_ObjFuncId(p, i)), 1) && (((vFanins) = Cba_ObjFanins(p, i)), 1); i++ )

Definition at line 160 of file cba.h.

Typedef Documentation

typedef struct Cba_Man_t_ Cba_Man_t

Definition at line 81 of file cba.h.

typedef struct Cba_Ntk_t_ Cba_Ntk_t

Definition at line 98 of file cba.h.

Enumeration Type Documentation

enum Cba_NodeType_t

Enumerator
CBA_NODE_NONE
CBA_NODE_CONST
CBA_NODE_BUF
CBA_NODE_INV
CBA_NODE_AND
CBA_NODE_NAND
CBA_NODE_OR
CBA_NODE_NOR
CBA_NODE_XOR
CBA_NODE_XNOR
CBA_NODE_MUX
CBA_NODE_MAJ
CBA_NODE_KNOWN
CBA_NODE_UNKNOWN

Definition at line 62 of file cba.h.

             { 
    CBA_NODE_NONE = 0,   // 0:  unused
    CBA_NODE_CONST,      // 1:  constant
    CBA_NODE_BUF,        // 2:  buffer
    CBA_NODE_INV,        // 3:  inverter
    CBA_NODE_AND,        // 4:  AND
    CBA_NODE_NAND,       // 5:  NAND
    CBA_NODE_OR,         // 6:  OR
    CBA_NODE_NOR,        // 7:  NOR
    CBA_NODE_XOR,        // 8:  XOR
    CBA_NODE_XNOR,       // 9  .XNOR
    CBA_NODE_MUX,        // 10: MUX
    CBA_NODE_MAJ,        // 11: MAJ
    CBA_NODE_KNOWN,      // 12: unknown
    CBA_NODE_UNKNOWN     // 13: unknown
} Cba_NodeType_t; 

enum Cba_ObjType_t

INCLUDES ///.

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

FileName [cba.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:

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

]PARAMETERS ///BASIC TYPES ///

Enumerator
CBA_OBJ_NONE
CBA_OBJ_BARBUF
CBA_OBJ_PI
CBA_OBJ_PO
CBA_OBJ_PIO
CBA_OBJ_NODE
CBA_OBJ_BOX
CBA_OBJ_PIN
CBA_OBJ_LATCH
CBA_OBJ_UNKNOWN

Definition at line 48 of file cba.h.

             { 
    CBA_OBJ_NONE = 0,  // 0:  unused
    CBA_OBJ_BARBUF,    // 1:  barrier buffer
    CBA_OBJ_PI,        // 2:  input
    CBA_OBJ_PO,        // 3:  output
    CBA_OBJ_PIO,       // 4:  input
    CBA_OBJ_NODE,      // 5:  node
    CBA_OBJ_BOX,       // 6:  box
    CBA_OBJ_PIN,       // 7:  box output
    CBA_OBJ_LATCH,     // 8:  latch
    CBA_OBJ_UNKNOWN    // 9:  unknown
} Cba_ObjType_t; 

Function Documentation

static Cba_Man_t* Cba_ManAlloc ( char *  pFileName )

inlinestatic

Definition at line 199 of file cba.h.

{
    Cba_Man_t * p;
    p = ABC_CALLOC( Cba_Man_t, 1 );
    // design names
    p->pName      = Extra_FileDesignName( pFileName );
    p->pSpec      = Abc_UtilStrsav( pFileName );
    p->pNames     = Abc_NamStart( 1000, 20 );
    p->pModels    = Abc_NamStart( 1000, 20 );
    p->pFuncs     = Abc_NamStart( 1000, 20 );
    // internal data
    p->pMem       = Mem_FlexStart();
    Vec_PtrPush( &p->vNtks, NULL );
    return p;
}

static void Cba_ManFree ( Cba_Man_t *  p )

inlinestatic

Definition at line 214 of file cba.h.

{
    Cba_Ntk_t * pNtk; int i;
    Cba_ManForEachNtk( p, pNtk, i )
        Cba_NtkFree( pNtk );
    ABC_FREE( p->vNtks.pArray );
    Mem_FlexStop( p->pMem, 0 );
    // design names
    Abc_NamStop( p->pNames );
    Abc_NamStop( p->pModels );
    Abc_NamStop( p->pFuncs );
    ABC_FREE( p->pName );
    ABC_FREE( p->pSpec );
    ABC_FREE( p );
}

static int Cba_ManMemory ( Cba_Man_t *  p )

inlinestatic

Definition at line 229 of file cba.h.

{
    Cba_Ntk_t * pNtk; int i;
    int nMem = sizeof(Cba_Man_t);
    nMem += Abc_NamMemUsed(p->pNames);
    nMem += Abc_NamMemUsed(p->pModels);
    nMem += Abc_NamMemUsed(p->pFuncs);
    nMem += Mem_FlexReadMemUsage(p->pMem);
    nMem += (int)Vec_PtrMemory(&p->vNtks);
    Cba_ManForEachNtk( p, pNtk, i )
        nMem += Cba_NtkMemory( pNtk );
    return nMem;
}

static char* Cba_ManName ( Cba_Man_t *  p )

inlinestatic

Definition at line 120 of file cba.h.

{ return p->pName;                                                                            }

static Cba_Ntk_t* Cba_ManNtk ( Cba_Man_t *  p, int  i  )

inlinestatic

Definition at line 122 of file cba.h.

{ assert( i > 0 ); return (Cba_Ntk_t *)Vec_PtrEntry(&p->vNtks, i);                            }

static int Cba_ManNtkNum ( Cba_Man_t *  p )

inlinestatic

Definition at line 121 of file cba.h.

{ return Vec_PtrSize(&p->vNtks) - 1;                                                          }

static Cba_Ntk_t* Cba_ManRoot ( Cba_Man_t *  p )

inlinestatic

Definition at line 123 of file cba.h.

{ return Cba_ManNtk(p, p->iRoot);                                                             }

static Cba_Ntk_t* Cba_NtkAlloc ( Cba_Man_t *  p, char *  pName  )

inlinestatic

FUNCTION DECLARATIONS ///.

Definition at line 168 of file cba.h.

{
    Cba_Ntk_t * pNtk = ABC_CALLOC( Cba_Ntk_t, 1 );
    pNtk->pDesign = p;
    pNtk->pName = Abc_UtilStrsav(pName);
    Vec_PtrPush( &p->vNtks, pNtk );
    return pNtk;
}

static void Cba_NtkFree ( Cba_Ntk_t *  p )

inlinestatic

Definition at line 176 of file cba.h.

{
//    Vec_IntErase( &p->vInouts );
//    Vec_IntErase( &p->vInputs );
//    Vec_IntErase( &p->vOutputs );
//    Vec_IntErase( &p->vWires );

//    Vec_IntErase( &p->vTypes );
//    Vec_IntErase( &p->vFuncs );
//    Vec_IntErase( &p->vInstIds );
    ABC_FREE( p->vFanins.pArray );

    Vec_IntErase( &p->vNameIds );
    Vec_IntErase( &p->vRanges );
    Vec_IntErase( &p->vCopies );
    ABC_FREE( p->pName );
    ABC_FREE( p );
}

static char* Cba_NtkFuncStr ( Cba_Ntk_t *  p, int  i  )

inlinestatic

Definition at line 129 of file cba.h.

{ return Abc_NamStr(p->pDesign->pFuncs, i);                                                   }

static int Cba_NtkMemory ( Cba_Ntk_t *  p )

inlinestatic

Definition at line 194 of file cba.h.

{
    return Vec_WecMemory(&p->vFanins);
}

static char* Cba_NtkModelStr ( Cba_Ntk_t *  p, int  i  )

inlinestatic

Definition at line 128 of file cba.h.

{ return Abc_NamStr(p->pDesign->pModels, i);                                                  }

static char* Cba_NtkName ( Cba_Ntk_t *  p )

inlinestatic

Definition at line 125 of file cba.h.

{ return p->pName;                                                                            }

static int Cba_NtkObjNum ( Cba_Ntk_t *  p )

inlinestatic

Definition at line 126 of file cba.h.

{ return Vec_WecSize(&p->vFanins);                                                            }

static char* Cba_NtkStr ( Cba_Ntk_t *  p, int  i  )

inlinestatic

Definition at line 127 of file cba.h.

{ return Abc_NamStr(p->pDesign->pNames, i);                                                   }

static int Cba_ObjCopyId ( Cba_Ntk_t *  p, int  i  )

inlinestatic

Definition at line 138 of file cba.h.

{ return Vec_IntEntry(&p->vCopies, i);                                                        }

static Vec_Int_t* Cba_ObjFanins ( Cba_Ntk_t *  p, int  i  )

inlinestatic

Definition at line 134 of file cba.h.

{ return Vec_WecEntry(&p->vFanins, i);                                                        }

static int Cba_ObjFuncId ( Cba_Ntk_t *  p, int  i  )

inlinestatic

Definition at line 132 of file cba.h.

{ return Vec_IntEntry(&p->vFuncs, i);                                                         }

static char* Cba_ObjFuncStr ( Cba_Ntk_t *  p, int  i  )

inlinestatic

Definition at line 140 of file cba.h.

{ return Cba_NtkStr(p, Cba_ObjFuncId(p, i));                                                  }

static int Cba_ObjInstId ( Cba_Ntk_t *  p, int  i  )

inlinestatic

Definition at line 133 of file cba.h.

{ return Vec_IntEntry(&p->vInstIds, i);                                                       }

static char* Cba_ObjInstStr ( Cba_Ntk_t *  p, int  i  )

inlinestatic

Definition at line 141 of file cba.h.

{ return Cba_NtkStr(p, Cba_ObjInstId(p, i));                                                  }

static int Cba_ObjNameId ( Cba_Ntk_t *  p, int  i  )

inlinestatic

Definition at line 136 of file cba.h.

{ return Vec_IntEntry(&p->vNameIds, i);                                                       }

static char* Cba_ObjNameStr ( Cba_Ntk_t *  p, int  i  )

inlinestatic

Definition at line 142 of file cba.h.

{ return Cba_NtkStr(p, Cba_ObjNameId(p, i));                                                  }

static int Cba_ObjRangeId ( Cba_Ntk_t *  p, int  i  )

inlinestatic

Definition at line 137 of file cba.h.

{ return Vec_IntEntry(&p->vRanges, i);                                                        }

static char* Cba_ObjRangeStr ( Cba_Ntk_t *  p, int  i  )

inlinestatic

Definition at line 143 of file cba.h.

{ return Cba_NtkStr(p, Cba_ObjRangeId(p, i));                                                 }

static Cba_ObjType_t Cba_ObjType ( Cba_Ntk_t *  p, int  i  )

inlinestatic

Definition at line 131 of file cba.h.

{ return Vec_IntEntry(&p->vTypes, i);                                                         }

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;
}

Cba_Man_t* Cba_PrsReadVerilog

(

char *

pFileName

)

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

Synopsis []

Description []

SideEffects []

SeeAlso []

Definition at line 714 of file cbaReadVer.c.

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

void Cba_PrsWriteBlif	(	char *	pFileName,
		Cba_Man_t *	pDes
	)

Definition at line 105 of file cbaWriteBlif.c.

{
    FILE * pFile;
    Cba_Ntk_t * pNtk; 
    int i;
    pFile = fopen( pFileName, "wb" );
    if ( pFile == NULL )
    {
        printf( "Cannot open output file \"%s\".\n", pFileName );
        return;
    }
    fprintf( pFile, "// Design \"%s\" written by ABC on %s\n\n", Cba_ManName(pDes), Extra_TimeStamp() );
    Cba_ManForEachNtk( pDes, pNtk, i )
        Cba_PrsWriteBlifNtk( pFile, pNtk );
    fclose( pFile );
}

void Cba_PrsWriteVerilog	(	char *	pFileName,
		Cba_Man_t *	pDes
	)

Definition at line 207 of file cbaWriteVer.c.

{
    FILE * pFile;
    Cba_Ntk_t * pNtk; 
    int i;
    pFile = fopen( pFileName, "wb" );
    if ( pFile == NULL )
    {
        printf( "Cannot open output file \"%s\".\n", pFileName );
        return;
    }
    fprintf( pFile, "// Design \"%s\" written by ABC on %s\n\n", Cba_ManName(pDes), Extra_TimeStamp() );
    Cba_ManForEachNtk( pDes, pNtk, i )
        Cba_PrsWriteVerilogNtk( pFile, pNtk );
    fclose( pFile );
}