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

Include dependency graph for cba.h:

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

Go to the source code of this file.

Classes
struct	Cba_Ntk_t_

struct	Cba_Man_t_

Macros
#define	Cba_ManForEachNtk(p, pNtk, i)
	ITERATORS ///.

#define	Cba_NtkForEachPi(p, iObj, i)

#define	Cba_NtkForEachPo(p, iObj, i)

#define	Cba_NtkForEachBoxSeq(p, iObj, i)

#define	Cba_NtkForEachPioOrder(p, iObj, i)

#define	Cba_NtkForEachPiFon(p, iObj, iFon, i)

#define	Cba_NtkForEachPoDriverFon(p, iObj, iFon, i)

#define	Cba_NtkForEachPoDriver(p, iObj, i)

#define	Cba_NtkForEachObj(p, i)

#define	Cba_NtkForEachObjType(p, Type, i)

#define	Cba_NtkForEachBox(p, i)

#define	Cba_NtkForEachBoxComb(p, i)

#define	Cba_NtkForEachBoxUser(p, i)

#define	Cba_NtkForEachBoxPrim(p, i)

#define	Cba_NtkForEachFon(p, i)

#define	Cba_NtkForEachFinFon(p, iFon, iFin)

#define	Cba_NtkForEachFonName(p, NameId, iFon)

#define	Cba_ObjForEachFin(p, iObj, iFin, k)

#define	Cba_ObjForEachFon(p, iObj, iFon, k)

#define	Cba_ObjForEachFinFon(p, iObj, iFin, iFon, k)

#define	Cba_ObjForEachFinFanin(p, iObj, iFin, iFanin, k)

#define	Cba_ObjForEachFinFaninReal(p, iObj, iFin, iFanin, k)

Typedefs
typedef typedefABC_NAMESPACE_HEADER_START struct Cba_Ntk_t_	Cba_Ntk_t
	INCLUDES ///.

typedef struct Cba_Man_t_	Cba_Man_t

Functions
Gia_Man_t *	Cba_ManBlast (Cba_Man_t *p, int fBarBufs, int fSeq, int fVerbose)

Cba_Man_t *	Cba_ManInsertGia (Cba_Man_t p, Gia_Man_t pGia)

Cba_Man_t *	Cba_ManInsertAbc (Cba_Man_t p, void pAbc)

Cba_Man_t *	Cba_ManReadCba (char *pFileName)
	DECLARATIONS ///.

void	Cba_ManWriteCba (char pFileName, Cba_Man_t p)

void	Cba_NtkPrintStatsFull (Cba_Ntk_t *p, int fDistrib, int fVerbose)

void	Cba_NtkPrintNodes (Cba_Ntk_t *p, int Type)

void	Cba_NtkPrintDistribOld (Cba_Ntk_t *p)

void	Cba_ManPrintDistrib (Cba_Man_t *p)

void	Cba_NtkObjOrder (Cba_Ntk_t p, Vec_Int_t vObjs, Vec_Int_t *vNameIds)

int	Cba_NtkCiFonNum (Cba_Ntk_t *p)

int	Cba_NtkCoFinNum (Cba_Ntk_t *p)

int	Cba_NtkCheckComboLoop (Cba_Ntk_t *p)

int	Cba_ManIsTopoOrder (Cba_Man_t *p)

Vec_Int_t *	Cba_NtkCollectDfs (Cba_Ntk_t *p)

Cba_Man_t *	Cba_ManCollapse (Cba_Man_t *p)

Cba_Man_t *	Cba_ManExtractGroup (Cba_Man_t p, Vec_Int_t vObjs)

Cba_Man_t *	Cba_ManDeriveFromGia (Cba_Man_t p, Gia_Man_t pGia, int fUseXor)

Cba_Man_t *	Cba_ManInsertGroup (Cba_Man_t p, Vec_Int_t vObjs, Cba_Ntk_t *pSyn)

Cba_Man_t *	Prs_ManBuildCbaBlif (char pFileName, Vec_Ptr_t vDes)

void	Prs_ManReadBlifTest (char *pFileName)

Cba_Man_t *	Cba_ManReadBlif (char *pFileName)

Cba_Man_t *	Prs_ManBuildCbaVerilog (char pFileName, Vec_Ptr_t vDes)

void	Prs_ManReadVerilogTest (char *pFileName)

Cba_Man_t *	Cba_ManReadVerilog (char *pFileName)

void	Prs_ManWriteBlif (char pFileName, Vec_Ptr_t p)

void	Cba_ManWriteBlif (char pFileName, Cba_Man_t p)

void	Cba_ManCreatePrimMap (char **pMap)
	DECLARATIONS ///.

char *	Cba_ManGetSliceName (Cba_Ntk_t *p, int iFon, int RangeId)

void	Prs_ManWriteVerilog (char pFileName, Vec_Ptr_t p)

void	Cba_ManWriteVerilog (char pFileName, Cba_Man_t p, int fInlineConcat)

Macro Definition Documentation

◆ Cba_ManForEachNtk

#define Cba_ManForEachNtk	(	p,
		pNtk,
		i )

Value:

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

p

Cube * p

Definition exorList.c:222

ITERATORS ///.

Definition at line 305 of file cba.h.

305#define Cba_ManForEachNtk( p, pNtk, i ) \

306 for ( i = 1; (i <= Cba_ManNtkNum(p)) && (((pNtk) = Cba_ManNtk(p, i)), 1); i++ )

◆ Cba_NtkForEachBox

#define Cba_NtkForEachBox	(		p,
			i )

Value:

for ( i = 1; i < Vec_StrSize(&p->vObjType); i++ ) if ( !Cba_ObjIsBox(p, i) ) {} else

Definition at line 328 of file cba.h.

328#define Cba_NtkForEachBox( p, i ) \

329 for ( i = 1; i < Vec_StrSize(&p->vObjType); i++ ) if ( !Cba_ObjIsBox(p, i) ) {} else

◆ Cba_NtkForEachBoxComb

#define Cba_NtkForEachBoxComb	(		p,
			i )

Value:

for ( i = 1; i < Vec_StrSize(&p->vObjType); i++ ) if ( !Cba_ObjIsBox(p, i) || Cba_ObjIsSeq(p, i) ) {} else

Definition at line 330 of file cba.h.

330#define Cba_NtkForEachBoxComb( p, i ) \

331 for ( i = 1; i < Vec_StrSize(&p->vObjType); i++ ) if ( !Cba_ObjIsBox(p, i) || Cba_ObjIsSeq(p, i) ) {} else

◆ Cba_NtkForEachBoxPrim

#define Cba_NtkForEachBoxPrim	(		p,
			i )

Value:

for ( i = 1; i < Vec_StrSize(&p->vObjType); i++ ) if ( !Cba_ObjIsBoxPrim(p, i) ) {} else

Definition at line 334 of file cba.h.

334#define Cba_NtkForEachBoxPrim( p, i ) \

335 for ( i = 1; i < Vec_StrSize(&p->vObjType); i++ ) if ( !Cba_ObjIsBoxPrim(p, i) ) {} else

◆ Cba_NtkForEachBoxSeq

#define Cba_NtkForEachBoxSeq	(	p,
		iObj,
		i )

Value:

for ( i = 0; (i < Cba_NtkBoxSeqNum(p)) && (((iObj) = Cba_NtkBoxSeq(p, i)), 1); i++ )

Definition at line 312 of file cba.h.

312#define Cba_NtkForEachBoxSeq( p, iObj, i ) \

313 for ( i = 0; (i < Cba_NtkBoxSeqNum(p)) && (((iObj) = Cba_NtkBoxSeq(p, i)), 1); i++ )

◆ Cba_NtkForEachBoxUser

#define Cba_NtkForEachBoxUser	(		p,
			i )

Value:

for ( i = 1; i < Vec_StrSize(&p->vObjType); i++ ) if ( !Cba_ObjIsBoxUser(p, i) ) {} else

Definition at line 332 of file cba.h.

332#define Cba_NtkForEachBoxUser( p, i ) \

333 for ( i = 1; i < Vec_StrSize(&p->vObjType); i++ ) if ( !Cba_ObjIsBoxUser(p, i) ) {} else

◆ Cba_NtkForEachFinFon

#define Cba_NtkForEachFinFon	(	p,
		iFon,
		iFin )

Value:

for ( iFin = 1; iFin < Vec_IntSize(&p->vFinFon) && (((iFon) = Vec_IntEntry(&p->vFinFon, iFin)), 1); iFin++ ) if ( !iFon ) {} else

Definition at line 339 of file cba.h.

339#define Cba_NtkForEachFinFon( p, iFon, iFin ) \

340 for ( iFin = 1; iFin < Vec_IntSize(&p->vFinFon) && (((iFon) = Vec_IntEntry(&p->vFinFon, iFin)), 1); iFin++ ) if ( !iFon ) {} else

◆ Cba_NtkForEachFon

#define Cba_NtkForEachFon	(		p,
			i )

Value:

for ( i = 1; i < Vec_IntSize(&p->vFonObj); i++ )

Definition at line 337 of file cba.h.

337#define Cba_NtkForEachFon( p, i ) \

338 for ( i = 1; i < Vec_IntSize(&p->vFonObj); i++ )

◆ Cba_NtkForEachFonName

#define Cba_NtkForEachFonName	(	p,
		NameId,
		iFon )

Value:

for ( iFon = 1; iFon < Vec_IntSize(&p->vFonName) && (((NameId) = Vec_IntEntry(&p->vFonName, iFon)), 1); iFon++ ) if ( !NameId ) {} else

Definition at line 341 of file cba.h.

341#define Cba_NtkForEachFonName( p, NameId, iFon ) \

342 for ( iFon = 1; iFon < Vec_IntSize(&p->vFonName) && (((NameId) = Vec_IntEntry(&p->vFonName, iFon)), 1); iFon++ ) if ( !NameId ) {} else

◆ Cba_NtkForEachObj

#define Cba_NtkForEachObj	(		p,
			i )

Value:

for ( i = 1; i < Vec_StrSize(&p->vObjType); i++ ) if ( !Cba_ObjType(p, i) ) {} else

Definition at line 324 of file cba.h.

324#define Cba_NtkForEachObj( p, i ) \

325 for ( i = 1; i < Vec_StrSize(&p->vObjType); i++ ) if ( !Cba_ObjType(p, i) ) {} else

◆ Cba_NtkForEachObjType

#define Cba_NtkForEachObjType	(	p,
		Type,
		i )

Value:

for ( i = 1; i < Vec_StrSize(&p->vObjType) && (((Type) = Cba_ObjType(p, i)), 1); i++ ) if ( !Type ) {} else

Definition at line 326 of file cba.h.

326#define Cba_NtkForEachObjType( p, Type, i ) \

327 for ( i = 1; i < Vec_StrSize(&p->vObjType) && (((Type) = Cba_ObjType(p, i)), 1); i++ ) if ( !Type ) {} else

◆ Cba_NtkForEachPi

#define Cba_NtkForEachPi	(	p,
		iObj,
		i )

Value:

for ( i = 0; (i < Cba_NtkPiNum(p)) && (((iObj) = Cba_NtkPi(p, i)), 1); i++ )

Definition at line 308 of file cba.h.

308#define Cba_NtkForEachPi( p, iObj, i ) \

309 for ( i = 0; (i < Cba_NtkPiNum(p)) && (((iObj) = Cba_NtkPi(p, i)), 1); i++ )

◆ Cba_NtkForEachPiFon

#define Cba_NtkForEachPiFon	(	p,
		iObj,
		iFon,
		i )

Value:

for ( i = 0; (i < Cba_NtkPiNum(p)) && (((iObj) = Cba_NtkPi(p, i)), 1) && (((iFon) = Cba_ObjFon0(p, iObj)), 1); i++ )

Definition at line 317 of file cba.h.

317#define Cba_NtkForEachPiFon( p, iObj, iFon, i ) \

318 for ( i = 0; (i < Cba_NtkPiNum(p)) && (((iObj) = Cba_NtkPi(p, i)), 1) && (((iFon) = Cba_ObjFon0(p, iObj)), 1); i++ )

◆ Cba_NtkForEachPioOrder

#define Cba_NtkForEachPioOrder	(	p,
		iObj,
		i )

Value:

for ( i = 0; (i < Cba_NtkPioOrderNum(p)) && (((iObj) = Cba_NtkPioOrder(p, i)), 1); i++ )

Definition at line 314 of file cba.h.

314#define Cba_NtkForEachPioOrder( p, iObj, i ) \

315 for ( i = 0; (i < Cba_NtkPioOrderNum(p)) && (((iObj) = Cba_NtkPioOrder(p, i)), 1); i++ )

◆ Cba_NtkForEachPo

#define Cba_NtkForEachPo	(	p,
		iObj,
		i )

Value:

for ( i = 0; (i < Cba_NtkPoNum(p)) && (((iObj) = Cba_NtkPo(p, i)), 1); i++ )

Definition at line 310 of file cba.h.

310#define Cba_NtkForEachPo( p, iObj, i ) \

311 for ( i = 0; (i < Cba_NtkPoNum(p)) && (((iObj) = Cba_NtkPo(p, i)), 1); i++ )

◆ Cba_NtkForEachPoDriver

#define Cba_NtkForEachPoDriver	(	p,
		iObj,
		i )

Value:

for ( i = 0; (i < Cba_NtkPoNum(p)) && (((iObj) = Cba_ObjFanin(p, Cba_NtkPo(p, i), 0)), 1); i++ )

Definition at line 321 of file cba.h.

321#define Cba_NtkForEachPoDriver( p, iObj, i ) \

322 for ( i = 0; (i < Cba_NtkPoNum(p)) && (((iObj) = Cba_ObjFanin(p, Cba_NtkPo(p, i), 0)), 1); i++ )

◆ Cba_NtkForEachPoDriverFon

#define Cba_NtkForEachPoDriverFon	(	p,
		iObj,
		iFon,
		i )

Value:

for ( i = 0; (i < Cba_NtkPoNum(p)) && (((iObj) = Cba_NtkPo(p, i)), 1) && (((iFon) = Cba_ObjFinFon(p, iObj, 0)), 1); i++ )

Definition at line 319 of file cba.h.

319#define Cba_NtkForEachPoDriverFon( p, iObj, iFon, i ) \

320 for ( i = 0; (i < Cba_NtkPoNum(p)) && (((iObj) = Cba_NtkPo(p, i)), 1) && (((iFon) = Cba_ObjFinFon(p, iObj, 0)), 1); i++ )

◆ Cba_ObjForEachFin

#define Cba_ObjForEachFin	(	p,
		iObj,
		iFin,
		k )

Value:

for ( k = 0, iFin = Cba_ObjFin0(p, iObj); iFin < Cba_ObjFin0(p, iObj+1); iFin++, k++ )

Definition at line 344 of file cba.h.

344#define Cba_ObjForEachFin( p, iObj, iFin, k ) \

345 for ( k = 0, iFin = Cba_ObjFin0(p, iObj); iFin < Cba_ObjFin0(p, iObj+1); iFin++, k++ )

◆ Cba_ObjForEachFinFanin

#define Cba_ObjForEachFinFanin	(	p,
		iObj,
		iFin,
		iFanin,
		k )

Value:

for ( k = 0, iFin = Cba_ObjFin0(p, iObj); iFin < Cba_ObjFin0(p, iObj+1) && ((iFanin = Cba_FonObj(p, Cba_FinFon(p, iFin))), 1); iFin++, k++ )

Definition at line 350 of file cba.h.

350#define Cba_ObjForEachFinFanin( p, iObj, iFin, iFanin, k ) \

351 for ( k = 0, iFin = Cba_ObjFin0(p, iObj); iFin < Cba_ObjFin0(p, iObj+1) && ((iFanin = Cba_FonObj(p, Cba_FinFon(p, iFin))), 1); iFin++, k++ )

◆ Cba_ObjForEachFinFaninReal

#define Cba_ObjForEachFinFaninReal	(	p,
		iObj,
		iFin,
		iFanin,
		k )

Value:

for ( k = 0, iFin = Cba_ObjFin0(p, iObj); iFin < Cba_ObjFin0(p, iObj+1) && ((iFanin = Cba_FonObj(p, Cba_FinFon(p, iFin))), 1); iFin++, k++ ) if ( !iFanin ) {} else

Definition at line 352 of file cba.h.

352#define Cba_ObjForEachFinFaninReal( p, iObj, iFin, iFanin, k ) \

353 for ( k = 0, iFin = Cba_ObjFin0(p, iObj); iFin < Cba_ObjFin0(p, iObj+1) && ((iFanin = Cba_FonObj(p, Cba_FinFon(p, iFin))), 1); iFin++, k++ ) if ( !iFanin ) {} else

◆ Cba_ObjForEachFinFon

#define Cba_ObjForEachFinFon	(	p,
		iObj,
		iFin,
		iFon,
		k )

Value:

for ( k = 0, iFin = Cba_ObjFin0(p, iObj); iFin < Cba_ObjFin0(p, iObj+1) && ((iFon = Cba_FinFon(p, iFin)), 1); iFin++, k++ )

Definition at line 348 of file cba.h.

348#define Cba_ObjForEachFinFon( p, iObj, iFin, iFon, k ) \

349 for ( k = 0, iFin = Cba_ObjFin0(p, iObj); iFin < Cba_ObjFin0(p, iObj+1) && ((iFon = Cba_FinFon(p, iFin)), 1); iFin++, k++ )

◆ Cba_ObjForEachFon

#define Cba_ObjForEachFon	(	p,
		iObj,
		iFon,
		k )

Value:

for ( k = 0, iFon = Cba_ObjFon0(p, iObj); iFon < Cba_ObjFon0(p, iObj+1); iFon++, k++ )

Definition at line 346 of file cba.h.

346#define Cba_ObjForEachFon( p, iObj, iFon, k ) \

347 for ( k = 0, iFon = Cba_ObjFon0(p, iObj); iFon < Cba_ObjFon0(p, iObj+1); iFon++, k++ )

Typedef Documentation

◆ Cba_Man_t

typedef struct Cba_Man_t_ Cba_Man_t

Definition at line 46 of file cba.h.

◆ Cba_Ntk_t

typedef typedefABC_NAMESPACE_HEADER_START struct Cba_Ntk_t_ Cba_Ntk_t

INCLUDES ///.

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

FileName [cba.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 - July 21, 2015.]

Revision [

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

] PARAMETERS /// BASIC TYPES ///

Definition at line 45 of file cba.h.

Function Documentation

◆ Cba_ManBlast()

Gia_Man_t * Cba_ManBlast	(	Cba_Man_t *	p,
		int	fBarBufs,
		int	fSeq,
		int	fVerbose )

extern

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

Synopsis []

Description []

SideEffects []

SeeAlso []

Definition at line 1037 of file cbaBlast.c.

{
    return Cba_NtkBlast( Cba_ManRoot(p), fSeq );
}

Here is the call graph for this function:

◆ Cba_ManCollapse()

Cba_Man_t * Cba_ManCollapse ( Cba_Man_t * p )

extern

Definition at line 788 of file cbaNtk.c.

{
    Cba_Man_t * pNew  = Cba_ManAlloc( p->pSpec, 1, Abc_NamRef(p->pStrs), Abc_NamRef(p->pFuns), Abc_NamStart(100, 24), Hash_IntManRef(p->vHash) );
    Cba_Ntk_t * pRoot = Cba_ManRoot( p ), * pRootNew;
    Vec_Int_t * vSigs = Vec_IntAlloc( 1000 );
    int i, iObj, iObjNew, iFon, nObjs = 0, nFins = 0, nFons = 0;
    Cba_ManDupTypeNames( pNew, p );
    Cba_ManGetClpStats( p, &nObjs, &nFins, &nFons    );
    pRootNew = Cba_NtkAlloc( pNew, Cba_NtkNameId(pRoot), Cba_NtkPiNum(pRoot), Cba_NtkPoNum(pRoot), nObjs, nFins, nFons );
    Cba_NtkAdd( pNew, pRootNew );
    if ( Cba_NtkHasObjNames(pRoot) )
        Cba_NtkCleanObjNames( pRootNew );
    if ( Cba_NtkHasFonNames(pRoot) )
        Cba_NtkCleanFonNames( pRootNew );
    if ( Cba_NtkHasObjAttrs(pRoot) )
        Cba_NtkCleanObjAttrs( pRootNew );
    if ( Cba_ObjAttr(pRoot, 0) )
        Cba_ObjSetAttrs( pRootNew, 0, Cba_ObjAttrArray(pRoot, 0), Cba_ObjAttrSize(pRoot, 0) );
    Cba_NtkCleanObjCopies( pRoot );
    Cba_NtkForEachPiFon( pRoot, iObj, iFon, i )
    {
        iObjNew = Cba_ObjDup( pRootNew, pRoot, iObj );
        Vec_IntPush( vSigs, Cba_ObjFon0(pRootNew, iObjNew) );
        if ( Cba_NtkHasObjNames(pRoot) )
            Cba_ObjSetName( pRootNew, iObjNew, Cba_ObjName(pRoot, iObj) );
        if ( Cba_NtkHasFonNames(pRoot) )
            Cba_FonSetName( pRootNew, Cba_ObjFon0(pRootNew, iObjNew), Cba_FonName(pRoot, iFon) );
        if ( Cba_ObjAttr(pRoot, iObj) )
            Cba_ObjSetAttrs( pRootNew, iObjNew, Cba_ObjAttrArray(pRoot, iObj), Cba_ObjAttrSize(pRoot, iObj) );
    }
    assert( Vec_IntSize(vSigs) == Cba_NtkPiNum(pRoot) );
    Cba_NtkCollapse_rec( pRootNew, pRoot, vSigs );
    assert( Vec_IntSize(vSigs) == Cba_NtkPoNum(pRoot) );
    Cba_NtkForEachPoDriverFon( pRoot, iObj, iFon, i )
    {
        iObjNew = Cba_ObjDup( pRootNew, pRoot, iObj );
        Cba_ObjSetFinFon( pRootNew, iObjNew, 0, Vec_IntEntry(vSigs, i) );
        if ( Cba_NtkHasObjNames(pRoot) )
            Cba_ObjSetName( pRootNew, iObjNew, Cba_ObjName(pRoot, iObj) );
        if ( Cba_NtkHasFonNames(pRoot) )
            Cba_FonSetName( pRootNew, Vec_IntEntry(vSigs, i), Cba_FonName(pRoot, iFon) );
        if ( Cba_ObjAttr(pRoot, iObj) )
            Cba_ObjSetAttrs( pRootNew, iObjNew, Cba_ObjAttrArray(pRoot, iObj), Cba_ObjAttrSize(pRoot, iObj) );
    }
    Vec_IntFree( vSigs );
    assert( Cba_NtkObjNum(pRootNew) == Cba_NtkObjNumAlloc(pRootNew) );
    assert( Cba_NtkFinNum(pRootNew) == Cba_NtkFinNumAlloc(pRootNew) );
    assert( Cba_NtkFonNum(pRootNew) == Cba_NtkFonNumAlloc(pRootNew) );
    // create internal node names
    Cba_NtkMissingFonNames( pRootNew, "m" );
    //Cba_NtkPrepareSeq( pRootNew );
    return pNew;
}

Here is the call graph for this function:

◆ Cba_ManCreatePrimMap()

void Cba_ManCreatePrimMap ( char ** pMap )

extern

DECLARATIONS ///.

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

FileName [cbaWriteVer.c]

SystemName [ABC: Logic synthesis and verification system.]

PackageName [Hierarchical word-level netlist.]

Synopsis [Verilog writer.]

Author [Alan Mishchenko]

Affiliation [UC Berkeley]

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

Revision [

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

] FUNCTION DEFINITIONS /// Function*************************************************************

Synopsis []

Description []

SideEffects []

SeeAlso []

Definition at line 47 of file cbaWriteVer.c.

{
    memset( pMap, 0, sizeof(char *) * CBA_BOX_LAST );
 
    pMap[ CBA_BOX_SLICE  ] = "sli";
    pMap[ CBA_BOX_CONCAT ] = "icc";
 
    pMap[ CBA_BOX_BUF    ] = "";
    pMap[ CBA_BOX_INV    ] = "~";
    pMap[ CBA_BOX_AND    ] = "&"; 
    pMap[ CBA_BOX_NAND   ] = "&"; 
    pMap[ CBA_BOX_OR     ] = "|"; 
    pMap[ CBA_BOX_NOR    ] = "|"; 
    pMap[ CBA_BOX_XOR    ] = "^"; 
    pMap[ CBA_BOX_XNOR   ] = "^"; 
    pMap[ CBA_BOX_SHARP  ] = "&"; 
    pMap[ CBA_BOX_SHARPL ] = "&"; 
    pMap[ CBA_BOX_MUX    ] = "?"; 
    pMap[ CBA_BOX_MAJ    ] = "maj"; 
    pMap[ CBA_BOX_RAND   ] = "&"; 
    pMap[ CBA_BOX_RNAND  ] = "~&"; 
    pMap[ CBA_BOX_ROR    ] = "|"; 
    pMap[ CBA_BOX_RNOR   ] = "~|"; 
    pMap[ CBA_BOX_RXOR   ] = "^"; 
    pMap[ CBA_BOX_RXNOR  ] = "~^"; 
    pMap[ CBA_BOX_LNOT   ] = "!"; 
    pMap[ CBA_BOX_LAND   ] = "&&"; 
    pMap[ CBA_BOX_LNAND  ] = "logic nand"; 
    pMap[ CBA_BOX_LOR    ] = "||"; 
    pMap[ CBA_BOX_LNOR   ] = "logic nor"; 
    pMap[ CBA_BOX_LXOR   ] = "^^"; 
    pMap[ CBA_BOX_LXNOR  ] = "logic xnor"; 
    pMap[ CBA_BOX_NMUX   ] = "nmux"; 
    pMap[ CBA_BOX_SEL    ] = "sel"; 
    pMap[ CBA_BOX_PSEL   ] = "prio-select"; 
    pMap[ CBA_BOX_ENC    ] = "enc"; 
    pMap[ CBA_BOX_PENC   ] = "prio-enc"; 
    pMap[ CBA_BOX_DEC    ] = "dec"; 
    pMap[ CBA_BOX_EDEC   ] = "enable-dec"; 
    pMap[ CBA_BOX_ADD    ] = "+"; 
    pMap[ CBA_BOX_SUB    ] = "-"; 
    pMap[ CBA_BOX_MUL    ] = "*"; 
    pMap[ CBA_BOX_DIV    ] = "/"; 
    pMap[ CBA_BOX_MOD    ] = "%"; 
    pMap[ CBA_BOX_REM    ] = "%"; 
    pMap[ CBA_BOX_POW    ] = "**"; 
    pMap[ CBA_BOX_MIN    ] = "-"; 
    pMap[ CBA_BOX_SQRT   ] = "@"; 
    pMap[ CBA_BOX_ABS    ] = "abs"; 
    pMap[ CBA_BOX_LTHAN  ] = "<"; 
    pMap[ CBA_BOX_LETHAN ] = "<="; 
    pMap[ CBA_BOX_METHAN ] = ">="; 
    pMap[ CBA_BOX_MTHAN  ] = ">"; 
    pMap[ CBA_BOX_EQU    ] = "=="; 
    pMap[ CBA_BOX_NEQU   ] = "!="; 
    pMap[ CBA_BOX_SHIL   ] = "<<"; 
    pMap[ CBA_BOX_SHIR   ] = ">>"; 
    pMap[ CBA_BOX_SHILA  ] = "<<<"; 
    pMap[ CBA_BOX_SHIRA  ] = ">>>"; 
    pMap[ CBA_BOX_ROTL   ] = "rotL"; 
    pMap[ CBA_BOX_ROTR   ] = "rotR"; 
 
    pMap[ CBA_BOX_TRI    ] = "tri";
    pMap[ CBA_BOX_RAM    ] = "ram";
    pMap[ CBA_BOX_RAMR   ] = "ramR";
    pMap[ CBA_BOX_RAMW   ] = "ramW";
    pMap[ CBA_BOX_RAMWC  ] = "ramWC";
    pMap[ CBA_BOX_RAMBOX ] = "ramBox";
 
    pMap[ CBA_BOX_LATCH  ] = "lat";
    pMap[ CBA_BOX_LATCHRS] = "latrs";
    pMap[ CBA_BOX_DFF    ] = "dff";
    pMap[ CBA_BOX_DFFRS  ] = "dffrs";
}

Here is the call graph for this function:

Here is the caller graph for this function:

◆ Cba_ManDeriveFromGia()

Cba_Man_t * Cba_ManDeriveFromGia	(	Cba_Man_t *	p,
		Gia_Man_t *	pGia,
		int	fUseXor )

extern

Definition at line 1053 of file cbaNtk.c.

{
    Cba_Man_t * p = Cba_ManAlloc( pGia->pSpec, 1, pOld ? Abc_NamRef(pOld->pStrs) : NULL, pOld ? Abc_NamRef(pOld->pFuns) : NULL, NULL, NULL );
    Cba_Ntk_t * pNtk = Cba_NtkAlloc( p, Abc_NamStrFindOrAdd(p->pStrs, pGia->pName, NULL), Gia_ManCiNum(pGia), Gia_ManCoNum(pGia), 1000, 2000, 2000 );
    Vec_Int_t * vLit2Fon = Vec_IntStartFull( 2*Gia_ManObjNum(pGia) );
    int i, iObj, iObjNew, NameId, iLit0, iFon0;
    Gia_Obj_t * pObj;
    //Cba_ManPrepareTypeNames( p );
    Cba_NtkAdd( p, pNtk );
    Cba_NtkCleanObjNames( pNtk );
    Gia_ManForEachCiId( pGia, iObj, i )
    {
        NameId = pGia->vNamesIn? Abc_NamStrFindOrAdd(p->pStrs, (char*)Vec_PtrEntry(pGia->vNamesIn, i), NULL) : Cba_NtkNewStrId(pNtk, "i%d", i);
        iObjNew = Cba_ObjAlloc( pNtk, CBA_OBJ_PI, 0, 1 );
        Cba_ObjSetName( pNtk, iObjNew, NameId );
        Vec_IntWriteEntry( vLit2Fon, Abc_Var2Lit(iObj, 0), Cba_ObjFon0(pNtk, iObjNew) );
    }
    Gia_ManForEachAndId( pGia, iObj )
        Cba_NtkInsertGiaObj( pNtk, pGia, iObj, vLit2Fon, fUseXor );
    // create inverters if needed
    Gia_ManForEachCoId( pGia, iObj, i )
    {
        pObj = Gia_ManObj( pGia, iObj );
        iLit0 = Gia_ObjFaninLit0( pObj, iObj );
        iFon0 = Cba_NtkInsertGiaLit( pNtk, iLit0, vLit2Fon, fUseXor ); // can be const!
    }
    Gia_ManForEachCoId( pGia, iObj, i )
    {
        pObj = Gia_ManObj( pGia, iObj );
        iLit0 = Gia_ObjFaninLit0( pObj, iObj );
        iFon0 = Cba_NtkInsertGiaLit( pNtk, iLit0, vLit2Fon, fUseXor ); // can be const!
        iObjNew = Cba_ObjAlloc( pNtk, CBA_BOX_BUF, 1, 1 );
        Cba_ObjSetFinFon( pNtk, iObjNew, 0, iFon0 );
        iFon0 = Cba_ObjFon0(pNtk, iObjNew); // non-const fon unique for this output
        NameId = pGia->vNamesOut? Abc_NamStrFindOrAdd(p->pStrs, (char*)Vec_PtrEntry(pGia->vNamesOut, i), NULL) : Cba_NtkNewStrId(pNtk, "o%d", i);
        iObjNew = Cba_ObjAlloc( pNtk, CBA_OBJ_PO, 1, 0 );
        Cba_ObjSetName( pNtk, iObjNew, NameId );
        Cba_ObjSetFinFon( pNtk, iObjNew, 0, iFon0 );
    }
    Cba_NtkCleanFonNames( pNtk );
    Cba_NtkCreateFonNames( pNtk, "a" );
    Vec_IntFree( vLit2Fon );
    return p;
}

Here is the call graph for this function:

◆ Cba_ManExtractGroup()

Cba_Man_t * Cba_ManExtractGroup	(	Cba_Man_t *	p,
		Vec_Int_t *	vObjs )

extern

Definition at line 959 of file cbaNtk.c.

{
    Cba_Man_t * pNew  = Cba_ManAlloc( p->pSpec, 1, Abc_NamRef(p->pStrs), Abc_NamRef(p->pFuns), Abc_NamStart(100, 24), Hash_IntManRef(p->vHash) );
    Cba_Ntk_t * pRoot = Cba_ManRoot( p ), * pRootNew;
    Vec_Int_t * vFonIns = Cba_NtkCollectInFons( pRoot, vObjs );
    Vec_Int_t * vFonOuts = Cba_NtkCollectOutFons( pRoot, vObjs );
    int nObjs, nFins, nFons;
    Cba_ManDupTypeNames( pNew, p );
    // collect stats
    Cba_NtkCollectGroupStats( pRoot, vObjs, &nFins, &nFons );
    nObjs  = Vec_IntSize(vObjs) + Vec_IntSize(vFonIns) + Vec_IntSize(vFonOuts);
    nFins += Vec_IntSize(vFonOuts);
    nFons += Vec_IntSize(vFonIns);
    // create network
    pRootNew = Cba_NtkAlloc( pNew, Cba_NtkNameId(pRoot), Vec_IntSize(vFonIns), Vec_IntSize(vFonOuts), nObjs, nFins, nFons );
    Cba_NtkAdd( pNew, pRootNew );
    if ( Cba_NtkHasObjNames(pRoot) )
        Cba_NtkCleanObjNames( pRootNew );
    if ( Cba_NtkHasFonNames(pRoot) )
        Cba_NtkCleanFonNames( pRootNew );
    // add group nodes
    Cba_ManExtractGroupInt( pRootNew, pRoot, vObjs, vFonIns, vFonOuts );
    Cba_NtkMissingFonNames( pRootNew, "b" );
    //Cba_NtkPrepareSeq( pRootNew );
    // cleanup
    Vec_IntFree( vFonIns );
    Vec_IntFree( vFonOuts );
    return pNew;
}

Here is the call graph for this function:

◆ Cba_ManGetSliceName()

char * Cba_ManGetSliceName	(	Cba_Ntk_t *	p,
		int	iFon,
		int	RangeId )

extern

Definition at line 381 of file cbaWriteVer.c.

{
    int Left  = Cba_NtkRangeLeft(p, RangeId);
    int Right = Cba_NtkRangeRight(p, RangeId);
    char * pName = Cba_FonNameStr(p, iFon);
    if ( Cba_NameIsLegalInVerilog(pName, Cba_FonName(p, iFon)) )
        if ( Left == Right )
            return Vec_StrPrintF( Abc_NamBuffer(Cba_NtkNam(p)), "%s[%d]", pName, Right );
        else
            return Vec_StrPrintF( Abc_NamBuffer(Cba_NtkNam(p)), "%s[%d:%d]", pName, Left, Right );
    else
        if ( Left == Right )
            return Vec_StrPrintF( Abc_NamBuffer(Cba_NtkNam(p)), "\\%s [%d]", pName, Right );
        else
            return Vec_StrPrintF( Abc_NamBuffer(Cba_NtkNam(p)), "\\%s [%d:%d]", pName, Left, Right );
}

Here is the call graph for this function:

Here is the caller graph for this function:

◆ Cba_ManInsertAbc()

Cba_Man_t * Cba_ManInsertAbc	(	Cba_Man_t *	p,
		void *	pAbc )

extern

Definition at line 1057 of file cbaBlast.c.

{
    Abc_Ntk_t * pNtk = (Abc_Ntk_t *)pAbc;
    return (Cba_Man_t *)pNtk;
}

◆ Cba_ManInsertGia()

Cba_Man_t * Cba_ManInsertGia	(	Cba_Man_t *	p,
		Gia_Man_t *	pGia )

extern

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

Synopsis []

Description []

SideEffects []

SeeAlso []

Definition at line 1053 of file cbaBlast.c.

{
    return NULL;
}

◆ Cba_ManInsertGroup()

Cba_Man_t * Cba_ManInsertGroup	(	Cba_Man_t *	p,
		Vec_Int_t *	vObjs,
		Cba_Ntk_t *	pSyn )

extern

Definition at line 1170 of file cbaNtk.c.

{
    Cba_NtkInsertGroup( Cba_ManRoot(p), vObjs, pSyn );
    Cba_NtkCheckComboLoop( Cba_ManRoot(p) );
    return Cba_ManDup( p, Cba_NtkCollectDfs );
}

Here is the call graph for this function:

◆ Cba_ManIsTopoOrder()

int Cba_ManIsTopoOrder ( Cba_Man_t * p )

extern

Definition at line 540 of file cbaNtk.c.

{
    Cba_Ntk_t * pNtk; int i;
    Cba_ManForEachNtk( p, pNtk, i )
        if ( !Cba_NtkIsTopoOrder(pNtk) )
            return 0;
    return 1;
}

Here is the call graph for this function:

◆ Cba_ManPrintDistrib()

void Cba_ManPrintDistrib ( Cba_Man_t * p )

extern

Definition at line 354 of file cbaNtk.c.

{
    Cba_Ntk_t * pNtk; int i;
    int pCounts[CBA_BOX_LAST] = {0};
    int * pUserCounts = ABC_CALLOC( int, Cba_ManNtkNum(p) + 1 );
    Cba_ManCreatePrimMap( p->pTypeNames );
    Cba_ManForEachNtk( p, pNtk, i )
        Cba_NtkCollectDistrib( pNtk, pCounts, pUserCounts );
    Cba_ManPrintDistribStat( p, pCounts, pUserCounts );
    ABC_FREE( pUserCounts );
}

Here is the call graph for this function:

◆ Cba_ManReadBlif()

Cba_Man_t * Cba_ManReadBlif ( char * pFileName )

extern

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

Synopsis []

Description []

SideEffects []

SeeAlso []

Definition at line 629 of file cbaReadBlif.c.

{
    Cba_Man_t * p = NULL;
    Vec_Ptr_t * vDes = Prs_ManReadBlif( pFileName );
    if ( vDes && Vec_PtrSize(vDes) )
        p = Prs_ManBuildCbaBlif( pFileName, vDes );
    if ( vDes )
        Prs_ManVecFree( vDes );
    return p;
}

Here is the call graph for this function:

◆ Cba_ManReadCba()

Cba_Man_t * Cba_ManReadCba ( char * pFileName )

extern

DECLARATIONS ///.

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

FileName [cbaCba.c]

SystemName [ABC: Logic synthesis and verification system.]

PackageName [Hierarchical word-level netlist.]

Synopsis [Reading binary representation.]

Author [Alan Mishchenko]

Affiliation [UC Berkeley]

Date [Ver. 1.0. Started - July 21, 2015.]

Revision [

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

] FUNCTION DEFINITIONS /// Function*************************************************************

Synopsis []

Description []

SideEffects []

SeeAlso []

Definition at line 44 of file cbaCba.c.

{
    return NULL;
}

◆ Cba_ManReadVerilog()

Cba_Man_t * Cba_ManReadVerilog ( char * pFileName )

extern

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

Synopsis []

Description []

SideEffects []

SeeAlso []

Definition at line 2165 of file cbaReadVer.c.

{
    Cba_Man_t * p = NULL;
    Vec_Ptr_t * vDes = Prs_ManReadVerilog( pFileName );
    if ( vDes && Vec_PtrSize(vDes) )
        p = Prs_ManBuildCbaVerilog( pFileName, vDes );
    if ( vDes )
        Prs_ManVecFree( vDes );
    return p;
}

Here is the call graph for this function:

◆ Cba_ManWriteBlif()

void Cba_ManWriteBlif	(	char *	pFileName,
		Cba_Man_t *	p )

extern

Definition at line 187 of file cbaWriteBlif.c.

{
    FILE * pFile;
    Cba_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", Cba_ManName(p), Extra_TimeStamp() );
//    Cba_ManAssignInternWordNames( p );
    Cba_ManForEachNtk( p, pNtk, i )
        Cba_ManWriteBlifNtk( pFile, pNtk );
    fclose( pFile );
}

Here is the call graph for this function:

◆ Cba_ManWriteCba()

void Cba_ManWriteCba	(	char *	pFileName,
		Cba_Man_t *	p )

extern

Definition at line 48 of file cbaCba.c.

49{

50}

◆ Cba_ManWriteVerilog()

void Cba_ManWriteVerilog	(	char *	pFileName,
		Cba_Man_t *	p,
		int	fInlineConcat )

extern

Definition at line 975 of file cbaWriteVer.c.

{
    Cba_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;
    }
    Cba_ManCreatePrimMap( p->pTypeNames );
    // derive the stream
    p->nOpens = 1;
    Vec_StrClear( &p->vOut );
    Vec_StrClear( &p->vOut2 );
    Vec_StrPrintStr( &p->vOut, "// Design \"" );
    Vec_StrPrintStr( &p->vOut, Cba_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" );
    Cba_ManForEachNtk( p, pNtk, i )
        Cba_ManWriteVerilogNtk( pNtk, fInlineConcat );
    // dump into file
    if ( 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 );
        }
    }
}

Here is the call graph for this function:

◆ Cba_NtkCheckComboLoop()

int Cba_NtkCheckComboLoop ( Cba_Ntk_t * p )

extern

Definition at line 578 of file cbaNtk.c.

{
    int iObj;
    Cba_NtkCleanObjCopies( p ); // -1 = not visited; 0 = on the path; 1 = finished
    Cba_NtkForEachBox( p, iObj )
        if ( !Cba_ObjIsSeq(p, iObj) )
            if ( !Cba_NtkCheckComboLoop_rec( p, iObj ) )
            {
                printf( "Cyclic dependency of user boxes is detected.\n" );
                return 0;
            }
    return 1;
}

Here is the call graph for this function:

Here is the caller graph for this function:

◆ Cba_NtkCiFonNum()

int Cba_NtkCiFonNum ( Cba_Ntk_t * p )

extern

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

Synopsis [Returns the number of CI fons.]

Description []

SideEffects []

SeeAlso []

Definition at line 472 of file cbaNtk.c.

{
    int i, iObj, Count = Cba_NtkPiNum(p);
    Cba_NtkForEachBoxSeq( p, iObj, i )
        Count += Cba_ObjFonNum(p, iObj);
    return Count;  
}

◆ Cba_NtkCoFinNum()

int Cba_NtkCoFinNum ( Cba_Ntk_t * p )

extern

Definition at line 479 of file cbaNtk.c.

{
    int i, iObj, Count = Cba_NtkPoNum(p);
    Cba_NtkForEachBoxSeq( p, iObj, i )
        Count += Cba_ObjFinNum(p, iObj);
    return Count;  
}

◆ Cba_NtkCollectDfs()

Vec_Int_t * Cba_NtkCollectDfs ( Cba_Ntk_t * p )

extern

Definition at line 640 of file cbaNtk.c.

{
    int i, k, iObj, iFin, iFanin;
    Vec_Int_t * vObjs = Vec_IntAlloc( Cba_NtkObjNum(p) );
    // collect PIs and seq boxes
    Cba_NtkForEachPi( p, iObj, i )
        Vec_IntPush( vObjs, iObj );
    Cba_NtkForEachBoxSeq( p, iObj, i )
        Vec_IntPush( vObjs, iObj );
    // prepare leaves
    Cba_NtkCleanObjCopies( p );
    Vec_IntForEachEntry( vObjs, iObj, i )
        Cba_ObjSetCopy( p, iObj, 0 );
    // collect internal
    Cba_NtkForEachPo( p, iObj, i )
        Cba_ObjForEachFinFaninReal( p, iObj, iFin, iFanin, k )
            Cba_NtkCollectDfs_rec( p, iFanin, vObjs );
    Cba_NtkForEachBoxSeq( p, iObj, i )
        Cba_ObjForEachFinFaninReal( p, iObj, iFin, iFanin, k )
            Cba_NtkCollectDfs_rec( p, iFanin, vObjs );
    // collect POs
    Cba_NtkForEachPo( p, iObj, i )
        Vec_IntPush( vObjs, iObj );
    assert( Vec_IntSize(vObjs) <= Cba_NtkObjNum(p) );
    if ( Vec_IntSize(vObjs) != Cba_NtkObjNum(p) && !Abc_FrameReadFlag("silentmode") )
    {
        int iObj = Cba_NtkFindMissing( vObjs, Cba_NtkObjNum(p) );
        printf( "Warning: DSF ordering for module \"%s\" collected %d out of %d objects.\n", Cba_NtkName(p), Vec_IntSize(vObjs), Cba_NtkObjNum(p) );
        printf( "         For example, object %d with name \"%s\" is not reachable from outputs.\n", 
            iObj, iObj > 0 ? Cba_FonNameStr( p, Cba_ObjFon0(p, iObj) ) : "<unknown>" );
    }
    return vObjs;
}

Here is the call graph for this function:

Here is the caller graph for this function:

◆ Cba_NtkObjOrder()

void Cba_NtkObjOrder	(	Cba_Ntk_t *	p,
		Vec_Int_t *	vObjs,
		Vec_Int_t *	vNameIds )

extern

Definition at line 428 of file cbaNtk.c.

{
    char Buffer[1000], * pName;
    Vec_Ptr_t * vNames;
    int i, iObj;
    if ( Vec_IntSize(vObjs) < 2 )
        return;
    vNames = Vec_PtrAlloc( Vec_IntSize(vObjs) );
    Vec_IntForEachEntry( vObjs, iObj, i )
    {
        char * pTypeName = Cba_NtkTypeName( p, Cba_ObjType(p, iObj) );
        char * pInstName = vNameIds ? Cba_NtkStr(p, Vec_IntEntry(vNameIds, i)) : Cba_ObjNameStr(p, iObj);
        sprintf( Buffer, "%s_%s_%d", pTypeName, pInstName, iObj );
        Vec_PtrPush( vNames, Abc_UtilStrsav(Buffer) );
    }
    // print before
//    Vec_PtrForEachEntry( char *, vNames, pName, i )
//        printf( "%s \n", pName );
//    printf( "\n" );
    // do the sorting
    Vec_PtrSort( vNames, (int (*)(const void *, const void *))Cba_StrCmp );
    // print after
//    Vec_PtrForEachEntry( char *, vNames, pName, i )
//        printf( "%s \n", pName );
//    printf( "\n" );
    // reload in a new order
    Vec_IntClear( vObjs );
    Vec_PtrForEachEntry( char *, vNames, pName, i )
        Vec_IntPush( vObjs, atoi(strrchr(pName, '_')+1) );
    Vec_PtrFreeFree( vNames );
}

Here is the call graph for this function:

◆ Cba_NtkPrintDistribOld()

void Cba_NtkPrintDistribOld ( Cba_Ntk_t * p )

extern

Definition at line 332 of file cbaNtk.c.

{
    int pCounts[CBA_BOX_LAST] = {0};
    int * pUserCounts = ABC_CALLOC( int, Cba_ManNtkNum(p->pDesign) + 1 );
    Cba_ManCreatePrimMap( p->pDesign->pTypeNames );
    Cba_NtkCollectDistrib( p, pCounts, pUserCounts );
    Cba_NtkPrintDistribStat( p, pCounts, pUserCounts );
    ABC_FREE( pUserCounts );
}

Here is the call graph for this function:

◆ Cba_NtkPrintNodes()

void Cba_NtkPrintNodes	(	Cba_Ntk_t *	p,
		int	Type )

extern

Definition at line 242 of file cbaNtk.c.

{
    int i, iFon0, iFon1, Counter = 0;
    char * pTypeNames[CBA_BOX_LAST];
    Cba_ManCreatePrimMap( pTypeNames );
    printf( "Operation %s\n", pTypeNames[Type] );
    Cba_NtkForEachObj( p, i )
    {
        if ( (int)Type != Type )
            continue;
        iFon0 = Cba_ObjFinFon(p, i, 0);
        iFon1 = Cba_ObjFinFon(p, i, 1);
 
        printf( "%8d  :",      Counter++ );
        printf( "%8d  :  ",    i );
        printf( "%3d%s = ",    Cba_ObjRangeSize(p, i),                      Cba_ObjSigned(p, i) ? "s" : " " );
        printf( "%3d%s  %s ",  Cba_ObjRangeSize(p, Cba_ObjFinFon(p, i, 0)), Cba_ObjSigned(p, iFon0) ? "s" : " ", pTypeNames[Type] );
        printf( "%3d%s ",      Cba_ObjRangeSize(p, Cba_ObjFinFon(p, i, 1)), Cba_ObjSigned(p, iFon1) ? "s" : " " );
        printf( " :    " );
        printf( "%-12s =  ",   Cba_ObjNameStr(p, i) );
        printf( "%-12s  %s  ", Cba_FonIsConst(iFon0) ? Cba_NtkConst(p, Cba_FonConst(iFon0)) : Cba_FonNameStr(p, iFon0), pTypeNames[Type] );
        printf( "%-12s ",      Cba_FonIsConst(iFon1) ? Cba_NtkConst(p, Cba_FonConst(iFon1)) : Cba_FonNameStr(p, iFon1) );
        printf( "\n" );
    }
}

Here is the call graph for this function:

◆ Cba_NtkPrintStatsFull()

void Cba_NtkPrintStatsFull	(	Cba_Ntk_t *	p,
		int	fDistrib,
		int	fVerbose )

extern

Definition at line 267 of file cbaNtk.c.

{
    int i;
    char * pTypeNames[CBA_BOX_LAST];
    Cba_ManCreatePrimMap( pTypeNames );
    printf( "%-20s : ",        Cba_NtkName(p) );
    printf( "PI = %4d  ",      Cba_NtkPiNum(p) );
    printf( "PO = %4d  ",      Cba_NtkPoNum(p) );
    printf( "FF = %4d  ",      Cba_NtkBoxSeqNum(p) );
    printf( "Obj = %6d  ",     Cba_NtkObjNum(p) );
    printf( "Mem = %.3f MB",   1.0*Cba_NtkMemory(p)/(1<<20) );
    printf( "\n" );
    if ( fDistrib )
    {
        Cba_NtkPrintDistrib( p, fVerbose );
        return;
    }
    if ( !fVerbose )
        return;
    printf( "Node type statistics:\n" );
    for ( i = 1; i < CBA_BOX_LAST; i++ )
    {
        if ( !p->pDesign->nObjs[i] )
            continue;
        if ( p->pDesign->nAnds[0] && p->pDesign->nAnds[i] )
            printf( "%2d  :  %-8s  %6d  %7.2f %%\n", i, pTypeNames[i], p->pDesign->nObjs[i], 100.0*p->pDesign->nAnds[i]/p->pDesign->nAnds[0] );
        else
            printf( "%2d  :  %-8s  %6d\n", i, pTypeNames[i], p->pDesign->nObjs[i] );
    }
}

Here is the call graph for this function:

◆ Prs_ManBuildCbaBlif()

Cba_Man_t * Prs_ManBuildCbaBlif	(	char *	pFileName,
		Vec_Ptr_t *	vDes )

extern

Definition at line 587 of file cbaReadBlif.c.

{
    Prs_Ntk_t * pPrsNtk; int i, fError = 0;
    Prs_Ntk_t * pPrsRoot = Prs_ManRoot(vDes);
    // start the manager
    Abc_Nam_t * pStrs = Abc_NamRef(pPrsRoot->pStrs);
    Abc_Nam_t * pFuns = Abc_NamRef(pPrsRoot->pFuns);
    Abc_Nam_t * pMods = Abc_NamStart( 100, 24 );
    Cba_Man_t * p = Cba_ManAlloc( pFileName, Vec_PtrSize(vDes), pStrs, pFuns, pMods, NULL );
    // initialize networks
    Vec_PtrForEachEntry( Prs_Ntk_t *, vDes, pPrsNtk, i )
    {
        Cba_Ntk_t * pNtk = Cba_NtkAlloc( p, Prs_NtkId(pPrsNtk), Prs_NtkPiNum(pPrsNtk), Prs_NtkPoNum(pPrsNtk), Prs_NtkObjNum(pPrsNtk), 100, 100 );
        Prs_CreateBlifPio( pNtk, pPrsNtk );
        Cba_NtkAdd( p, pNtk );
    }
    // create networks
    Vec_PtrForEachEntry( Prs_Ntk_t *, vDes, pPrsNtk, i )
    {
        printf( "Elaboration module \"%s\"...\n", Prs_NtkName(pPrsNtk) );
        fError = Prs_CreateBlifNtk( Cba_ManNtk(p, i+1), pPrsNtk );
        if ( fError )
            break;
    }
    if ( fError )
        printf( "Quitting because of errors.\n" );
    else
        Cba_ManPrepareSeq( p );
    return p;
}

Here is the call graph for this function:

Here is the caller graph for this function:

◆ Prs_ManBuildCbaVerilog()

Cba_Man_t * Prs_ManBuildCbaVerilog	(	char *	pFileName,
		Vec_Ptr_t *	vDes )

extern

Definition at line 2123 of file cbaReadVer.c.

{
    Prs_Ntk_t * pPrsNtk; int i, fError = 0;
    Prs_Ntk_t * pPrsRoot = Prs_ManRoot(vDes);
    // start the manager
    Abc_Nam_t * pStrs = Abc_NamRef(pPrsRoot->pStrs);
    Abc_Nam_t * pFuns = Abc_NamRef(pPrsRoot->pFuns);
    Abc_Nam_t * pMods = Abc_NamStart( 100, 24 );
    Cba_Man_t * p = Cba_ManAlloc( pFileName, Vec_PtrSize(vDes), pStrs, pFuns, pMods, Hash_IntManRef(pPrsRoot->vHash) );
    // initialize networks
    Vec_PtrForEachEntry( Prs_Ntk_t *, vDes, pPrsNtk, i )
    {
        Cba_Ntk_t * pNtk = Cba_NtkAlloc( p, Prs_NtkId(pPrsNtk), Prs_NtkPiNum(pPrsNtk), Prs_NtkPoNum(pPrsNtk), Prs_NtkObjNum(pPrsNtk), 100, 100 );
        Prs_CreateVerilogPio( pNtk, pPrsNtk );
        Cba_NtkAdd( p, pNtk );
    }
    // create networks
    Vec_PtrForEachEntry( Prs_Ntk_t *, vDes, pPrsNtk, i )
    {
        printf( "Building module \"%s\"...\n", Prs_NtkName(pPrsNtk) );
        fError = Prs_CreateVerilogNtk( Cba_ManNtk(p, i+1), pPrsNtk );
        if ( fError )
            break;
    }
    if ( fError )
        printf( "Quitting because of errors.\n" );
    else
        Cba_ManPrepareSeq( p );
    return p;
}

Here is the call graph for this function:

Here is the caller graph for this function:

◆ Prs_ManReadBlifTest()

void Prs_ManReadBlifTest ( char * pFileName )

extern

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

Synopsis []

Description []

SideEffects []

SeeAlso []

Definition at line 433 of file cbaReadBlif.c.

{
    abctime clk = Abc_Clock();
    Vec_Ptr_t * vPrs = Prs_ManReadBlif( pFileName );
    if ( !vPrs ) return;
    printf( "Finished reading %d networks. ", Vec_PtrSize(vPrs) );
    printf( "NameIDs = %d. ", Abc_NamObjNumMax(Prs_ManNameMan(vPrs)) );
    printf( "Memory = %.2f MB. ", 1.0*Prs_ManMemory(vPrs)/(1<<20) );
    Abc_PrintTime( 1, "Time", Abc_Clock() - clk );
//    Abc_NamPrint( p->pStrs );
    Prs_ManWriteBlif( Extra_FileNameGenericAppend(pFileName, "_out.blif"), vPrs );
    Prs_ManVecFree( vPrs );
}

Here is the call graph for this function:

◆ Prs_ManReadVerilogTest()

void Prs_ManReadVerilogTest ( char * pFileName )

extern

Definition at line 1394 of file cbaReadVer.c.

{
    abctime clk = Abc_Clock();
    Vec_Ptr_t * vPrs = Prs_ManReadVerilog( pFileName );
    if ( !vPrs ) return;
    printf( "Finished reading %d networks. ", Vec_PtrSize(vPrs) );
    printf( "NameIDs = %d. ", Abc_NamObjNumMax(Prs_ManNameMan(vPrs)) );
    printf( "Memory = %.2f MB. ", 1.0*Prs_ManMemory(vPrs)/(1<<20) );
    Abc_PrintTime( 1, "Time", Abc_Clock() - clk );
    Prs_ManWriteVerilog( Extra_FileNameGenericAppend(pFileName, "_out.v"), vPrs );
//    Abc_NamPrint( Prs_ManNameMan(vPrs) );
    Prs_ManVecFree( vPrs );
}

Here is the call graph for this function:

◆ Prs_ManWriteBlif()

void Prs_ManWriteBlif	(	char *	pFileName,
		Vec_Ptr_t *	p )

extern

Definition at line 103 of file cbaWriteBlif.c.

{
    Prs_Ntk_t * pNtk = Prs_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", Prs_NtkStr(pNtk, pNtk->iModuleName), Extra_TimeStamp() );
    Vec_PtrForEachEntry( Prs_Ntk_t *, vPrs, pNtk, i )
        Prs_ManWriteBlifNtk( pFile, pNtk );
    fclose( pFile );
}

Here is the call graph for this function:

Here is the caller graph for this function:

◆ Prs_ManWriteVerilog()

void Prs_ManWriteVerilog	(	char *	pFileName,
		Vec_Ptr_t *	p )

extern

Definition at line 322 of file cbaWriteVer.c.

{
    char * pTypeNames[CBA_BOX_LAST];
    Prs_Ntk_t * pNtk = Prs_ManRoot(vPrs); int i;
    FILE * pFile = fopen( pFileName, "wb" );
    if ( pFile == NULL )
    {
        printf( "Cannot open output file \"%s\".\n", pFileName );
        return;
    }
    Cba_ManCreatePrimMap( pTypeNames );
    fprintf( pFile, "// Design \"%s\" written by ABC on %s\n\n", Prs_NtkStr(pNtk, pNtk->iModuleName), Extra_TimeStamp() );
    Vec_PtrForEachEntry( Prs_Ntk_t *, vPrs, pNtk, i )
        Prs_ManWriteVerilogNtk( pFile, pNtk, pTypeNames );
    fclose( pFile );
}

Here is the call graph for this function:

Here is the caller graph for this function:

Classes

Macros

Typedefs

Functions

Macro Definition Documentation

◆ Cba_ManForEachNtk

◆ Cba_NtkForEachBox

◆ Cba_NtkForEachBoxComb

◆ Cba_NtkForEachBoxPrim

◆ Cba_NtkForEachBoxSeq

◆ Cba_NtkForEachBoxUser

◆ Cba_NtkForEachFinFon

◆ Cba_NtkForEachFon

◆ Cba_NtkForEachFonName

◆ Cba_NtkForEachObj

◆ Cba_NtkForEachObjType

◆ Cba_NtkForEachPi

◆ Cba_NtkForEachPiFon

◆ Cba_NtkForEachPioOrder

◆ Cba_NtkForEachPo

◆ Cba_NtkForEachPoDriver

◆ Cba_NtkForEachPoDriverFon

◆ Cba_ObjForEachFin

◆ Cba_ObjForEachFinFanin

◆ Cba_ObjForEachFinFaninReal

◆ Cba_ObjForEachFinFon

◆ Cba_ObjForEachFon

Typedef Documentation

◆ Cba_Man_t

◆ Cba_Ntk_t

Function Documentation

◆ Cba_ManBlast()

◆ Cba_ManCollapse()

◆ Cba_ManCreatePrimMap()

◆ Cba_ManDeriveFromGia()

◆ Cba_ManExtractGroup()

◆ Cba_ManGetSliceName()

◆ Cba_ManInsertAbc()

◆ Cba_ManInsertGia()

◆ Cba_ManInsertGroup()

◆ Cba_ManIsTopoOrder()

◆ Cba_ManPrintDistrib()

◆ Cba_ManReadBlif()

◆ Cba_ManReadCba()

◆ Cba_ManReadVerilog()

◆ Cba_ManWriteBlif()

◆ Cba_ManWriteCba()

◆ Cba_ManWriteVerilog()

◆ Cba_NtkCheckComboLoop()

◆ Cba_NtkCiFonNum()

◆ Cba_NtkCoFinNum()

◆ Cba_NtkCollectDfs()

◆ Cba_NtkObjOrder()

◆ Cba_NtkPrintDistribOld()

◆ Cba_NtkPrintNodes()

◆ Cba_NtkPrintStatsFull()

◆ Prs_ManBuildCbaBlif()

◆ Prs_ManBuildCbaVerilog()

◆ Prs_ManReadBlifTest()

◆ Prs_ManReadVerilogTest()

◆ Prs_ManWriteBlif()

◆ Prs_ManWriteVerilog()