cbaPrs.h File Reference

#include "aig/gia/gia.h"
#include "misc/util/utilNam.h"

Include dependency graph for cbaPrs.h:

This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Classes
struct	Prs_Ntk_t_
struct	Prs_Man_t_

Macros
#define	Prs_ManForEachNameVec(vVec, p, pName, i)
#define	Prs_NtkForEachPio(p, NameId, i)
#define	Prs_NtkForEachPi(p, NameId, i)
#define	Prs_NtkForEachPo(p, NameId, i)
#define	Prs_NtkForEachBox(p, vVec, i)

Typedefs
typedef struct Prs_Ntk_t_	Prs_Ntk_t
	BASIC TYPES ///.
typedef struct Prs_Man_t_	Prs_Man_t

Enumerations
enum	Cba_VerType_t {   PRS_VER_NONE = 0 , PRS_VER_INPUT , PRS_VER_OUTPUT , PRS_VER_INOUT ,   PRS_VER_WIRE , PRS_VER_REG , PRS_VER_MODULE , PRS_VER_ASSIGN ,   PRS_VER_ALWAYS , PRS_VER_FUNCTION , PRS_VER_DEFPARAM , PRS_VER_BEGIN ,   PRS_VER_END , PRS_VER_CASE , PRS_VER_ENDCASE , PRS_VER_SIGNED ,   PRS_VER_ENDMODULE , PRS_VER_UNKNOWN }
	INCLUDES ///. More...
enum	Prs_ManType_t { CBA_PRS_NAME = 0 , CBA_PRS_SLICE , CBA_PRS_CONST , CBA_PRS_CONCAT }

Functions
void	Prs_NtkAddVerilogDirectives (Prs_Man_t *p)
	ITERATORS ///.

Macro Definition Documentation

Prs_ManForEachNameVec

#define Prs_ManForEachNameVec	(		vVec,
			p,
			pName,
			i )

Value:

    for ( i = 0; (i < Vec_IntSize(vVec)) && ((pName) = Abc_NamStr(p->pStrs, Vec_IntEntry(vVec,i))); i++ )

Definition at line 173 of file cbaPrs.h.

#define Prs_ManForEachNameVec( vVec, p, pName, i )   \
    for ( i = 0; (i < Vec_IntSize(vVec)) && ((pName) = Abc_NamStr(p->pStrs, Vec_IntEntry(vVec,i))); i++ )

Prs_NtkForEachBox

#define Prs_NtkForEachBox	(		p,
			vVec,
			i )

Value:

    for ( i = 0; i < Prs_NtkBoxNum(p) && ((vVec) = Prs_BoxSignals(p, i)); i++ )

Definition at line 182 of file cbaPrs.h.

#define Prs_NtkForEachBox( p, vVec, i )              \
    for ( i = 0; i < Prs_NtkBoxNum(p) && ((vVec) = Prs_BoxSignals(p, i)); i++ )

Prs_NtkForEachPi

#define Prs_NtkForEachPi	(		p,
			NameId,
			i )

Value:

    for ( i = 0; i < Prs_NtkPiNum(p) && ((NameId) = Vec_IntEntry(&p->vInputs, i)); i++ )

Definition at line 178 of file cbaPrs.h.

#define Prs_NtkForEachPi( p, NameId, i )             \
    for ( i = 0; i < Prs_NtkPiNum(p) && ((NameId) = Vec_IntEntry(&p->vInputs, i)); i++ )

Prs_NtkForEachPio

#define Prs_NtkForEachPio	(		p,
			NameId,
			i )

Value:

    for ( i = 0; i < Prs_NtkPioNum(p) && ((NameId) = Vec_IntEntry(&p->vInouts, i)); i++ )

Definition at line 176 of file cbaPrs.h.

#define Prs_NtkForEachPio( p, NameId, i )            \
    for ( i = 0; i < Prs_NtkPioNum(p) && ((NameId) = Vec_IntEntry(&p->vInouts, i)); i++ )

Prs_NtkForEachPo

#define Prs_NtkForEachPo	(		p,
			NameId,
			i )

Value:

    for ( i = 0; i < Prs_NtkPoNum(p) && ((NameId) = Vec_IntEntry(&p->vOutputs, i)); i++ )

Definition at line 180 of file cbaPrs.h.

#define Prs_NtkForEachPo( p, NameId, i )             \
    for ( i = 0; i < Prs_NtkPoNum(p) && ((NameId) = Vec_IntEntry(&p->vOutputs, i)); i++ )

Typedef Documentation

Prs_Man_t

typedef struct Prs_Man_t_ Prs_Man_t

Definition at line 107 of file cbaPrs.h.

Prs_Ntk_t

typedef struct Prs_Ntk_t_ Prs_Ntk_t

BASIC TYPES ///.

Definition at line 73 of file cbaPrs.h.

Enumeration Type Documentation

Cba_VerType_t

enum Cba_VerType_t

INCLUDES ///.

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

FileName [cbaPrs.h]

SystemName [ABC: Logic synthesis and verification system.]

PackageName [Hierarchical word-level netlist.]

Synopsis [Parser 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
PRS_VER_NONE
PRS_VER_INPUT
PRS_VER_OUTPUT
PRS_VER_INOUT
PRS_VER_WIRE
PRS_VER_REG
PRS_VER_MODULE
PRS_VER_ASSIGN
PRS_VER_ALWAYS
PRS_VER_FUNCTION
PRS_VER_DEFPARAM
PRS_VER_BEGIN
PRS_VER_END
PRS_VER_CASE
PRS_VER_ENDCASE
PRS_VER_SIGNED
PRS_VER_ENDMODULE
PRS_VER_UNKNOWN

Definition at line 39 of file cbaPrs.h.

             { 
    PRS_VER_NONE = 0,  // 0:  unused
    PRS_VER_INPUT,     // 1:  input
    PRS_VER_OUTPUT,    // 2:  output
    PRS_VER_INOUT,     // 3:  inout
    PRS_VER_WIRE,      // 4:  wire
    PRS_VER_REG,       // 5:  reg
    PRS_VER_MODULE,    // 6:  module
    PRS_VER_ASSIGN,    // 7:  assign
    PRS_VER_ALWAYS,    // 8:  always
    PRS_VER_FUNCTION,  // 9:  function
    PRS_VER_DEFPARAM,  // 10: defparam
    PRS_VER_BEGIN,     // 11: begin
    PRS_VER_END,       // 12: end
    PRS_VER_CASE,      // 13: case
    PRS_VER_ENDCASE,   // 14: endcase
    PRS_VER_SIGNED,    // 15: signed
    PRS_VER_ENDMODULE, // 16: endmodule
    PRS_VER_UNKNOWN    // 17: unknown
} Cba_VerType_t;

Prs_ManType_t

enum Prs_ManType_t

Enumerator
CBA_PRS_NAME
CBA_PRS_SLICE
CBA_PRS_CONST
CBA_PRS_CONCAT

Definition at line 61 of file cbaPrs.h.

             { 
    CBA_PRS_NAME = 0,  // 0:  name/variable
    CBA_PRS_SLICE,     // 1:  slice
    CBA_PRS_CONST,     // 2:  constant
    CBA_PRS_CONCAT,    // 3:  concatentation
} Prs_ManType_t; 

Function Documentation

Prs_NtkAddVerilogDirectives()

void Prs_NtkAddVerilogDirectives ( Prs_Man_t * p )

extern

ITERATORS ///.

FUNCTION DECLARATIONS ///

Definition at line 51 of file cbaReadVer.c.

{
    int i;
    for ( i = 1; s_VerTypes[i]; i++ )
        Abc_NamStrFindOrAdd( p->pStrs, (char *)s_VerTypes[i],   NULL );
    assert( Abc_NamObjNumMax(p->pStrs) == i );
}

Here is the call graph for this function:

Here is the caller graph for this function: