bac.h File Reference

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

Include dependency graph for bac.h:

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

Go to the source code of this file.

Classes
struct	Bac_Ntk_t_
struct	Bac_Man_t_

Macros
#define	Bac_ManForEachNtk(p, pNtk, i)
	MACRO DEFINITIONS ///.
#define	Bac_NtkForEachPi(p, iObj, i)
#define	Bac_NtkForEachPo(p, iObj, i)
#define	Bac_NtkForEachPoDriver(p, iObj, i)
#define	Bac_NtkForEachPiMain(p, iObj, i)
#define	Bac_NtkForEachPoMain(p, iObj, i)
#define	Bac_NtkForEachObj(p, i)
#define	Bac_NtkForEachObjType(p, Type, i)
#define	Bac_NtkForEachBox(p, i)
#define	Bac_NtkForEachBoxUser(p, i)
#define	Bac_NtkForEachBoxPrim(p, i)
#define	Bac_NtkForEachCi(p, i)
#define	Bac_NtkForEachCo(p, i)
#define	Bac_NtkForEachCio(p, i)
#define	Bac_NtkForEachBi(p, i)
#define	Bac_NtkForEachBo(p, i)
#define	Bac_NtkForEachBio(p, i)
#define	Bac_BoxForEachBi(p, iBox, iTerm, i)
#define	Bac_BoxForEachBo(p, iBox, iTerm, i)
#define	Bac_BoxForEachBiReverse(p, iBox, iTerm, i)
#define	Bac_BoxForEachBiMain(p, iBox, iTerm, i)
#define	Bac_BoxForEachBoMain(p, iBox, iTerm, i)
#define	Bac_BoxForEachFanin(p, iBox, iFanin, i)
#define	Bac_BoxForEachFaninBox(p, iBox, iFanin, i)
#define	Bac_ObjForEachFanout(p, iCi, iCo)
#define	Bac_BoxForEachFanoutBox(p, iBox, iCo, iFanBox)

Typedefs
typedef struct Bac_Ntk_t_	Bac_Ntk_t
typedef struct Bac_Man_t_	Bac_Man_t

Enumerations
enum	Bac_ObjType_t {   BAC_OBJ_NONE = 0 , BAC_OBJ_PI , BAC_OBJ_PO , BAC_OBJ_BI ,   BAC_OBJ_BO , BAC_OBJ_BOX , BAC_BOX_CF , BAC_BOX_CT ,   BAC_BOX_CX , BAC_BOX_CZ , BAC_BOX_BUF , BAC_BOX_INV ,   BAC_BOX_AND , BAC_BOX_NAND , BAC_BOX_OR , BAC_BOX_NOR ,   BAC_BOX_XOR , BAC_BOX_XNOR , BAC_BOX_SHARP , BAC_BOX_SHARPL ,   BAC_BOX_MUX , BAC_BOX_MAJ , BAC_BOX_RAND , BAC_BOX_RNAND ,   BAC_BOX_ROR , BAC_BOX_RNOR , BAC_BOX_RXOR , BAC_BOX_RXNOR ,   BAC_BOX_LAND , BAC_BOX_LNAND , BAC_BOX_LOR , BAC_BOX_LNOR ,   BAC_BOX_LXOR , BAC_BOX_LXNOR , BAC_BOX_NMUX , BAC_BOX_SEL ,   BAC_BOX_PSEL , BAC_BOX_ENC , BAC_BOX_PENC , BAC_BOX_DEC ,   BAC_BOX_EDEC , BAC_BOX_ADD , BAC_BOX_SUB , BAC_BOX_MUL ,   BAC_BOX_DIV , BAC_BOX_MOD , BAC_BOX_REM , BAC_BOX_POW ,   BAC_BOX_MIN , BAC_BOX_ABS , BAC_BOX_LTHAN , BAC_BOX_LETHAN ,   BAC_BOX_METHAN , BAC_BOX_MTHAN , BAC_BOX_EQU , BAC_BOX_NEQU ,   BAC_BOX_SHIL , BAC_BOX_SHIR , BAC_BOX_ROTL , BAC_BOX_ROTR ,   BAC_BOX_GATE , BAC_BOX_LUT , BAC_BOX_ASSIGN , BAC_BOX_TRI ,   BAC_BOX_RAM , BAC_BOX_RAMR , BAC_BOX_RAMW , BAC_BOX_RAMWC ,   BAC_BOX_RAMBOX , BAC_BOX_LATCH , BAC_BOX_LATCHRS , BAC_BOX_DFF ,   BAC_BOX_DFFRS , BAC_BOX_UNKNOWN }
	INCLUDES ///. More...
enum	Bac_NameType_t { BAC_NAME_BIN = 0 , BAC_NAME_WORD , BAC_NAME_INFO , BAC_NAME_INDEX }

Functions
void	Abc_FrameImportPtr (Vec_Ptr_t *vPtr)
	FUNCTION DEFINITIONS ///.
Vec_Ptr_t *	Abc_FrameExportPtr ()
int	Bac_NtkBuildLibrary (Bac_Man_t *p)
Gia_Man_t *	Bac_ManExtract (Bac_Man_t *p, int fBuffers, int fVerbose)
Bac_Man_t *	Bac_ManInsertGia (Bac_Man_t *p, Gia_Man_t *pGia)
void *	Bac_ManInsertAbc (Bac_Man_t *p, void *pAbc)
Bac_Man_t *	Bac_ManReadBac (char *pFileName)
void	Bac_ManWriteBac (char *pFileName, Bac_Man_t *p)
char *	Bac_NtkGenerateName (Bac_Ntk_t *p, Bac_ObjType_t Type, Vec_Int_t *vBits)
Bac_ObjType_t	Bac_NameToType (char *pName)
Vec_Int_t *	Bac_NameToRanges (char *pName)
void	Bac_NtkUpdateFanout (Bac_Ntk_t *p, int iOld, int iNew)
	FUNCTION DEFINITIONS ///.
void	Bac_ManDeriveFanout (Bac_Man_t *p)
void	Bac_ManAssignInternWordNames (Bac_Man_t *p)
Bac_Man_t *	Bac_ManCollapse (Bac_Man_t *p)
void	Bac_ManSetupTypes (char **pNames, char **pSymbs)
void	Bac_PtrFree (Vec_Ptr_t *vDes)
int	Bac_PtrMemory (Vec_Ptr_t *vDes)
void	Bac_PtrDumpBlif (char *pFileName, Vec_Ptr_t *vDes)
void	Bac_PtrDumpVerilog (char *pFileName, Vec_Ptr_t *vDes)
Vec_Ptr_t *	Bac_PtrTransformTest (Vec_Ptr_t *vDes)
Bac_Man_t *	Bac_PtrTransformToCba (Vec_Ptr_t *vDes)
Vec_Ptr_t *	Bac_PtrDeriveFromCba (Bac_Man_t *p)
Bac_Man_t *	Psr_ManBuildCba (char *pFileName, Vec_Ptr_t *vDes)
Vec_Ptr_t *	Psr_ManReadBlif (char *pFileName)
Vec_Ptr_t *	Psr_ManReadSmt (char *pFileName)
Vec_Ptr_t *	Psr_ManReadVerilog (char *pFileName)
void	Psr_ManWriteBlif (char *pFileName, Vec_Ptr_t *p)
void	Bac_ManWriteBlif (char *pFileName, Bac_Man_t *p)
void	Psr_ManWriteVerilog (char *pFileName, Vec_Ptr_t *p)
void	Bac_ManWriteVerilog (char *pFileName, Bac_Man_t *p, int fUseAssign)

