#include "aig/gia/gia.h"
#include "misc/extra/extra.h"
#include "misc/util/utilNam.h"
#include "misc/vec/vecHash.h"
#include "aig/miniaig/abcOper.h"
#include "misc/vec/vecQue.h"

Include dependency graph for acb.h:

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

Go to the source code of this file.

Classes
struct	Acb_Ntk_t_

struct	Acb_Man_t_

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

#define	Acb_NtkForEachPi(p, iObj, i)

#define	Acb_NtkForEachPo(p, iObj, i)

#define	Acb_NtkForEachCi(p, iObj, i)

#define	Acb_NtkForEachCo(p, iObj, i)

#define	Acb_NtkForEachCoDriver(p, iObj, i)

#define	Acb_NtkForEachCoAndDriver(p, iObj, iDriver, i)

#define	Acb_NtkForEachCiVec(vVec, p, iObj, i)

#define	Acb_NtkForEachCoVec(vVec, p, iObj, i)

#define	Acb_NtkForEachCoDriverVec(vVec, p, iObj, i)

#define	Acb_NtkForEachBoxSeq(p, iObj, i)

#define	Acb_NtkForEachCioOrder(p, iObj, i)

#define	Acb_NtkForEachObj(p, i)

#define	Acb_NtkForEachObjReverse(p, i)

#define	Acb_NtkForEachNode(p, i)

#define	Acb_NtkForEachNodeSupp(p, i, nSuppSize)

#define	Acb_NtkForEachNodeReverse(p, i)

#define	Acb_NtkForEachObjType(p, Type, i)

#define	Acb_NtkForEachBox(p, i)

#define	Acb_ObjForEachFanin(p, iObj, iFanin, k)

#define	Acb_ObjForEachFaninFast(p, iObj, pFanins, iFanin, k)

#define	Acb_ObjForEachFanout(p, iObj, iFanout, k)

#define	Acb_ObjForEachFon(p, iObj, iFon)

Typedefs
typedef typedefABC_NAMESPACE_HEADER_START struct Acb_Aig_t_	Acb_Aig_t
	INCLUDES ///.

typedef struct Acb_Ntk_t_	Acb_Ntk_t

typedef struct Acb_Man_t_	Acb_Man_t

Functions
Vec_Int_t *	Acb_ObjCollectTfi (Acb_Ntk_t *p, int iObj, int fTerm)

Vec_Int_t *	Acb_ObjCollectTfo (Acb_Ntk_t *p, int iObj, int fTerm)

Vec_Int_t *	Acb_ObjCollectTfiVec (Acb_Ntk_t p, Vec_Int_t vObjs)

Vec_Int_t *	Acb_ObjCollectTfoVec (Acb_Ntk_t p, Vec_Int_t vObjs)

int	Acb_NtkCountPiBuffers (Acb_Ntk_t p, Vec_Int_t vObjs)

int	Acb_NtkCountPoDrivers (Acb_Ntk_t p, Vec_Int_t vObjs)

int	Acb_NtkFindMffcSize (Acb_Ntk_t p, Vec_Int_t vObjsRefed, Vec_Int_t *vObjsDerefed, int nGates[5])

int	Acb_ObjComputeLevelD (Acb_Ntk_t *p, int iObj)

int	Acb_NtkComputeLevelD (Acb_Ntk_t p, Vec_Int_t vTfo)

void	Acb_NtkUpdateLevelD (Acb_Ntk_t *p, int iObj)

void	Acb_NtkUpdateTiming (Acb_Ntk_t *p, int iObj)

void	Acb_NtkPrintNode (Acb_Ntk_t *p, int iObj)

int	Acb_NtkCreateNode (Acb_Ntk_t p, word uTruth, Vec_Int_t vSupp)

void	Acb_NtkUpdateNode (Acb_Ntk_t p, int Pivot, word uTruth, Vec_Int_t vSupp)

Acb_Ntk_t *	Acb_VerilogSimpleRead (char pFileName, char pFileNameW)

Macro Definition Documentation

◆ Acb_ManForEachNtk

#define Acb_ManForEachNtk	(	p,
		pNtk,
		i )

Value:

for ( i = 1; (i <= Acb_ManNtkNum(p)) && (((pNtk) = Acb_ManNtk(p, i)), 1); i++ )

p

Cube * p

Definition exorList.c:222

ITERATORS ///.

Definition at line 328 of file acb.h.

328#define Acb_ManForEachNtk( p, pNtk, i ) \

329 for ( i = 1; (i <= Acb_ManNtkNum(p)) && (((pNtk) = Acb_ManNtk(p, i)), 1); i++ )

◆ Acb_NtkForEachBox

#define Acb_NtkForEachBox	(		p,
			i )

Value:

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

Definition at line 370 of file acb.h.

370#define Acb_NtkForEachBox( p, i ) \

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

◆ Acb_NtkForEachBoxSeq

#define Acb_NtkForEachBoxSeq	(	p,
		iObj,
		i )

Value:

for ( i = 0; (i < Acb_NtkSeqNum(p)) && (((iObj) = Acb_NtkBoxSeq(p, i)), 1); i++ )

Definition at line 352 of file acb.h.

352#define Acb_NtkForEachBoxSeq( p, iObj, i ) \

353 for ( i = 0; (i < Acb_NtkSeqNum(p)) && (((iObj) = Acb_NtkBoxSeq(p, i)), 1); i++ )

◆ Acb_NtkForEachCi

#define Acb_NtkForEachCi	(	p,
		iObj,
		i )

Value:

for ( i = 0; (i < Acb_NtkCiNum(p)) && (((iObj) = Acb_NtkCi(p, i)), 1); i++ )

Definition at line 336 of file acb.h.

336#define Acb_NtkForEachCi( p, iObj, i ) \

337 for ( i = 0; (i < Acb_NtkCiNum(p)) && (((iObj) = Acb_NtkCi(p, i)), 1); i++ )

◆ Acb_NtkForEachCioOrder

#define Acb_NtkForEachCioOrder	(	p,
		iObj,
		i )

Value:

for ( i = 0; (i < Acb_NtkCioOrderNum(p)) && (((iObj) = Acb_NtkCioOrder(p, i)), 1); i++ )

Definition at line 354 of file acb.h.

354#define Acb_NtkForEachCioOrder( p, iObj, i ) \

355 for ( i = 0; (i < Acb_NtkCioOrderNum(p)) && (((iObj) = Acb_NtkCioOrder(p, i)), 1); i++ )

◆ Acb_NtkForEachCiVec

#define Acb_NtkForEachCiVec	(	vVec,
		p,
		iObj,
		i )

Value:

for ( i = 0; (i < Vec_IntSize(vVec)) && (((iObj) = Acb_NtkCi(p, Vec_IntEntry(vVec,i))), 1); i++ )

Definition at line 345 of file acb.h.

345#define Acb_NtkForEachCiVec( vVec, p, iObj, i ) \

346 for ( i = 0; (i < Vec_IntSize(vVec)) && (((iObj) = Acb_NtkCi(p, Vec_IntEntry(vVec,i))), 1); i++ )

◆ Acb_NtkForEachCo

#define Acb_NtkForEachCo	(	p,
		iObj,
		i )

Value:

for ( i = 0; (i < Acb_NtkCoNum(p)) && (((iObj) = Acb_NtkCo(p, i)), 1); i++ )

Definition at line 338 of file acb.h.

338#define Acb_NtkForEachCo( p, iObj, i ) \

339 for ( i = 0; (i < Acb_NtkCoNum(p)) && (((iObj) = Acb_NtkCo(p, i)), 1); i++ )

◆ Acb_NtkForEachCoAndDriver

#define Acb_NtkForEachCoAndDriver	(	p,
		iObj,
		iDriver,
		i )

Value:

for ( i = 0; (i < Acb_NtkCoNum(p)) && (((iObj) = Acb_NtkCo(p, i)), 1) && (((iDriver) = Acb_ObjFanin(p, iObj, 0)), 1); i++ )

Definition at line 342 of file acb.h.

342#define Acb_NtkForEachCoAndDriver( p, iObj, iDriver, i ) \

343 for ( i = 0; (i < Acb_NtkCoNum(p)) && (((iObj) = Acb_NtkCo(p, i)), 1) && (((iDriver) = Acb_ObjFanin(p, iObj, 0)), 1); i++ )

◆ Acb_NtkForEachCoDriver

#define Acb_NtkForEachCoDriver	(	p,
		iObj,
		i )

Value:

for ( i = 0; (i < Acb_NtkCoNum(p)) && (((iObj) = Acb_ObjFanin(p, Acb_NtkCo(p, i), 0)), 1); i++ )

Definition at line 340 of file acb.h.

340#define Acb_NtkForEachCoDriver( p, iObj, i ) \

341 for ( i = 0; (i < Acb_NtkCoNum(p)) && (((iObj) = Acb_ObjFanin(p, Acb_NtkCo(p, i), 0)), 1); i++ )

◆ Acb_NtkForEachCoDriverVec

#define Acb_NtkForEachCoDriverVec	(	vVec,
		p,
		iObj,
		i )

Value:

for ( i = 0; (i < Vec_IntSize(vVec)) && (((iObj) = Acb_ObjFanin(p, Acb_NtkCo(p, Vec_IntEntry(vVec,i)), 0)), 1); i++ )

Definition at line 349 of file acb.h.

349#define Acb_NtkForEachCoDriverVec( vVec, p, iObj, i ) \

350 for ( i = 0; (i < Vec_IntSize(vVec)) && (((iObj) = Acb_ObjFanin(p, Acb_NtkCo(p, Vec_IntEntry(vVec,i)), 0)), 1); i++ )

◆ Acb_NtkForEachCoVec

#define Acb_NtkForEachCoVec	(	vVec,
		p,
		iObj,
		i )

Value:

for ( i = 0; (i < Vec_IntSize(vVec)) && (((iObj) = Acb_NtkCo(p, Vec_IntEntry(vVec,i))), 1); i++ )

Definition at line 347 of file acb.h.

347#define Acb_NtkForEachCoVec( vVec, p, iObj, i ) \

348 for ( i = 0; (i < Vec_IntSize(vVec)) && (((iObj) = Acb_NtkCo(p, Vec_IntEntry(vVec,i))), 1); i++ )

◆ Acb_NtkForEachNode

#define Acb_NtkForEachNode	(		p,
			i )

Value:

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

Definition at line 362 of file acb.h.

362#define Acb_NtkForEachNode( p, i ) \

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

◆ Acb_NtkForEachNodeReverse

#define Acb_NtkForEachNodeReverse	(		p,
			i )

Value:

for ( i = Vec_StrSize(&p->vObjType)-1; i > 0; i-- ) if ( !Acb_ObjType(p, i) || Acb_ObjIsCio(p, i) ) {} else

Definition at line 366 of file acb.h.

366#define Acb_NtkForEachNodeReverse( p, i ) \

367 for ( i = Vec_StrSize(&p->vObjType)-1; i > 0; i-- ) if ( !Acb_ObjType(p, i) || Acb_ObjIsCio(p, i) ) {} else

◆ Acb_NtkForEachNodeSupp

#define Acb_NtkForEachNodeSupp	(	p,
		i,
		nSuppSize )

Value:

for ( i = 1; i < Vec_StrSize(&p->vObjType); i++ ) if ( !Acb_ObjType(p, i) || Acb_ObjIsCio(p, i) || Acb_ObjFaninNum(p, i) != nSuppSize ) {} else

Definition at line 364 of file acb.h.

364#define Acb_NtkForEachNodeSupp( p, i, nSuppSize ) \

365 for ( i = 1; i < Vec_StrSize(&p->vObjType); i++ ) if ( !Acb_ObjType(p, i) || Acb_ObjIsCio(p, i) || Acb_ObjFaninNum(p, i) != nSuppSize ) {} else

◆ Acb_NtkForEachObj

#define Acb_NtkForEachObj	(		p,
			i )

Value:

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

Definition at line 358 of file acb.h.

358#define Acb_NtkForEachObj( p, i ) \

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

◆ Acb_NtkForEachObjReverse

#define Acb_NtkForEachObjReverse	(		p,
			i )

Value:

for ( i = Vec_StrSize(&p->vObjType)-1; i > 0; i-- ) if ( !Acb_ObjType(p, i) ) {} else

Definition at line 360 of file acb.h.

360#define Acb_NtkForEachObjReverse( p, i ) \

361 for ( i = Vec_StrSize(&p->vObjType)-1; i > 0; i-- ) if ( !Acb_ObjType(p, i) ) {} else

◆ Acb_NtkForEachObjType

#define Acb_NtkForEachObjType	(	p,
		Type,
		i )

Value:

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

Definition at line 368 of file acb.h.

368#define Acb_NtkForEachObjType( p, Type, i ) \

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

◆ Acb_NtkForEachPi

#define Acb_NtkForEachPi	(	p,
		iObj,
		i )

Value:

for ( i = 0; (i < Acb_NtkPiNum(p)) && (((iObj) = Acb_NtkCi(p, i)), 1); i++ )

Definition at line 331 of file acb.h.

331#define Acb_NtkForEachPi( p, iObj, i ) \

332 for ( i = 0; (i < Acb_NtkPiNum(p)) && (((iObj) = Acb_NtkCi(p, i)), 1); i++ )

◆ Acb_NtkForEachPo

#define Acb_NtkForEachPo	(	p,
		iObj,
		i )

Value:

for ( i = 0; (i < Acb_NtkPoNum(p)) && (((iObj) = Acb_NtkCo(p, i)), 1); i++ )

Definition at line 333 of file acb.h.

333#define Acb_NtkForEachPo( p, iObj, i ) \

334 for ( i = 0; (i < Acb_NtkPoNum(p)) && (((iObj) = Acb_NtkCo(p, i)), 1); i++ )

◆ Acb_ObjForEachFanin

#define Acb_ObjForEachFanin	(	p,
		iObj,
		iFanin,
		k )

Value:

for ( k = 0; k < Acb_ObjFaninNum(p, iObj) && ((iFanin = Acb_ObjFanin(p, iObj, k)), 1); k++ )

Definition at line 373 of file acb.h.

373#define Acb_ObjForEachFanin( p, iObj, iFanin, k ) \

374 for ( k = 0; k < Acb_ObjFaninNum(p, iObj) && ((iFanin = Acb_ObjFanin(p, iObj, k)), 1); k++ )

◆ Acb_ObjForEachFaninFast

#define Acb_ObjForEachFaninFast	(	p,
		iObj,
		pFanins,
		iFanin,
		k )

Value:

for ( k = 0, pFanins = Acb_ObjFanins(p, iObj); k < pFanins[0] && ((iFanin = pFanins[k+1]), 1); k++ )

Definition at line 375 of file acb.h.

375#define Acb_ObjForEachFaninFast( p, iObj, pFanins, iFanin, k ) \

376 for ( k = 0, pFanins = Acb_ObjFanins(p, iObj); k < pFanins[0] && ((iFanin = pFanins[k+1]), 1); k++ )

◆ Acb_ObjForEachFanout

#define Acb_ObjForEachFanout	(	p,
		iObj,
		iFanout,
		k )

Value:

Vec_IntForEachEntry( Vec_WecEntry(&p->vFanouts, iObj), iFanout, k ) if ( !Acb_ObjType(p, iFanout) ) {} else

Vec_IntForEachEntry

#define Vec_IntForEachEntry(vVec, Entry, i)

MACRO DEFINITIONS ///.

Definition vecInt.h:54

Definition at line 378 of file acb.h.

378#define Acb_ObjForEachFanout( p, iObj, iFanout, k ) \

379 Vec_IntForEachEntry( Vec_WecEntry(&p->vFanouts, iObj), iFanout, k ) if ( !Acb_ObjType(p, iFanout) ) {} else

◆ Acb_ObjForEachFon

#define Acb_ObjForEachFon	(	p,
		iObj,
		iFon )

Value:

for ( assert(Acb_ObjIsBox(p, iObj)), iFon = iObj + 1; iFon < Acb_NtkObjNum(p) && Acb_ObjIsFon(p, iFon); iFon++ )

assert

#define assert(ex)

Definition util_old.h:213

Definition at line 381 of file acb.h.

381#define Acb_ObjForEachFon( p, iObj, iFon ) \

382 for ( assert(Acb_ObjIsBox(p, iObj)), iFon = iObj + 1; iFon < Acb_NtkObjNum(p) && Acb_ObjIsFon(p, iFon); iFon++ )

Typedef Documentation

◆ Acb_Aig_t

typedef typedefABC_NAMESPACE_HEADER_START struct Acb_Aig_t_ Acb_Aig_t

INCLUDES ///.

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

FileName [acb.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: acb.h,v 1.00 2014/11/29 00:00:00 alanmi Exp

] PARAMETERS /// BASIC TYPES ///

Definition at line 46 of file acb.h.

◆ Acb_Man_t

typedef struct Acb_Man_t_ Acb_Man_t

Definition at line 48 of file acb.h.

◆ Acb_Ntk_t

typedef struct Acb_Ntk_t_ Acb_Ntk_t

Definition at line 47 of file acb.h.

Function Documentation

◆ Acb_NtkComputeLevelD()

int Acb_NtkComputeLevelD	(	Acb_Ntk_t *	p,
		Vec_Int_t *	vTfo )

extern

Definition at line 340 of file acbUtil.c.

{
    // it is assumed that vTfo contains CO nodes and level of new nodes was already updated
    int i, iObj, Level = 0;
    if ( !Acb_NtkHasObjLevelD( p ) )
        Acb_NtkCleanObjLevelD( p );
    Vec_IntForEachEntryReverse( vTfo, iObj, i )
        Acb_ObjComputeLevelD( p, iObj );
    Acb_NtkForEachCo( p, iObj, i )
        Level = Abc_MaxInt( Level, Acb_ObjLevelD(p, iObj) );
    p->LevelMax = Level;
    return Level;
}

Here is the call graph for this function:

Here is the caller graph for this function:

◆ Acb_NtkCountPiBuffers()

int Acb_NtkCountPiBuffers	(	Acb_Ntk_t *	p,
		Vec_Int_t *	vObjs )

extern

Definition at line 139 of file acbUtil.c.

{
    int i, iObj, Count = 0;
    Vec_IntForEachEntry( vObjs, iObj, i )
        Count += Acb_NtkIsPiBuffers( p, iObj );
    return Count;
}

Here is the call graph for this function:

Here is the caller graph for this function:

◆ Acb_NtkCountPoDrivers()

int Acb_NtkCountPoDrivers	(	Acb_Ntk_t *	p,
		Vec_Int_t *	vObjs )

extern

Definition at line 146 of file acbUtil.c.

{
    int i, iObj, Count = 0;
    Acb_NtkIncTravId( p );
    Acb_NtkForEachCo( p, iObj, i )
    {
        int Fanin0 = Acb_ObjFanin0(p, iObj);
        Acb_ObjSetTravIdCur( p, iObj );
        Acb_ObjSetTravIdCur( p, Fanin0 );
        if ( Acb_ObjFaninNum(p, Fanin0) == 1 )
            Acb_ObjSetTravIdCur( p, Acb_ObjFanin0(p, Fanin0) );
    }
    Vec_IntForEachEntry( vObjs, iObj, i )
        Count += Acb_ObjIsTravIdCur(p, iObj);
    return Count;
}

Here is the caller graph for this function:

◆ Acb_NtkCreateNode()

int Acb_NtkCreateNode	(	Acb_Ntk_t *	p,
		word	uTruth,
		Vec_Int_t *	vSupp )

extern

Definition at line 636 of file acbUtil.c.

{
    int Pivot = Acb_ObjAlloc( p, ABC_OPER_LUT, Vec_IntSize(vSupp), 0 );
    Acb_ObjSetTruth( p, Pivot, uTruth );
    Acb_ObjAddFanins( p, Pivot, vSupp );
    Acb_ObjAddFaninFanout( p, Pivot );
    Acb_ObjComputeLevelD( p, Pivot );
    return Pivot;
}

Here is the call graph for this function:

Here is the caller graph for this function:

◆ Acb_NtkFindMffcSize()

int Acb_NtkFindMffcSize	(	Acb_Ntk_t *	p,
		Vec_Int_t *	vObjsRefed,
		Vec_Int_t *	vObjsDerefed,
		int	nGates[5] )

extern

◆ Acb_NtkPrintNode()

void Acb_NtkPrintNode	(	Acb_Ntk_t *	p,
		int	iObj )

extern

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

Synopsis []

Description []

SideEffects []

SeeAlso []

Definition at line 628 of file acbUtil.c.

{
    int k, iFanin, * pFanins; 
    printf( "Node %5d : ", iObj );
    Acb_ObjForEachFaninFast( p, iObj, pFanins, iFanin, k )
        printf( "%d ", iFanin );
    printf( "LevelD = %d. LevelR = %d.\n", Acb_ObjLevelD(p, iObj), Acb_ObjLevelR(p, iObj) );
}

Here is the caller graph for this function:

◆ Acb_NtkUpdateLevelD()

void Acb_NtkUpdateLevelD	(	Acb_Ntk_t *	p,
		int	iObj )

extern

Definition at line 376 of file acbUtil.c.

{
    Vec_Int_t * vTfo = Acb_ObjCollectTfo( p, Pivot, 1 );
    Acb_NtkComputeLevelD( p, vTfo );
}

Here is the call graph for this function:

Here is the caller graph for this function:

◆ Acb_NtkUpdateNode()

void Acb_NtkUpdateNode	(	Acb_Ntk_t *	p,
		int	Pivot,
		word	uTruth,
		Vec_Int_t *	vSupp )

extern

Definition at line 681 of file acbUtil.c.

{
    //int Level = Acb_ObjLevelD(p, Pivot);
    Acb_NtkSaveSupport( p, Pivot );
    //Acb_NtkPrintNode( p, Pivot );
    Acb_NtkResetNode( p, Pivot, uTruth, vSupp );
    Acb_ObjComputeLevelD( p, Pivot );
    //assert( Level > Acb_ObjLevelD(p, Pivot) );
    //Acb_NtkPrintNode( p, Pivot );
    if ( p->vQue == NULL )
        Acb_NtkUpdateLevelD( p, Pivot );
    else
//        Acb_NtkUpdateTiming( p, Pivot );
        Acb_NtkUpdateTiming( p, -1 );
    Vec_IntClear( &p->vSuppOld );
}

Here is the call graph for this function:

Here is the caller graph for this function:

◆ Acb_NtkUpdateTiming()

void Acb_NtkUpdateTiming	(	Acb_Ntk_t *	p,
		int	iObj )

extern

Definition at line 570 of file acbUtil.c.

{
    int i, Entry, LevelMax = p->LevelMax;
    int LevelD, LevelR, nPaths1, nPaths2;
    // assuming that direct level of the new nodes (including iObj) is up to date
    Vec_Int_t * vTfi = Acb_ObjCollectTfi( p, iObj, 1 );
    Vec_Int_t * vTfo = Acb_ObjCollectTfo( p, iObj, 1 );
    if ( iObj > 0 )
    {
        assert( Vec_IntEntryLast(vTfi) == iObj );
        assert( Vec_IntEntryLast(vTfo) == iObj );
        Vec_IntPop( vTfo );
    }
    Acb_NtkComputeLevelD( p, vTfo );
    LevelD = p->LevelMax;
    Acb_NtkComputeLevelR( p, vTfi );
    LevelR = p->LevelMax;
    assert( LevelD == LevelR );
    if ( iObj > 0 && LevelMax > p->LevelMax ) // reduced level
    {
        iObj = -1;
        vTfi = Acb_ObjCollectTfi( p, -1, 1 );
        vTfo = Acb_ObjCollectTfo( p, -1, 1 );   
        Vec_QueClear( p->vQue );
        // add backup here
    }
    if ( iObj > 0 )
    Acb_NtkComputePathsD( p, vTfi, 0 );
    Acb_NtkComputePathsD( p, vTfo, 1 );
    nPaths1 = p->nPaths;
    if ( iObj > 0 )
    Acb_NtkComputePathsR( p, vTfo, 0 );
    Acb_NtkComputePathsR( p, vTfi, 1 );
    nPaths2 = p->nPaths;
    assert( nPaths1 == nPaths2 );
    Vec_IntForEachEntry( vTfi, Entry, i )
        Acb_ObjUpdatePriority( p, Entry );
    if ( iObj > 0 )
    Vec_IntForEachEntry( vTfo, Entry, i )
        Acb_ObjUpdatePriority( p, Entry );
 
//    printf( "Updating timing for object %d.\n", iObj );
//    Acb_NtkPrintPaths( p );
//    while ( (Entry = (int)Vec_QueTopPriority(p->vQue)) > 0 )
//        printf( "Obj = %5d : Prio = %d.\n", Vec_QuePop(p->vQue), Entry );
}

Here is the call graph for this function:

Here is the caller graph for this function:

◆ Acb_ObjCollectTfi()

Vec_Int_t * Acb_ObjCollectTfi	(	Acb_Ntk_t *	p,
		int	iObj,
		int	fTerm )

extern

Definition at line 59 of file acbUtil.c.

{
    int i, Node;
    Vec_IntClear( &p->vArray0 );
    Acb_NtkIncTravId( p );
    if ( iObj > 0 )
    {
        Vec_IntForEachEntry( &p->vSuppOld, Node, i )
            Acb_ObjCollectTfi_rec( p, Node, fTerm );
        Acb_ObjCollectTfi_rec( p, iObj, fTerm );
    }
    else
        Acb_NtkForEachCo( p, iObj, i )
            Acb_ObjCollectTfi_rec( p, iObj, fTerm );
    return &p->vArray0;
}

Here is the call graph for this function:

Here is the caller graph for this function:

◆ Acb_ObjCollectTfiVec()

Vec_Int_t * Acb_ObjCollectTfiVec	(	Acb_Ntk_t *	p,
		Vec_Int_t *	vObjs )

extern

Definition at line 75 of file acbUtil.c.

{
    int i, iObj;
    Vec_IntClear( &p->vArray0 );
    Acb_NtkIncTravId( p );
    Vec_IntForEachEntry( vObjs, iObj, i )
        Acb_ObjCollectTfi_rec( p, iObj, 0 );
    return &p->vArray0;
}

Here is the call graph for this function:

Here is the caller graph for this function:

◆ Acb_ObjCollectTfo()

Vec_Int_t * Acb_ObjCollectTfo	(	Acb_Ntk_t *	p,
		int	iObj,
		int	fTerm )

extern

Definition at line 96 of file acbUtil.c.

{
    int i;
    Vec_IntClear( &p->vArray1 );
    Acb_NtkIncTravId( p );
    if ( iObj > 0 )
        Acb_ObjCollectTfo_rec( p, iObj, fTerm );
    else
        Acb_NtkForEachCi( p, iObj, i )
            Acb_ObjCollectTfo_rec( p, iObj, fTerm );
    return &p->vArray1;
}

Here is the call graph for this function:

Here is the caller graph for this function:

◆ Acb_ObjCollectTfoVec()

Vec_Int_t * Acb_ObjCollectTfoVec	(	Acb_Ntk_t *	p,
		Vec_Int_t *	vObjs )

extern

Definition at line 108 of file acbUtil.c.

{
    int i, iObj;
    if ( !Acb_NtkHasObjFanout(p) )
        Acb_NtkCreateFanout( p );
    Vec_IntClear( &p->vArray1 );
    Acb_NtkIncTravId( p );
    Vec_IntForEachEntry( vObjs, iObj, i )
        Acb_ObjCollectTfo_rec( p, iObj, 0 );
    return &p->vArray1;
}

Here is the call graph for this function:

Here is the caller graph for this function:

◆ Acb_ObjComputeLevelD()

int Acb_ObjComputeLevelD	(	Acb_Ntk_t *	p,
		int	iObj )

extern

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

Synopsis [Computing and updating direct and reverse logic level.]

Description []

SideEffects []

SeeAlso []

Definition at line 333 of file acbUtil.c.

{
    int * pFanins, iFanin, k, Level = 0;
    Acb_ObjForEachFaninFast( p, iObj, pFanins, iFanin, k )
        Level = Abc_MaxInt( Level, Acb_ObjLevelD(p, iFanin) );
    return Acb_ObjSetLevelD( p, iObj, Level + !Acb_ObjIsCio(p, iObj) );
}

Here is the caller graph for this function:

◆ Acb_VerilogSimpleRead()

Acb_Ntk_t * Acb_VerilogSimpleRead	(	char *	pFileName,
		char *	pFileNameW )

extern

Definition at line 622 of file acbFunc.c.

{
    extern Acb_Ntk_t * Acb_NtkFromNdr( char * pFileName, void * pModule, Abc_Nam_t * pNames, Vec_Int_t * vWeights, int nNameIdMax );
    Acb_Ntk_t * pNtk; 
    Abc_Nam_t * pNames = Acb_VerilogStartNames();
    Vec_Int_t * vBuffer = Acb_VerilogSimpleLex( pFileName, pNames );
    void * pModule = vBuffer ? Acb_VerilogSimpleParse( vBuffer, pNames ) : NULL;
    Vec_Int_t * vWeights = pFileNameW ? Acb_ReadWeightMap( pFileNameW, pNames ) : NULL;
    if ( pFileName && pModule == NULL )
    {
        printf( "Cannot read input file \"%s\".\n", pFileName );
        return NULL;
    }
    if ( pFileNameW && vWeights == NULL )
    {
        printf( "Cannot read weight file \"%s\".\n", pFileNameW );
        return NULL;
    }
    if ( 0 )
    {
        char ** ppNames = Acb_PrepareNames(pNames);
        Ndr_WriteVerilog( Extra_FileNameGenericAppend(pFileName, "_ndr.v"), pModule, ppNames, 1 );
        ABC_FREE( ppNames );
    }
    pNtk = Acb_NtkFromNdr( pFileName, pModule, pNames, vWeights, Abc_NamObjNumMax(pNames) );
    Ndr_Delete( pModule );
    Vec_IntFree( vBuffer );
    Vec_IntFreeP( &vWeights );
    Abc_NamDeref( pNames );
    return pNtk;
}

Here is the call graph for this function:

Here is the caller graph for this function:

Classes

Macros

Typedefs

Functions

Macro Definition Documentation

◆ Acb_ManForEachNtk

◆ Acb_NtkForEachBox

◆ Acb_NtkForEachBoxSeq

◆ Acb_NtkForEachCi

◆ Acb_NtkForEachCioOrder

◆ Acb_NtkForEachCiVec

◆ Acb_NtkForEachCo

◆ Acb_NtkForEachCoAndDriver

◆ Acb_NtkForEachCoDriver

◆ Acb_NtkForEachCoDriverVec

◆ Acb_NtkForEachCoVec

◆ Acb_NtkForEachNode

◆ Acb_NtkForEachNodeReverse

◆ Acb_NtkForEachNodeSupp

◆ Acb_NtkForEachObj

◆ Acb_NtkForEachObjReverse

◆ Acb_NtkForEachObjType

◆ Acb_NtkForEachPi

◆ Acb_NtkForEachPo

◆ Acb_ObjForEachFanin

◆ Acb_ObjForEachFaninFast

◆ Acb_ObjForEachFanout

◆ Acb_ObjForEachFon

Typedef Documentation

◆ Acb_Aig_t

◆ Acb_Man_t

◆ Acb_Ntk_t

Function Documentation

◆ Acb_NtkComputeLevelD()

◆ Acb_NtkCountPiBuffers()

◆ Acb_NtkCountPoDrivers()

◆ Acb_NtkCreateNode()

◆ Acb_NtkFindMffcSize()

◆ Acb_NtkPrintNode()

◆ Acb_NtkUpdateLevelD()

◆ Acb_NtkUpdateNode()

◆ Acb_NtkUpdateTiming()

◆ Acb_ObjCollectTfi()

◆ Acb_ObjCollectTfiVec()

◆ Acb_ObjCollectTfo()

◆ Acb_ObjCollectTfoVec()

◆ Acb_ObjComputeLevelD()

◆ Acb_VerilogSimpleRead()