giaAgi.c File Reference

#include "gia.h"

Go to the source code of this file.

Data Structures
struct	Agi_Man_t_

Macros
#define	AGI_PI   ABC_CONST(0xFFFFFFFF00000000)
	DECLARATIONS ///. More...
#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)   Vec_IntForEachEntry( &p->vCis, iCi, i )
#define	Agi_ManForEachCo(p, iCo, i)   Vec_IntForEachEntry( &p->vCos, iCo, i )
#define	Agi_ManForEachObj(p, i)   for ( i = 0; i < Agi_ManObjNum(p); i++ )
#define	Agi_ManForEachObj1(p, i)   for ( i = 1; i < Agi_ManObjNum(p); i++ )
#define	Agi_ManForEachNode(p, i)   for ( i = 1; i < Agi_ManObjNum(p); i++ ) if ( !Agi_ObjIsNode(p, i) ) {} else

Typedefs
typedef struct Agi_Man_t_	Agi_Man_t

Functions
static int	Agi_ManObjNum (Agi_Man_t *p)
static int	Agi_ManCiNum (Agi_Man_t *p)
static int	Agi_ManCoNum (Agi_Man_t *p)
static int	Agi_ManNodeNum (Agi_Man_t *p)
static unsigned	Agi_ObjLit0 (Agi_Man_t *p, int i)
static unsigned	Agi_ObjLit1 (Agi_Man_t *p, int i)
static unsigned	Agi_ObjLit2 (Agi_Man_t *p, int i)
static int	Agi_ObjVar0 (Agi_Man_t *p, int i)
static int	Agi_ObjVar1 (Agi_Man_t *p, int i)
static int	Agi_ObjVar2 (Agi_Man_t *p, int i)
static void	Agi_ObjSetLit0 (Agi_Man_t *p, int i, unsigned l)
static void	Agi_ObjSetLit1 (Agi_Man_t *p, int i, unsigned l)
static void	Agi_ObjSetLit2 (Agi_Man_t *p, int i, unsigned l)
static int	Agi_ObjIsC0 (Agi_Man_t *p, int i)
static int	Agi_ObjIsPi (Agi_Man_t *p, int i)
static int	Agi_ObjIsRo (Agi_Man_t *p, int i)
static int	Agi_ObjIsPo (Agi_Man_t *p, int i)
static int	Agi_ObjIsRi (Agi_Man_t *p, int i)
static int	Agi_ObjIsCi (Agi_Man_t *p, int i)
static int	Agi_ObjIsCo (Agi_Man_t *p, int i)
static int	Agi_ObjIsNode (Agi_Man_t *p, int i)
static int	Agi_ObjIsBuf (Agi_Man_t *p, int i)
static int	Agi_ObjIsAnd (Agi_Man_t *p, int i)
static int	Agi_ObjIsXor (Agi_Man_t *p, int i)
static int	Agi_ObjIsMux (Agi_Man_t *p, int i)
static int	Agi_ObjIsMaj (Agi_Man_t *p, int i)
static int	Agi_ManAppendObj (Agi_Man_t *p)
static int	Agi_ManAppendCi (Agi_Man_t *p)
static int	Agi_ManAppendCo (Agi_Man_t *p, int iLit0)
static int	Agi_ManAppendAnd (Agi_Man_t *p, int iLit0, int iLit1)
Agi_Man_t *	Agi_ManAlloc (int nCap)
	FUNCTION DEFINITIONS ///. More...
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

#define AGI_C0   ABC_CONST(0xFFFFFFFBFFFFFFFA)

Definition at line 34 of file giaAgi.c.

#define AGI_M0   ABC_CONST(0x00000000FFFFFFFF)

Definition at line 35 of file giaAgi.c.

#define AGI_M1   ABC_CONST(0xFFFFFFFF00000000)

Definition at line 36 of file giaAgi.c.

#define Agi_ManForEachCi	(		p,
			iCi,
			i
	)		Vec_IntForEachEntry( &p->vCis, iCi, i )

Definition at line 115 of file giaAgi.c.

#define Agi_ManForEachCo	(		p,
			iCo,
			i
	)		Vec_IntForEachEntry( &p->vCos, iCo, i )

Definition at line 116 of file giaAgi.c.

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

Definition at line 119 of file giaAgi.c.

#define Agi_ManForEachObj	(		p,
			i
	)		for ( i = 0; i < Agi_ManObjNum(p); i++ )

Definition at line 117 of file giaAgi.c.

#define Agi_ManForEachObj1	(		p,
			i
	)		for ( i = 1; i < Agi_ManObjNum(p); i++ )

Definition at line 118 of file giaAgi.c.

#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.

#define AGI_PO   ABC_CONST(0xFFFFFFFD00000000)

Definition at line 32 of file giaAgi.c.

#define AGI_RI   ABC_CONST(0xFFFFFFFC00000000)

Definition at line 33 of file giaAgi.c.

#define AGI_RO   ABC_CONST(0xFFFFFFFE00000000)

Definition at line 31 of file giaAgi.c.

Typedef Documentation

typedef struct Agi_Man_t_ Agi_Man_t

Definition at line 38 of file giaAgi.c.

Function Documentation

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;
}

static int Agi_ManAppendAnd ( Agi_Man_t *  p, int  iLit0, int  iLit1  )

inlinestatic

Definition at line 106 of file giaAgi.c.

{
    int iObj = Agi_ManAppendObj( p );
    assert( iLit0 < iLit1 );
    p->pObjs[iObj] = ((word)iLit1 << 32) | (word)iLit0;
    p->nNodes++;
    return Abc_Var2Lit( iObj, 0 ); // return lit
}

static int Agi_ManAppendCi ( Agi_Man_t *  p )

inlinestatic

Definition at line 92 of file giaAgi.c.

{
    int iObj = Agi_ManAppendObj( p );
    p->pObjs[iObj] = AGI_PI | (word)Vec_IntSize(&p->vCis);
    Vec_IntPush( &p->vCis, iObj );
    return Abc_Var2Lit( iObj, 0 ); // return lit
}

static int Agi_ManAppendCo ( Agi_Man_t *  p, int  iLit0  )

inlinestatic

Definition at line 99 of file giaAgi.c.

{
    int iObj = Agi_ManAppendObj( p );
    p->pObjs[iObj] = AGI_PO | (word)iLit0;
    Vec_IntPush( &p->vCos, iObj );
    return Abc_Var2Lit( iObj, 0 ); // return lit
}

static int Agi_ManAppendObj ( Agi_Man_t *  p )

inlinestatic

Definition at line 87 of file giaAgi.c.

{
    assert( p->nObjs < p->nCap );
    return p->nObjs++; // return var
}

static int Agi_ManCiNum ( Agi_Man_t *  p )

inlinestatic

Definition at line 59 of file giaAgi.c.

{ return Vec_IntSize( &p->vCis );                         } 

static int Agi_ManCoNum ( Agi_Man_t *  p )

inlinestatic

Definition at line 60 of file giaAgi.c.

{ return Vec_IntSize( &p->vCos );                         } 

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 );
}

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;
}

static int Agi_ManNodeNum ( Agi_Man_t *  p )

inlinestatic

Definition at line 61 of file giaAgi.c.

{ return p->nNodes;                                       } 

static int Agi_ManObjNum ( Agi_Man_t *  p )

inlinestatic

Definition at line 58 of file giaAgi.c.

{ return p->nObjs;                                        } 

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) );
}

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 );
}

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;

}

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 );
}

static int Agi_ObjIsAnd ( Agi_Man_t *  p, int  i  )

inlinestatic

Definition at line 82 of file giaAgi.c.

{ return Agi_ObjIsNode(p, i) && Agi_ObjLit0(p, i) < Agi_ObjLit1(p, i);  } 

static int Agi_ObjIsBuf ( Agi_Man_t *  p, int  i  )

inlinestatic

Definition at line 81 of file giaAgi.c.

{ return Agi_ObjLit0(p, i) == Agi_ObjLit1(p, i);          } 

static int Agi_ObjIsC0 ( Agi_Man_t *  p, int  i  )

inlinestatic

Definition at line 73 of file giaAgi.c.

{ return (i == 0);                                        } 

static int Agi_ObjIsCi ( Agi_Man_t *  p, int  i  )

inlinestatic

Definition at line 78 of file giaAgi.c.

{ return (p->pObjs[i] & AGI_RO) == AGI_RO;                } 

static int Agi_ObjIsCo ( Agi_Man_t *  p, int  i  )

inlinestatic

Definition at line 79 of file giaAgi.c.

{ return (p->pObjs[i] & AGI_RO) == AGI_PO;                } 

static int Agi_ObjIsMaj ( Agi_Man_t *  p, int  i  )

inlinestatic

Definition at line 85 of file giaAgi.c.

{ return Agi_ObjIsXor(p, i) && ~Agi_ObjLit2(p, i);        } 

static int Agi_ObjIsMux ( Agi_Man_t *  p, int  i  )

inlinestatic

Definition at line 84 of file giaAgi.c.

{ return Agi_ObjIsAnd(p, i) && ~Agi_ObjLit2(p, i);        }

static int Agi_ObjIsNode ( Agi_Man_t *  p, int  i  )

inlinestatic

Definition at line 80 of file giaAgi.c.

{ return p->pObjs[i] < AGI_C0;                            } 

static int Agi_ObjIsPi ( Agi_Man_t *  p, int  i  )

inlinestatic

Definition at line 74 of file giaAgi.c.

{ return (p->pObjs[i] & AGI_PI) == AGI_PI;                } 

static int Agi_ObjIsPo ( Agi_Man_t *  p, int  i  )

inlinestatic

Definition at line 76 of file giaAgi.c.

{ return (p->pObjs[i] & AGI_PI) == AGI_PO;                } 

static int Agi_ObjIsRi ( Agi_Man_t *  p, int  i  )

inlinestatic

Definition at line 77 of file giaAgi.c.

{ return (p->pObjs[i] & AGI_PI) == AGI_RI;                } 

static int Agi_ObjIsRo ( Agi_Man_t *  p, int  i  )

inlinestatic

Definition at line 75 of file giaAgi.c.

{ return (p->pObjs[i] & AGI_PI) == AGI_RO;                } 

static int Agi_ObjIsXor ( Agi_Man_t *  p, int  i  )

inlinestatic

Definition at line 83 of file giaAgi.c.

{ return Agi_ObjIsNode(p, i) && Agi_ObjLit0(p, i) > Agi_ObjLit1(p, i);  } 

static unsigned Agi_ObjLit0 ( Agi_Man_t *  p, int  i  )

inlinestatic

Definition at line 63 of file giaAgi.c.

{ return (unsigned)(p->pObjs[i]);                         } 

static unsigned Agi_ObjLit1 ( Agi_Man_t *  p, int  i  )

inlinestatic

Definition at line 64 of file giaAgi.c.

{ return (unsigned)(p->pObjs[i] >> 32);                   } 

static unsigned Agi_ObjLit2 ( Agi_Man_t *  p, int  i  )

inlinestatic

Definition at line 65 of file giaAgi.c.

{ return p->pThird[i];                                    } 

static void Agi_ObjSetLit0 ( Agi_Man_t *  p, int  i, unsigned  l  )

inlinestatic

Definition at line 69 of file giaAgi.c.

{ p->pObjs[i] = (p->pObjs[i] & AGI_M1) | (word)l;         } 

static void Agi_ObjSetLit1 ( Agi_Man_t *  p, int  i, unsigned  l  )

inlinestatic

Definition at line 70 of file giaAgi.c.

{ p->pObjs[i] = (p->pObjs[i] & AGI_M0) | ((word)l << 32); } 

static void Agi_ObjSetLit2 ( Agi_Man_t *  p, int  i, unsigned  l  )

inlinestatic

Definition at line 71 of file giaAgi.c.

{ p->pThird[i] = l;                                       }  

static int Agi_ObjVar0 ( Agi_Man_t *  p, int  i  )

inlinestatic

Definition at line 66 of file giaAgi.c.

{ return Agi_ObjLit0(p, i) >> 1;                          } 

static int Agi_ObjVar1 ( Agi_Man_t *  p, int  i  )

inlinestatic

Definition at line 67 of file giaAgi.c.

{ return Agi_ObjLit1(p, i) >> 1;                          } 

static int Agi_ObjVar2 ( Agi_Man_t *  p, int  i  )

inlinestatic

Definition at line 68 of file giaAgi.c.

{ return Agi_ObjLit2(p, i) >> 1;                          }