Macro Definition Documentation

Bac_BoxForEachBi

#define Bac_BoxForEachBi	(		p,
			iBox,
			iTerm,
			i )

Value:

    for ( iTerm = iBox - 1, i = 0; iTerm >= 0 && Bac_ObjIsBi(p, iTerm); iTerm--, i++ )

Definition at line 375 of file bac.h.

#define Bac_BoxForEachBi( p, iBox, iTerm, i )                             \
    for ( iTerm = iBox - 1, i = 0; iTerm >= 0 && Bac_ObjIsBi(p, iTerm); iTerm--, i++ )

Bac_BoxForEachBiMain

#define Bac_BoxForEachBiMain	(		p,
			iBox,
			iTerm,
			i )

Value:

    for ( iTerm = iBox - 1, i = 0; iTerm >= 0 && Bac_ObjIsBi(p, iTerm); iTerm--, i++ )                if ( Bac_ObjBit(p, iTerm) ) {} else

Definition at line 382 of file bac.h.

#define Bac_BoxForEachBiMain( p, iBox, iTerm, i )                         \
    for ( iTerm = iBox - 1, i = 0; iTerm >= 0 && Bac_ObjIsBi(p, iTerm); iTerm--, i++ )                if ( Bac_ObjBit(p, iTerm) ) {} else

Bac_BoxForEachBiReverse

#define Bac_BoxForEachBiReverse	(		p,
			iBox,
			iTerm,
			i )

Value:

    for ( i = Bac_BoxBiNum(p, iBox), iTerm = iBox - i--; Bac_ObjIsBi(p, iTerm); iTerm++, i-- )

Definition at line 379 of file bac.h.

#define Bac_BoxForEachBiReverse( p, iBox, iTerm, i )                      \
    for ( i = Bac_BoxBiNum(p, iBox), iTerm = iBox - i--; Bac_ObjIsBi(p, iTerm); iTerm++, i-- )

Bac_BoxForEachBo

#define Bac_BoxForEachBo	(		p,
			iBox,
			iTerm,
			i )

Value:

    for ( iTerm = iBox + 1, i = 0; iTerm < Bac_NtkObjNum(p) && Bac_ObjIsBo(p, iTerm); iTerm++, i++ )

Definition at line 377 of file bac.h.

#define Bac_BoxForEachBo( p, iBox, iTerm, i )                             \
    for ( iTerm = iBox + 1, i = 0; iTerm < Bac_NtkObjNum(p) && Bac_ObjIsBo(p, iTerm); iTerm++, i++ )

Bac_BoxForEachBoMain

#define Bac_BoxForEachBoMain	(		p,
			iBox,
			iTerm,
			i )

Value:

    for ( iTerm = iBox + 1, i = 0; iTerm < Bac_NtkObjNum(p) && Bac_ObjIsBo(p, iTerm); iTerm++, i++ )  if ( Bac_ObjBit(p, iTerm) ) {} else

Definition at line 384 of file bac.h.

#define Bac_BoxForEachBoMain( p, iBox, iTerm, i )                         \
    for ( iTerm = iBox + 1, i = 0; iTerm < Bac_NtkObjNum(p) && Bac_ObjIsBo(p, iTerm); iTerm++, i++ )  if ( Bac_ObjBit(p, iTerm) ) {} else

Bac_BoxForEachFanin

#define Bac_BoxForEachFanin	(		p,
			iBox,
			iFanin,
			i )

Value:

    for ( i = 0; iBox - 1 - i >= 0 && Bac_ObjIsBi(p, iBox - 1 - i) && (((iFanin) = Bac_BoxFanin(p, iBox, i)), 1); i++ )

Definition at line 387 of file bac.h.

#define Bac_BoxForEachFanin( p, iBox, iFanin, i )                         \
    for ( i = 0; iBox - 1 - i >= 0 && Bac_ObjIsBi(p, iBox - 1 - i) && (((iFanin) = Bac_BoxFanin(p, iBox, i)), 1); i++ )

Bac_BoxForEachFaninBox

#define Bac_BoxForEachFaninBox	(		p,
			iBox,
			iFanin,
			i )

Value:

    for ( i = 0; iBox - 1 - i >= 0 && Bac_ObjIsBi(p, iBox - 1 - i) && (((iFanin) = Bac_BoxFaninBox(p, iBox, i)), 1); i++ )

Definition at line 389 of file bac.h.

#define Bac_BoxForEachFaninBox( p, iBox, iFanin, i )                      \
    for ( i = 0; iBox - 1 - i >= 0 && Bac_ObjIsBi(p, iBox - 1 - i) && (((iFanin) = Bac_BoxFaninBox(p, iBox, i)), 1); i++ )

Bac_BoxForEachFanoutBox

#define Bac_BoxForEachFanoutBox	(		p,
			iBox,
			iCo,
			iFanBox )

Value:

    for ( assert(Bac_BoxBoNum(p, iBox) == 1), iCo = Bac_ObjFanout(p, Bac_BoxBo(p, iBox, 0)); iCo && ((iFanBox = Bac_BoxBiBox(p, iCo)), 1); iCo = Bac_ObjNextFanout(p, iCo) )

Definition at line 394 of file bac.h.

#define Bac_BoxForEachFanoutBox( p, iBox, iCo, iFanBox )                  \
    for ( assert(Bac_BoxBoNum(p, iBox) == 1), iCo = Bac_ObjFanout(p, Bac_BoxBo(p, iBox, 0)); iCo && ((iFanBox = Bac_BoxBiBox(p, iCo)), 1); iCo = Bac_ObjNextFanout(p, iCo) )

Bac_ManForEachNtk

#define Bac_ManForEachNtk	(		p,
			pNtk,
			i )

Value:

    for ( i = 1; (i <= Bac_ManNtkNum(p)) && (((pNtk) = Bac_ManNtk(p, i)), 1); i++ )

MACRO DEFINITIONS ///.

ITERATORS ///

Definition at line 334 of file bac.h.

#define Bac_ManForEachNtk( p, pNtk, i )                                   \
    for ( i = 1; (i <= Bac_ManNtkNum(p)) && (((pNtk) = Bac_ManNtk(p, i)), 1); i++ ) 

Bac_NtkForEachBi

#define Bac_NtkForEachBi	(		p,
			i )

Value:

    for ( i = 0; (i < Bac_NtkObjNum(p)); i++ ) if ( !Bac_ObjIsBi(p, i) ){} else

Definition at line 368 of file bac.h.

#define Bac_NtkForEachBi( p, i )                                          \
    for ( i = 0; (i < Bac_NtkObjNum(p)); i++ ) if ( !Bac_ObjIsBi(p, i) ){} else

Bac_NtkForEachBio

#define Bac_NtkForEachBio	(		p,
			i )

Value:

    for ( i = 0; (i < Bac_NtkObjNum(p)); i++ ) if ( !Bac_ObjIsBio(p, i) ){} else

Definition at line 372 of file bac.h.

#define Bac_NtkForEachBio( p, i )                                         \
    for ( i = 0; (i < Bac_NtkObjNum(p)); i++ ) if ( !Bac_ObjIsBio(p, i) ){} else

Bac_NtkForEachBo

#define Bac_NtkForEachBo	(		p,
			i )

Value:

    for ( i = 0; (i < Bac_NtkObjNum(p)); i++ ) if ( !Bac_ObjIsBo(p, i) ){} else

Definition at line 370 of file bac.h.

#define Bac_NtkForEachBo( p, i )                                          \
    for ( i = 0; (i < Bac_NtkObjNum(p)); i++ ) if ( !Bac_ObjIsBo(p, i) ){} else

Bac_NtkForEachBox

#define Bac_NtkForEachBox	(		p,
			i )

Value:

    for ( i = 0; (i < Bac_NtkObjNum(p)); i++ ) if ( !Bac_ObjIsBox(p, i) ) {} else

Definition at line 354 of file bac.h.

#define Bac_NtkForEachBox( p, i )                                         \
    for ( i = 0; (i < Bac_NtkObjNum(p)); i++ ) if ( !Bac_ObjIsBox(p, i) ) {} else

Bac_NtkForEachBoxPrim

#define Bac_NtkForEachBoxPrim	(		p,
			i )

Value:

    for ( i = 0; (i < Bac_NtkObjNum(p)); i++ ) if ( !Bac_ObjIsBoxPrim(p, i) ) {} else

Definition at line 358 of file bac.h.

#define Bac_NtkForEachBoxPrim( p, i )                                     \
    for ( i = 0; (i < Bac_NtkObjNum(p)); i++ ) if ( !Bac_ObjIsBoxPrim(p, i) ) {} else

Bac_NtkForEachBoxUser

#define Bac_NtkForEachBoxUser	(		p,
			i )

Value:

    for ( i = 0; (i < Bac_NtkObjNum(p)); i++ ) if ( !Bac_ObjIsBoxUser(p, i) ) {} else

Definition at line 356 of file bac.h.

#define Bac_NtkForEachBoxUser( p, i )                                     \
    for ( i = 0; (i < Bac_NtkObjNum(p)); i++ ) if ( !Bac_ObjIsBoxUser(p, i) ) {} else

Bac_NtkForEachCi

#define Bac_NtkForEachCi	(		p,
			i )

Value:

    for ( i = 0; (i < Bac_NtkObjNum(p)); i++ ) if ( !Bac_ObjIsCi(p, i) ) {} else

Definition at line 361 of file bac.h.

#define Bac_NtkForEachCi( p, i )                                          \
    for ( i = 0; (i < Bac_NtkObjNum(p)); i++ ) if ( !Bac_ObjIsCi(p, i) ) {} else

Bac_NtkForEachCio

#define Bac_NtkForEachCio	(		p,
			i )

Value:

    for ( i = 0; (i < Bac_NtkObjNum(p)); i++ ) if ( !Bac_ObjIsCio(p, i) ){} else

Definition at line 365 of file bac.h.

#define Bac_NtkForEachCio( p, i )                                         \
    for ( i = 0; (i < Bac_NtkObjNum(p)); i++ ) if ( !Bac_ObjIsCio(p, i) ){} else

Bac_NtkForEachCo

#define Bac_NtkForEachCo	(		p,
			i )

Value:

    for ( i = 0; (i < Bac_NtkObjNum(p)); i++ ) if ( !Bac_ObjIsCo(p, i) ) {} else

Definition at line 363 of file bac.h.

#define Bac_NtkForEachCo( p, i )                                          \
    for ( i = 0; (i < Bac_NtkObjNum(p)); i++ ) if ( !Bac_ObjIsCo(p, i) ) {} else

Bac_NtkForEachObj

#define Bac_NtkForEachObj	(		p,
			i )

Value:

    if ( !Bac_ObjType(p, i) ) {} else      \
    for ( i = 0; (i < Bac_NtkObjNum(p)); i++ )

Definition at line 349 of file bac.h.

#define Bac_NtkForEachObj( p, i )  if ( !Bac_ObjType(p, i) ) {} else      \
    for ( i = 0; (i < Bac_NtkObjNum(p)); i++ ) 

Bac_NtkForEachObjType

#define Bac_NtkForEachObjType	(		p,
			Type,
			i )

Value:

    for ( i = 0; (i < Bac_NtkObjNum(p))  && (((Type) = Bac_ObjType(p, i)), 1); i++ ) if ( !Type ) {} else

Definition at line 351 of file bac.h.

#define Bac_NtkForEachObjType( p, Type, i )                               \
    for ( i = 0; (i < Bac_NtkObjNum(p))  && (((Type) = Bac_ObjType(p, i)), 1); i++ ) if ( !Type ) {} else

Bac_NtkForEachPi

#define Bac_NtkForEachPi	(		p,
			iObj,
			i )

Value:

    for ( i = 0; (i < Bac_NtkPiNum(p))  && (((iObj) = Bac_NtkPi(p, i)), 1); i++ )

Definition at line 337 of file bac.h.

#define Bac_NtkForEachPi( p, iObj, i )                                    \
    for ( i = 0; (i < Bac_NtkPiNum(p))  && (((iObj) = Bac_NtkPi(p, i)), 1); i++ ) 

Bac_NtkForEachPiMain

#define Bac_NtkForEachPiMain	(		p,
			iObj,
			i )

Value:

    for ( i = 0; (i < Bac_NtkPiNum(p))  && (((iObj) = Bac_NtkPi(p, i)), 1); i++ )  if ( Bac_ObjBit(p, iObj) ) {} else

Definition at line 344 of file bac.h.

#define Bac_NtkForEachPiMain( p, iObj, i )                                \
    for ( i = 0; (i < Bac_NtkPiNum(p))  && (((iObj) = Bac_NtkPi(p, i)), 1); i++ )  if ( Bac_ObjBit(p, iObj) ) {} else

Bac_NtkForEachPo

#define Bac_NtkForEachPo	(		p,
			iObj,
			i )

Value:

    for ( i = 0; (i < Bac_NtkPoNum(p))  && (((iObj) = Bac_NtkPo(p, i)), 1); i++ )

Definition at line 339 of file bac.h.

#define Bac_NtkForEachPo( p, iObj, i )                                    \
    for ( i = 0; (i < Bac_NtkPoNum(p))  && (((iObj) = Bac_NtkPo(p, i)), 1); i++ ) 

Bac_NtkForEachPoDriver

#define Bac_NtkForEachPoDriver	(		p,
			iObj,
			i )

Value:

    for ( i = 0; (i < Bac_NtkPoNum(p))  && (((iObj) = Bac_ObjFanin(p, Bac_NtkPo(p, i))), 1); i++ )

Definition at line 341 of file bac.h.

#define Bac_NtkForEachPoDriver( p, iObj, i )                              \
    for ( i = 0; (i < Bac_NtkPoNum(p))  && (((iObj) = Bac_ObjFanin(p, Bac_NtkPo(p, i))), 1); i++ ) 

Bac_NtkForEachPoMain

#define Bac_NtkForEachPoMain	(		p,
			iObj,
			i )

Value:

    for ( i = 0; (i < Bac_NtkPoNum(p))  && (((iObj) = Bac_NtkPo(p, i)), 1); i++ )  if ( Bac_ObjBit(p, iObj) ) {} else

Definition at line 346 of file bac.h.

#define Bac_NtkForEachPoMain( p, iObj, i )                                \
    for ( i = 0; (i < Bac_NtkPoNum(p))  && (((iObj) = Bac_NtkPo(p, i)), 1); i++ )  if ( Bac_ObjBit(p, iObj) ) {} else

Bac_ObjForEachFanout

#define Bac_ObjForEachFanout	(		p,
			iCi,
			iCo )

Value:

    for ( iCo = Bac_ObjFanout(p, iCi); iCo; iCo = Bac_ObjNextFanout(p, iCo) )

Definition at line 392 of file bac.h.

#define Bac_ObjForEachFanout( p, iCi, iCo )                               \
    for ( iCo = Bac_ObjFanout(p, iCi); iCo; iCo = Bac_ObjNextFanout(p, iCo) )

Typedef Documentation

Bac_Man_t

typedef struct Bac_Man_t_ Bac_Man_t

Definition at line 142 of file bac.h.

Bac_Ntk_t

typedef struct Bac_Ntk_t_ Bac_Ntk_t

Definition at line 141 of file bac.h.

Enumeration Type Documentation

Bac_NameType_t

enum Bac_NameType_t

Enumerator
BAC_NAME_BIN
BAC_NAME_WORD
BAC_NAME_INFO
BAC_NAME_INDEX

Definition at line 133 of file bac.h.

             { 
    BAC_NAME_BIN = 0,        // 0:  binary variable
    BAC_NAME_WORD,           // 1:  first bit of word-level variable
    BAC_NAME_INFO,           // 2:  first bit of special variable
    BAC_NAME_INDEX,          // 3:  index of word-level variable
} Bac_NameType_t; 

Bac_ObjType_t

enum Bac_ObjType_t

INCLUDES ///.

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

FileName [bac.h]

SystemName [ABC: Logic synthesis and verification system.]

PackageName [Hierarchical word-level netlist.]

Synopsis [External declarations.]

Author [Alan Mishchenko]

Affiliation [UC Berkeley]

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

Revision [

Id

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

] PARAMETERS /// BASIC TYPES ///

Enumerator
BAC_OBJ_NONE
BAC_OBJ_PI
BAC_OBJ_PO
BAC_OBJ_BI
BAC_OBJ_BO
BAC_OBJ_BOX
BAC_BOX_CF
BAC_BOX_CT
BAC_BOX_CX
BAC_BOX_CZ
BAC_BOX_BUF
BAC_BOX_INV
BAC_BOX_AND
BAC_BOX_NAND
BAC_BOX_OR
BAC_BOX_NOR
BAC_BOX_XOR
BAC_BOX_XNOR
BAC_BOX_SHARP
BAC_BOX_SHARPL
BAC_BOX_MUX
BAC_BOX_MAJ
BAC_BOX_RAND
BAC_BOX_RNAND
BAC_BOX_ROR
BAC_BOX_RNOR
BAC_BOX_RXOR
BAC_BOX_RXNOR
BAC_BOX_LAND
BAC_BOX_LNAND
BAC_BOX_LOR
BAC_BOX_LNOR
BAC_BOX_LXOR
BAC_BOX_LXNOR
BAC_BOX_NMUX
BAC_BOX_SEL
BAC_BOX_PSEL
BAC_BOX_ENC
BAC_BOX_PENC
BAC_BOX_DEC
BAC_BOX_EDEC
BAC_BOX_ADD
BAC_BOX_SUB
BAC_BOX_MUL
BAC_BOX_DIV
BAC_BOX_MOD
BAC_BOX_REM
BAC_BOX_POW
BAC_BOX_MIN
BAC_BOX_ABS
BAC_BOX_LTHAN
BAC_BOX_LETHAN
BAC_BOX_METHAN
BAC_BOX_MTHAN
BAC_BOX_EQU
BAC_BOX_NEQU
BAC_BOX_SHIL
BAC_BOX_SHIR
BAC_BOX_ROTL
BAC_BOX_ROTR
BAC_BOX_GATE
BAC_BOX_LUT
BAC_BOX_ASSIGN
BAC_BOX_TRI
BAC_BOX_RAM
BAC_BOX_RAMR
BAC_BOX_RAMW
BAC_BOX_RAMWC
BAC_BOX_RAMBOX
BAC_BOX_LATCH
BAC_BOX_LATCHRS
BAC_BOX_DFF
BAC_BOX_DFFRS
BAC_BOX_UNKNOWN

Definition at line 43 of file bac.h.

             { 
    BAC_OBJ_NONE = 0,  // 0:  unused
    BAC_OBJ_PI,        // 1:  input
    BAC_OBJ_PO,        // 2:  output
    BAC_OBJ_BI,        // 3:  box input
    BAC_OBJ_BO,        // 4:  box output
    BAC_OBJ_BOX,       // 5:  box
 
    BAC_BOX_CF,   
    BAC_BOX_CT,   
    BAC_BOX_CX,   
    BAC_BOX_CZ,   
    BAC_BOX_BUF,  
    BAC_BOX_INV,  
    BAC_BOX_AND,  
    BAC_BOX_NAND, 
    BAC_BOX_OR,   
    BAC_BOX_NOR,  
    BAC_BOX_XOR,  
    BAC_BOX_XNOR, 
    BAC_BOX_SHARP,
    BAC_BOX_SHARPL,
    BAC_BOX_MUX,  
    BAC_BOX_MAJ,  
 
    BAC_BOX_RAND,
    BAC_BOX_RNAND,
    BAC_BOX_ROR,
    BAC_BOX_RNOR,
    BAC_BOX_RXOR,
    BAC_BOX_RXNOR,
 
    BAC_BOX_LAND,
    BAC_BOX_LNAND,
    BAC_BOX_LOR,
    BAC_BOX_LNOR,
    BAC_BOX_LXOR,
    BAC_BOX_LXNOR,
 
    BAC_BOX_NMUX,  
    BAC_BOX_SEL,
    BAC_BOX_PSEL,
    BAC_BOX_ENC,
    BAC_BOX_PENC,
    BAC_BOX_DEC,
    BAC_BOX_EDEC,
 
    BAC_BOX_ADD,
    BAC_BOX_SUB,
    BAC_BOX_MUL,
    BAC_BOX_DIV,
    BAC_BOX_MOD,
    BAC_BOX_REM,
    BAC_BOX_POW,
    BAC_BOX_MIN,
    BAC_BOX_ABS,
 
    BAC_BOX_LTHAN,
    BAC_BOX_LETHAN,
    BAC_BOX_METHAN,
    BAC_BOX_MTHAN,
    BAC_BOX_EQU,
    BAC_BOX_NEQU,
 
    BAC_BOX_SHIL,
    BAC_BOX_SHIR,
    BAC_BOX_ROTL,
    BAC_BOX_ROTR,
 
    BAC_BOX_GATE,  
    BAC_BOX_LUT,  
    BAC_BOX_ASSIGN,  
 
    BAC_BOX_TRI,
    BAC_BOX_RAM,
    BAC_BOX_RAMR,
    BAC_BOX_RAMW,
    BAC_BOX_RAMWC,
    BAC_BOX_RAMBOX,
 
    BAC_BOX_LATCH,
    BAC_BOX_LATCHRS,
    BAC_BOX_DFF,
    BAC_BOX_DFFRS,
 
    BAC_BOX_UNKNOWN   // 67
} Bac_ObjType_t; 

Function Documentation

Abc_FrameExportPtr()

Vec_Ptr_t * Abc_FrameExportPtr ( )

extern

Definition at line 73 of file bacCom.c.

{
    Vec_Ptr_t * vPtr;
    Bac_Man_t * p;
    if ( Abc_FrameGetGlobalFrame() == NULL )
    {
        printf( "ABC framework is not started.\n" );
        return NULL;
    }
    p = Bac_AbcGetMan( Abc_FrameGetGlobalFrame() );
    if ( p == NULL )
        printf( "There is no CBA design present.\n" );
    vPtr = Bac_PtrDeriveFromCba( p );
    if ( vPtr == NULL )
        printf( "Converting to Ptr has failed.\n" );
    return vPtr;
}

Here is the call graph for this function:

Abc_FrameImportPtr()

void Abc_FrameImportPtr ( Vec_Ptr_t * vPtr )

extern

FUNCTION DEFINITIONS ///.

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

Synopsis [Accessing current Bac_Ntk_t.]

Description []

SideEffects []

SeeAlso []

Definition at line 60 of file bacCom.c.

{
    Bac_Man_t * p;
    if ( Abc_FrameGetGlobalFrame() == NULL )
    {
        printf( "ABC framework is not started.\n" );
        return;
    }
    p = Bac_PtrTransformToCba( vPtr );
    if ( p == NULL )
        printf( "Converting from Ptr failed.\n" );
    Bac_AbcUpdateMan( Abc_FrameGetGlobalFrame(), p );
}

Here is the call graph for this function:

Bac_ManAssignInternWordNames()

void Bac_ManAssignInternWordNames ( Bac_Man_t * p )

extern

Definition at line 392 of file bacNtk.c.

{
    Vec_Int_t * vMap = Vec_IntStart( 2*Bac_ManObjNum(p) );
    Bac_Ntk_t * pNtk; int i;
    Bac_ManForEachNtk( p, pNtk, i )
        Bac_ManAssignInternWordNamesNtk( pNtk, vMap );
    assert( Vec_IntCountEntry(vMap, 0) == Vec_IntSize(vMap) );
    Vec_IntFree( vMap );
}

Here is the call graph for this function:

Here is the caller graph for this function:

Bac_ManCollapse()

Bac_Man_t * Bac_ManCollapse ( Bac_Man_t * p )

extern

Definition at line 567 of file bacNtk.c.

{
    int i, iObj;
    Vec_Int_t * vSigs = Vec_IntAlloc( 1000 );
    Bac_Man_t * pNew = Bac_ManStart( p, 1 );
    Bac_Ntk_t * pRoot = Bac_ManRoot( p );
    Bac_Ntk_t * pRootNew = Bac_ManRoot( pNew );
    Bac_NtkAlloc( pRootNew, Bac_NtkNameId(pRoot), Bac_NtkPiNum(pRoot), Bac_NtkPoNum(pRoot), Bac_ManClpObjNum(p) );
    if ( Vec_IntSize(&pRoot->vInfo) )
        Vec_IntAppend( &pRootNew->vInfo, &pRoot->vInfo );
    Bac_NtkForEachPi( pRoot, iObj, i )
        Vec_IntPush( vSigs, Bac_ObjAlloc(pRootNew, BAC_OBJ_PI, -1) );
    Bac_NtkCollapse_rec( pRootNew, pRoot, vSigs );
    assert( Vec_IntSize(vSigs) == Bac_NtkPoNum(pRoot) );
    Bac_NtkForEachPo( pRoot, iObj, i )
        Bac_ObjAlloc( pRootNew, BAC_OBJ_PO, Vec_IntEntry(vSigs, i) );
    assert( Bac_NtkObjNum(pRootNew) == Bac_NtkObjNumAlloc(pRootNew) );
    Vec_IntFree( vSigs );
    // transfer PI/PO names
    if ( Bac_NtkHasNames(pRoot) )
    {
        Bac_NtkStartNames( pRootNew );
        Bac_NtkForEachPi( pRoot, iObj, i )
            Bac_ObjSetName( pRootNew, Bac_NtkPi(pRootNew, i), Bac_ObjName(pRoot, iObj) );
        Bac_NtkForEachPoDriver( pRoot, iObj, i )
            if ( !Bac_ObjIsPi(pRoot, iObj) )
                Bac_ObjSetName( pRootNew, Bac_ObjCopy(pRoot, iObj), Bac_ObjName(pRoot, iObj) );
    }
    return pNew;
}

Here is the call graph for this function:

Bac_ManDeriveFanout()

void Bac_ManDeriveFanout ( Bac_Man_t * p )

extern

Definition at line 258 of file bacNtk.c.

{
    Bac_Ntk_t * pNtk; int i;
    Bac_ManForEachNtk( p, pNtk, i )
        Bac_NtkDeriveFanout( pNtk );
}

Here is the call graph for this function:

Bac_ManExtract()

Gia_Man_t * Bac_ManExtract ( Bac_Man_t * p, int fBuffers, int fVerbose )

extern

Definition at line 216 of file bacBlast.c.

{
    Bac_Ntk_t * pNtk, * pRoot = Bac_ManRoot(p);
    Gia_Man_t * pNew, * pTemp; 
    Vec_Int_t * vMap = NULL;
    int i, iObj;
 
    Vec_IntClear( &p->vBuf2LeafNtk );
    Vec_IntClear( &p->vBuf2LeafObj );
    Vec_IntClear( &p->vBuf2RootNtk );
    Vec_IntClear( &p->vBuf2RootObj );
 
    Bac_ManForEachNtk( p, pNtk, i )
    {
        Bac_NtkDeriveIndex( pNtk );
        Bac_NtkStartCopies( pNtk );
    }
 
    // start the manager
    pNew = Gia_ManStart( Bac_ManNodeNum(p) );
    pNew->pName = Abc_UtilStrsav(p->pName);
    pNew->pSpec = Abc_UtilStrsav(p->pSpec);
 
    // primary inputs
    Bac_NtkForEachPi( pRoot, iObj, i )
        Bac_ObjSetCopy( pRoot, iObj, Gia_ManAppendCi(pNew) );
 
    // internal nodes
    Gia_ManHashAlloc( pNew );
    pNew->vBarBufs = Vec_IntAlloc( 10000 );
    vMap = Vec_IntStartFull( 10000 );
    Bac_ManPrepareGates( p );
    Bac_NtkForEachPo( pRoot, iObj, i )
        Bac_ManExtract_rec( pNew, pRoot, iObj, fBuffers, vMap );
    Bac_ManUndoGates( p );
    Vec_IntFreeP( &vMap );
    Gia_ManHashStop( pNew );
 
    // primary outputs
    Bac_NtkForEachPo( pRoot, iObj, i )
        Gia_ManAppendCo( pNew, Bac_ObjCopy(pRoot, iObj) );
    assert( Vec_IntSize(&p->vBuf2LeafNtk) == pNew->nBufs );
 
    // cleanup
    pNew = Gia_ManCleanup( pTemp = pNew );
    Gia_ManStop( pTemp );
    //Gia_ManPrintStats( pNew, NULL );
    return pNew;
}

Here is the call graph for this function:

Here is the caller graph for this function:

Bac_ManInsertAbc()

void * Bac_ManInsertAbc ( Bac_Man_t * p, void * pAbc )

extern

Definition at line 570 of file bacBlast.c.

{
    Abc_Ntk_t * pNtk = (Abc_Ntk_t *)pAbc;
    Bac_Man_t * pNew = Bac_ManDupUserBoxes( p );
    Bac_ManMarkNodesAbc( p, pNtk );
    Bac_ManRemapBarbufs( pNew, p );
    Bac_NtkInsertNtk( pNew, pNtk );
    Bac_ManMoveNames( pNew, p );
    return pNew;
}

Here is the call graph for this function:

Bac_ManInsertGia()

Bac_Man_t * Bac_ManInsertGia ( Bac_Man_t * p, Gia_Man_t * pGia )

extern

Definition at line 399 of file bacBlast.c.

{
    Bac_Man_t * pNew = Bac_ManDupUserBoxes( p );
    Bac_ManMarkNodesGia( p, pGia );
    Bac_ManRemapBarbufs( pNew, p );
    Bac_NtkInsertGia( pNew, pGia );
    Bac_ManMoveNames( pNew, p );
    return pNew;
}

Here is the call graph for this function:

Here is the caller graph for this function:

Bac_ManReadBac()

Bac_Man_t * Bac_ManReadBac ( char * pFileName )

extern

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_ManSetupTypes()

void Bac_ManSetupTypes ( char ** pNames, char ** pSymbs )

extern

Definition at line 131 of file bacNtk.c.

{
    int Type;
    for ( Type = 1; Type < BAC_BOX_UNKNOWN; Type++ )
    {
        int Id = Bac_GetTypeId( (Bac_ObjType_t)Type );
        pNames[Type] = s_Types[Id].pName;
        pSymbs[Type] = s_Types[Id].pSymb;
    }
}

Bac_ManWriteBac()

void Bac_ManWriteBac ( char * pFileName, Bac_Man_t * p )

extern

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_ManWriteBlif()

void Bac_ManWriteBlif ( char * pFileName, Bac_Man_t * p )

extern

Definition at line 205 of file bacWriteBlif.c.

{
    FILE * pFile;
    Bac_Ntk_t * pNtk; 
    int i;
    // check the library
    if ( p->pMioLib && p->pMioLib != Abc_FrameReadLibGen() )
    {
        printf( "Genlib library used in the mapped design is not longer a current library.\n" );
        return;
    }
    pFile = fopen( pFileName, "wb" );
    if ( pFile == NULL )
    {
        printf( "Cannot open output file \"%s\".\n", pFileName );
        return;
    }
    fprintf( pFile, "# Design \"%s\" written via CBA package in ABC on %s\n\n", Bac_ManName(p), Extra_TimeStamp() );
    Bac_ManAssignInternWordNames( p );
    Bac_ManForEachNtk( p, pNtk, i )
        Bac_ManWriteBlifNtk( pFile, pNtk );
    fclose( pFile );
}

Here is the call graph for this function:

Bac_ManWriteVerilog()

void Bac_ManWriteVerilog ( char * pFileName, Bac_Man_t * p, int fUseAssign )

extern

Definition at line 660 of file bacWriteVer.c.

{
    Bac_Ntk_t * pNtk; int i;
    // check the library
    if ( p->pMioLib && p->pMioLib != Abc_FrameReadLibGen() )
    {
        printf( "Genlib library used in the mapped design is not longer a current library.\n" );
        return;
    }
    // derive the stream
    p->vOut = Vec_StrAlloc( 10000 );
    p->vOut2 = Vec_StrAlloc( 1000 );
    Vec_StrPrintStr( p->vOut, "// Design \"" );
    Vec_StrPrintStr( p->vOut, Bac_ManName(p) );
    Vec_StrPrintStr( p->vOut, "\" written via CBA package in ABC on " );
    Vec_StrPrintStr( p->vOut, Extra_TimeStamp() );
    Vec_StrPrintStr( p->vOut, "\n\n" );
    Bac_ManAssignInternWordNames( p );
    Bac_ManForEachNtk( p, pNtk, i )
        Bac_ManWriteVerilogNtk( pNtk, fUseAssign );
    // dump into file
    if ( p->vOut && Vec_StrSize(p->vOut) > 0 )
    {
        FILE * pFile = fopen( pFileName, "wb" );
        if ( pFile == NULL )
            printf( "Cannot open file \"%s\" for writing.\n", pFileName );
        else
        {
            fwrite( Vec_StrArray(p->vOut), 1, Vec_StrSize(p->vOut), pFile );
            fclose( pFile );
        }
    }
    Vec_StrFreeP( &p->vOut );
    Vec_StrFreeP( &p->vOut2 );
}

Here is the call graph for this function:

Bac_NameToRanges()

Vec_Int_t * Bac_NameToRanges ( char * pName )

extern

Definition at line 172 of file bacNtk.c.

{
    static Vec_Int_t Bits, * vBits = &Bits;
    static int pArray[10];
    char * pTemp; 
    int Num = 0, Count = 0;
    // initialize array
    vBits->pArray = pArray;
    vBits->nSize = 0;
    vBits->nCap = 10;
    // check the name
    assert( !strncmp(pName, s_Pref, strlen(s_Pref)) );
    for ( pTemp = pName; *pTemp && !Bac_CharIsDigit(*pTemp); pTemp++ );
    assert( Bac_CharIsDigit(*pTemp) );
    for ( ; *pTemp; pTemp++ )
    {
        if ( Bac_CharIsDigit(*pTemp) )
            Num = 10 * Num + *pTemp - '0';
        else
            Vec_IntPush( vBits, Num ), Count += Num, Num = 0;
    }
    assert( Num > 0 );
    Vec_IntPush( vBits, Num );  Count += Num;
    assert( Vec_IntSize(vBits) <= 10 );
    return vBits;
}

Here is the call graph for this function:

Bac_NameToType()

Bac_ObjType_t Bac_NameToType ( char * pName )

extern

Definition at line 161 of file bacNtk.c.

{
    int i;
    if ( strncmp(pName, s_Pref, strlen(s_Pref)) )
        return BAC_OBJ_NONE;
    pName += strlen(s_Pref);
    for ( i = 1; i < BAC_BOX_UNKNOWN; i++ )
        if ( !strncmp(pName, s_Types[i].pName, strlen(s_Types[i].pName)) )
            return s_Types[i].Type;
    return BAC_OBJ_NONE;
}

Here is the call graph for this function:

Bac_NtkBuildLibrary()

int Bac_NtkBuildLibrary ( Bac_Man_t * p )

extern

Definition at line 509 of file bacBlast.c.

{
    int RetValue = 1;
    Mio_Library_t * pLib = (Mio_Library_t *)Abc_FrameReadLibGen();
    if ( pLib == NULL )
        printf( "The standard cell library is not available.\n" ), RetValue = 0;
    else
        Bac_NtkPrepareLibrary( p, pLib );
    p->pMioLib = pLib;
    return RetValue;
}

Here is the call graph for this function:

Here is the caller graph for this function:

Bac_NtkGenerateName()

char * Bac_NtkGenerateName ( Bac_Ntk_t * p, Bac_ObjType_t Type, Vec_Int_t * vBits )

extern

Definition at line 142 of file bacNtk.c.

{
    static char Buffer[100]; 
    char * pTemp; int i, Bits;
    char * pName = Bac_ManPrimName( p->pDesign, Type );
    char * pSymb = Bac_ManPrimSymb( p->pDesign, Type );
    assert( Vec_IntSize(vBits) == (int)strlen(pSymb) );
    sprintf( Buffer, "%s%s_", s_Pref, pName );
    pTemp = Buffer + strlen(Buffer);
    Vec_IntForEachEntry( vBits, Bits, i )
    {
        sprintf( pTemp, "%c%d", pSymb[i], Bits );
        pTemp += strlen(pTemp);
    }
    //Vec_IntPrint( vBits );
    //printf( "%s\n", Buffer );
    return Buffer;
}

Here is the call graph for this function:

Here is the caller graph for this function:

Bac_NtkUpdateFanout()

void Bac_NtkUpdateFanout ( Bac_Ntk_t * p, int iOld, int iNew )

extern

FUNCTION DEFINITIONS ///.

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

Synopsis [Replaces fanin iOld by iNew in all fanouts.]

Description []

SideEffects []

SeeAlso []

Definition at line 215 of file bacNtk.c.

{
    int iCo;
    assert( Bac_ObjIsCi(p, iOld) );
    assert( Bac_ObjIsCi(p, iNew) );
    Bac_ObjForEachFanout( p, iOld, iCo )
    {
        assert( Bac_ObjFanin(p, iCo) == iOld );
        Bac_ObjCleanFanin( p, iCo );
        Bac_ObjSetFanin( p, iCo, iNew );
    }
    Bac_ObjSetFanout( p, iNew, Bac_ObjFanout(p, iOld) );
    Bac_ObjSetFanout( p, iOld, 0 );
}

Bac_PtrDeriveFromCba()

Vec_Ptr_t * Bac_PtrDeriveFromCba ( Bac_Man_t * p )

extern

Definition at line 459 of file bacPtrAbc.c.

{
    Vec_Ptr_t * vDes;
    Bac_Ntk_t * pTemp; int i;
    if ( p == NULL )
        return NULL;
    if ( p->pMioLib == NULL )
    {
        printf( "Cannot transform CBA network into Ptr because it is not mapped.\n" );
        return NULL;
    }
    Bac_ManAssignInternWordNames( p );
    vDes = Vec_PtrAllocExact( 1 + Bac_ManNtkNum(p) );
    Vec_PtrPush( vDes, p->pName );
    Bac_ManForEachNtk( p, pTemp, i )
        Vec_PtrPush( vDes, Bac_NtkTransformToPtr(pTemp) );
    assert( Ptr_CheckArray(vDes) );
    return vDes;
}

Here is the call graph for this function:

Here is the caller graph for this function:

Bac_PtrDumpBlif()

void Bac_PtrDumpBlif ( char * pFileName, Vec_Ptr_t * vDes )

extern

Definition at line 192 of file bacPtr.c.

{
    FILE * pFile;
    Vec_Ptr_t * vNtk; int i;
    pFile = fopen( pFileName, "wb" );
    if ( pFile == NULL )
    {
        printf( "Cannot open output file \"%s\".\n", pFileName );
        return;
    }
    fprintf( pFile, "// Design \"%s\" written via Ptr in ABC on %s\n\n", (char *)Vec_PtrEntry(vDes, 0), Extra_TimeStamp() );
    Vec_PtrForEachEntryStart( Vec_Ptr_t *, vDes, vNtk, i, 1 )
        Bac_PtrDumpModuleBlif( pFile, vNtk );
    fclose( pFile );
}

Here is the call graph for this function:

Here is the caller graph for this function:

Bac_PtrDumpVerilog()

void Bac_PtrDumpVerilog ( char * pFileName, Vec_Ptr_t * vDes )

extern

Definition at line 256 of file bacPtr.c.

{
    FILE * pFile;
    Vec_Ptr_t * vNtk; int i;
    pFile = fopen( pFileName, "wb" );
    if ( pFile == NULL )
    {
        printf( "Cannot open output file \"%s\".\n", pFileName );
        return;
    }
    fprintf( pFile, "// Design \"%s\" written via Ptr in ABC on %s\n\n", (char *)Vec_PtrEntry(vDes, 0), Extra_TimeStamp() );
    Vec_PtrForEachEntryStart( Vec_Ptr_t *, vDes, vNtk, i, 1 )
        Bac_PtrDumpModuleVerilog( pFile, vNtk );
    fclose( pFile );
}

Here is the call graph for this function:

Bac_PtrFree()

void Bac_PtrFree ( Vec_Ptr_t * vDes )

extern

Definition at line 98 of file bacPtr.c.

{
    Vec_Ptr_t * vNtk; int i;
    if ( !vDes ) return;
    Vec_PtrForEachEntryStart( Vec_Ptr_t *, vDes, vNtk, i, 1 )
        Bac_PtrFreeNtk( vNtk );
    Vec_PtrFree( vDes );
}

Here is the call graph for this function:

Here is the caller graph for this function:

Bac_PtrMemory()

int Bac_PtrMemory ( Vec_Ptr_t * vDes )

extern

Definition at line 138 of file bacPtr.c.

{
    Vec_Ptr_t * vNtk; int i, nBytes = (int)Vec_PtrMemory(vDes);
    Vec_PtrForEachEntryStart( Vec_Ptr_t *, vDes, vNtk, i, 1 )
        nBytes += Bac_PtrMemoryNtk(vNtk);
    return nBytes;
}

Here is the call graph for this function:

Here is the caller graph for this function:

Bac_PtrTransformTest()

Vec_Ptr_t * Bac_PtrTransformTest ( Vec_Ptr_t * vDes )

extern

Definition at line 411 of file bacPtr.c.

{
    Mio_Library_t * pLib;
    Vec_Ptr_t * vGatesNames;
    Vec_Ptr_t * vNtk, * vNew; int i;
    // dump BLIF before transformation
    Bac_PtrDumpBlif( "test1.blif", vDes );
    if ( Abc_FrameGetGlobalFrame() == NULL )
    {
        printf( "ABC framework is not started.\n" );
        return NULL;
    }
    pLib = (Mio_Library_t *)Abc_FrameReadLibGen();
    if ( pLib == NULL )
    {
        printf( "Standard cell library is not entered.\n" );
        return NULL;
    }
    vGatesNames = Bac_ManCollectGateNamesByTruth( pLib );
    // transform
    vNew = Vec_PtrAllocExact( Vec_PtrSize(vDes) );
    Vec_PtrPush( vNew, Abc_UtilStrsav((char *)Vec_PtrEntry(vDes, 0)) );
    Vec_PtrForEachEntryStart( Vec_Ptr_t *, vDes, vNtk, i, 1 )
        Vec_PtrPush( vNew, Bac_PtrTransformNtk(vNtk, vGatesNames) );
    // dump BLIF after transformation
    Bac_PtrDumpBlif( "test2.blif", vNew );
    Vec_PtrFree( vGatesNames );
    return vNew;
}

Here is the call graph for this function:

Here is the caller graph for this function:

Bac_PtrTransformToCba()

Bac_Man_t * Bac_PtrTransformToCba ( Vec_Ptr_t * vDes )

extern

Definition at line 355 of file bacPtrAbc.c.

{
    char * pName = (char *)Vec_PtrEntry(vDes, 0);
    Bac_Man_t * pNew = Bac_ManAlloc( pName, Vec_PtrSize(vDes) - 1 );
    Vec_Int_t * vMap = Vec_IntStartFull( 1000 );
    Vec_Int_t * vBox2Id = Vec_IntAlloc( 1000 );
    // create interfaces
    Bac_Ntk_t * pNtk; int i;
    Bac_ManForEachNtk( pNew, pNtk, i )
    {
        Vec_Ptr_t * vNtk = (Vec_Ptr_t *)Vec_PtrEntry(vDes, i);
        Vec_Ptr_t * vInputs = (Vec_Ptr_t *)Vec_PtrEntry(vNtk, 1);
        Vec_Ptr_t * vOutputs = (Vec_Ptr_t *)Vec_PtrEntry(vNtk, 2);
        int NameId = Abc_NamStrFindOrAdd( pNew->pStrs, (char *)Vec_PtrEntry(vNtk, 0), NULL );
        Bac_NtkAlloc( pNtk, NameId, Vec_PtrSize(vInputs), Vec_PtrSize(vOutputs), Ptr_ManCountNtk(vNtk) );
        Bac_NtkStartNames( pNtk );
    }
    // parse the networks
    Bac_ManForEachNtk( pNew, pNtk, i )
    {
        Vec_Ptr_t * vNtk = (Vec_Ptr_t *)Vec_PtrEntry(vDes, i);
        if ( !Bac_NtkDeriveFromPtr( pNtk, vNtk, vMap, vBox2Id ) )
            break;
    }
    if ( i <= Bac_ManNtkNum(pNew) )
       Bac_ManFree(pNew), pNew = NULL;
    Vec_IntFree( vBox2Id );
    Vec_IntFree( vMap );
    return pNew;
}

Here is the call graph for this function:

Here is the caller graph for this function:

Psr_ManBuildCba()

Bac_Man_t * Psr_ManBuildCba ( char * pFileName, Vec_Ptr_t * vDes )

extern

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

Synopsis []

Description []

SideEffects []

SeeAlso []

Definition at line 328 of file bacPrsBuild.c.

{
    Psr_Ntk_t * pNtk = Psr_ManRoot( vDes );  int i;
    Bac_Man_t * pNew = Bac_ManAlloc( pFileName, Vec_PtrSize(vDes) );
    Vec_Int_t * vMap = Vec_IntStartFull( Abc_NamObjNumMax(pNtk->pStrs) + 1 );
    Vec_Int_t * vTmp = Vec_IntAlloc( Psr_NtkBoxNum(pNtk) );
    Abc_NamDeref( pNew->pStrs );
    pNew->pStrs = Abc_NamRef( pNtk->pStrs );  
    Vec_PtrForEachEntry( Psr_Ntk_t *, vDes, pNtk, i )
        Bac_NtkAlloc( Bac_ManNtk(pNew, i+1), Psr_NtkId(pNtk), Psr_NtkPiNum(pNtk), Psr_NtkPoNum(pNtk), Psr_NtkCountObjects(pNtk) );
    if ( (pNtk->fMapped || (pNtk->fSlices && Psr_ManIsMapped(pNtk))) && !Bac_NtkBuildLibrary(pNew) )
        Bac_ManFree(pNew), pNew = NULL;
    else 
        Vec_PtrForEachEntry( Psr_Ntk_t *, vDes, pNtk, i )
            Psr_ManBuildNtk( Bac_ManNtk(pNew, i+1), vDes, pNtk, vMap, vTmp );
    assert( Vec_IntCountEntry(vMap, -1) == Vec_IntSize(vMap) );
    Vec_IntFree( vMap );
    Vec_IntFree( vTmp );
//    Vec_StrPrint( &Bac_ManNtk(pNew, 1)->vType, 1 );
    return pNew;
}

Here is the call graph for this function:

Psr_ManReadBlif()

Vec_Ptr_t * Psr_ManReadBlif ( char * pFileName )

extern

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

Synopsis []

Description []

SideEffects []

SeeAlso []

Definition at line 406 of file bacReadBlif.c.

{
    Vec_Ptr_t * vPrs = NULL;
    Psr_Man_t * p = Psr_ManAlloc( pFileName );
    if ( p == NULL )
        return NULL;
    Psr_NtkAddBlifDirectives( p );
    Psr_ManReadLines( p );
    if ( Psr_ManErrorPrint(p) )
        ABC_SWAP( Vec_Ptr_t *, vPrs, p->vNtks );
    Psr_ManFree( p );
    return vPrs;
}

Here is the caller graph for this function:

Psr_ManReadSmt()

Vec_Ptr_t * Psr_ManReadSmt ( char * pFileName )

extern

Psr_ManReadVerilog()

Vec_Ptr_t * Psr_ManReadVerilog ( char * pFileName )

extern

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

Synopsis []

Description []

SideEffects []

SeeAlso []

Definition at line 834 of file bacReadVer.c.

{
    Vec_Ptr_t * vPrs = NULL;
    Psr_Man_t * p = Psr_ManAlloc( pFileName );
    if ( p == NULL )
        return NULL;
    Psr_NtkAddVerilogDirectives( p );
    Psr_ManReadDesign( p );   
    //Psr_ManPrintModules( p );
    if ( Psr_ManErrorPrint(p) )
        ABC_SWAP( Vec_Ptr_t *, vPrs, p->vNtks );
    Psr_ManFree( p );
    return vPrs;
}

Here is the caller graph for this function:

Psr_ManWriteBlif()

void Psr_ManWriteBlif ( char * pFileName, Vec_Ptr_t * p )

extern

Definition at line 103 of file bacWriteBlif.c.

{
    Psr_Ntk_t * pNtk = Psr_ManRoot(vPrs);
    FILE * pFile = fopen( pFileName, "wb" ); int i;
    if ( pFile == NULL )
    {
        printf( "Cannot open output file \"%s\".\n", pFileName );
        return;
    }
    fprintf( pFile, "# Design \"%s\" written by ABC on %s\n\n", Psr_NtkStr(pNtk, pNtk->iModuleName), Extra_TimeStamp() );
    Vec_PtrForEachEntry( Psr_Ntk_t *, vPrs, pNtk, i )
        Psr_ManWriteBlifNtk( pFile, pNtk );
    fclose( pFile );
}

Here is the call graph for this function:

Here is the caller graph for this function:

Psr_ManWriteVerilog()

void Psr_ManWriteVerilog ( char * pFileName, Vec_Ptr_t * p )

extern

Definition at line 166 of file bacWriteVer.c.

{
    Psr_Ntk_t * pNtk = Psr_ManRoot(vPrs); int i;
    FILE * 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", Psr_NtkStr(pNtk, pNtk->iModuleName), Extra_TimeStamp() );
    Vec_PtrForEachEntry( Psr_Ntk_t *, vPrs, pNtk, i )
        Psr_ManWriteVerilogNtk( pFile, pNtk );
    fclose( pFile );
}

Here is the call graph for this function:

Here is the caller graph for this function: