giaAgi.c File Reference

#include "gia.h"

Include dependency graph for giaAgi.c:

Go to the source code of this file.

Classes
struct	Agi_Man_t_

Macros
#define	AGI_PI   ABC_CONST(0xFFFFFFFF00000000)
	DECLARATIONS ///.
#define	AGI_RO   ABC_CONST(0xFFFFFFFE00000000)
#define	AGI_PO   ABC_CONST(0xFFFFFFFD00000000)
#define	AGI_RI   ABC_CONST(0xFFFFFFFC00000000)
#define	AGI_C0   ABC_CONST(0xFFFFFFFBFFFFFFFA)
#define	AGI_M0   ABC_CONST(0x00000000FFFFFFFF)
#define	AGI_M1   ABC_CONST(0xFFFFFFFF00000000)
#define	Agi_ManForEachCi(p, iCi, i)
#define	Agi_ManForEachCo(p, iCo, i)
#define	Agi_ManForEachObj(p, i)
#define	Agi_ManForEachObj1(p, i)
#define	Agi_ManForEachNode(p, i)

Typedefs
typedef struct Agi_Man_t_	Agi_Man_t

Functions
Agi_Man_t *	Agi_ManAlloc (int nCap)
	FUNCTION DEFINITIONS ///.
void	Agi_ManFree (Agi_Man_t *p)
Agi_Man_t *	Agi_ManFromGia (Gia_Man_t *p)
int	Agi_ManSuppSize_rec (Agi_Man_t *p, int i)
int	Agi_ManSuppSizeOne (Agi_Man_t *p, int i)
int	Agi_ManSuppSizeTest (Agi_Man_t *p)
void	Agi_ManTest (Gia_Man_t *pGia)

Macro Definition Documentation

AGI_C0

#define AGI_C0   ABC_CONST(0xFFFFFFFBFFFFFFFA)

Definition at line 34 of file giaAgi.c.

AGI_M0

#define AGI_M0   ABC_CONST(0x00000000FFFFFFFF)

Definition at line 35 of file giaAgi.c.

AGI_M1

#define AGI_M1   ABC_CONST(0xFFFFFFFF00000000)

Definition at line 36 of file giaAgi.c.

Agi_ManForEachCi

#define Agi_ManForEachCi	(		p,
			iCi,
			i )

Value:

Vec_IntForEachEntry( &p->vCis, iCi, i )

Definition at line 115 of file giaAgi.c.

Agi_ManForEachCo

#define Agi_ManForEachCo	(		p,
			iCo,
			i )

Value:

Vec_IntForEachEntry( &p->vCos, iCo, i )

Definition at line 116 of file giaAgi.c.

Agi_ManForEachNode

#define Agi_ManForEachNode	(		p,
			i )

Value:

for ( i = 1; i < Agi_ManObjNum(p); i++ ) if ( !Agi_ObjIsNode(p, i) ) {} else

Definition at line 119 of file giaAgi.c.

Agi_ManForEachObj

#define Agi_ManForEachObj	(		p,
			i )

Value:

for ( i = 0; i < Agi_ManObjNum(p); i++ )

Definition at line 117 of file giaAgi.c.

Agi_ManForEachObj1

#define Agi_ManForEachObj1	(		p,
			i )

Value:

for ( i = 1; i < Agi_ManObjNum(p); i++ )

Definition at line 118 of file giaAgi.c.

AGI_PI

#define AGI_PI   ABC_CONST(0xFFFFFFFF00000000)

DECLARATIONS ///.

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

FileName [giaAig.c]

SystemName [ABC: Logic synthesis and verification system.]

PackageName [Scalable AIG package.]

Synopsis []

Author [Alan Mishchenko]

Affiliation [UC Berkeley]

Date [Ver. 1.0. Started - June 20, 2005.]

Revision [

Id

giaAig.c,v 1.00 2005/06/20 00:00:00 alanmi Exp

]

Definition at line 30 of file giaAgi.c.

AGI_PO

#define AGI_PO   ABC_CONST(0xFFFFFFFD00000000)

Definition at line 32 of file giaAgi.c.

AGI_RI

#define AGI_RI   ABC_CONST(0xFFFFFFFC00000000)

Definition at line 33 of file giaAgi.c.

AGI_RO

#define AGI_RO   ABC_CONST(0xFFFFFFFE00000000)

Definition at line 31 of file giaAgi.c.

Typedef Documentation

Agi_Man_t

typedef struct Agi_Man_t_ Agi_Man_t

Definition at line 38 of file giaAgi.c.

Function Documentation

Agi_ManAlloc()

Agi_Man_t * Agi_ManAlloc

(

int

nCap

)

FUNCTION DEFINITIONS ///.

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

Synopsis []

Description []

SideEffects []

SeeAlso []

Definition at line 136 of file giaAgi.c.

{
    Agi_Man_t * p;
    nCap = Abc_MaxInt( nCap, 16 );
    p = ABC_CALLOC( Agi_Man_t, 1 );
    p->nCap     = nCap;
    p->pObjs    = ABC_CALLOC( word, nCap );
    p->pTravIds = ABC_CALLOC( unsigned, nCap );
    p->pObjs[0] = AGI_C0;
    p->nObjs    = 1;
    return p;
}

Here is the caller graph for this function:

Agi_ManFree()

void Agi_ManFree

(

Agi_Man_t *

p

)

Definition at line 148 of file giaAgi.c.

{
    ABC_FREE( p->pObjs );
    ABC_FREE( p->pTravIds );
    ABC_FREE( p->vCis.pArray );
    ABC_FREE( p->vCos.pArray );
    ABC_FREE( p );
}

Here is the caller graph for this function:

Agi_ManFromGia()

Agi_Man_t * Agi_ManFromGia

(

Gia_Man_t *

p

)

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

Synopsis []

Description []

SideEffects []

SeeAlso []

Definition at line 168 of file giaAgi.c.

{
    Agi_Man_t * pNew;
    Gia_Obj_t * pObj;
    int i;
    pNew = Agi_ManAlloc( Gia_ManObjNum(p) );
    Gia_ManForEachObj1( p, pObj, i )
        if ( Gia_ObjIsAnd(pObj) )
            pObj->Value = Agi_ManAppendAnd( pNew, Gia_ObjFanin0Copy(pObj), Gia_ObjFanin1Copy(pObj) );
        else if ( Gia_ObjIsCo(pObj) )
            pObj->Value = Agi_ManAppendCo( pNew, Gia_ObjFanin0Copy(pObj) );
        else if ( Gia_ObjIsCi(pObj) )
            pObj->Value = Agi_ManAppendCi( pNew );
        else assert( 0 );
    return pNew;
}

Here is the call graph for this function:

Here is the caller graph for this function:

Agi_ManSuppSize_rec()

int Agi_ManSuppSize_rec	(	Agi_Man_t *	p,
		int	i )

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

Synopsis []

Description []

SideEffects []

SeeAlso []

Definition at line 196 of file giaAgi.c.

{
    if ( p->pTravIds[i] == p->nTravIds )
        return 0;
    p->pTravIds[i] = p->nTravIds;
    if ( Agi_ObjIsCi(p, i) )
        return 1;
    assert( Agi_ObjIsAnd(p, i) );
    return Agi_ManSuppSize_rec( p, Agi_ObjVar0(p, i) ) +  Agi_ManSuppSize_rec( p, Agi_ObjVar1(p, i) );
}

Here is the call graph for this function:

Here is the caller graph for this function:

Agi_ManSuppSizeOne()

int Agi_ManSuppSizeOne	(	Agi_Man_t *	p,
		int	i )

Definition at line 206 of file giaAgi.c.

{
    p->nTravIds++;
    return Agi_ManSuppSize_rec( p, i );
}

Here is the call graph for this function:

Here is the caller graph for this function:

Agi_ManSuppSizeTest()

int Agi_ManSuppSizeTest

(

Agi_Man_t *

p

)

Definition at line 211 of file giaAgi.c.

{
    abctime clk = Abc_Clock();
    int i, Counter = 0;
    Agi_ManForEachNode( p, i )
        Counter += (Agi_ManSuppSizeOne(p, i) <= 16);
    printf( "Nodes with small support %d (out of %d)\n", Counter, Agi_ManNodeNum(p) );
    Abc_PrintTime( 1, "Time", Abc_Clock() - clk );
    return Counter;
 
}

Here is the call graph for this function:

Here is the caller graph for this function:

Agi_ManTest()

void Agi_ManTest

(

Gia_Man_t *

pGia

)

Definition at line 222 of file giaAgi.c.

{
    extern int Gia_ManSuppSizeTest( Gia_Man_t * p );
    Agi_Man_t * p;
    Gia_ManSuppSizeTest( pGia );
    p = Agi_ManFromGia( pGia );
    Agi_ManSuppSizeTest( p );
    Agi_ManFree( p );
}

Here is the call graph for this function: