giaIso3.c File Reference

#include "gia.h"

Go to the source code of this file.

Functions
static unsigned	Gia_Iso3Node (Gia_Obj_t *pObj)
	FUNCTION DEFINITIONS ///. More...
void	Gia_Iso3Init (Gia_Man_t *p)
static void	Gia_Iso3ComputeEdge (Gia_Man_t *p, Gia_Obj_t *pObj, Gia_Obj_t *pFanin, int fCompl, Vec_Int_t *vSign)
void	Gia_Iso3Compute (Gia_Man_t *p, Vec_Int_t *vSign)
static Vec_Int_t *	Gia_Iso3Save (Gia_Man_t *p)
int	Gia_Iso3Unique (Vec_Int_t *vSign)
void	Gia_Iso3Test (Gia_Man_t *p)

Variables
static ABC_NAMESPACE_IMPL_START unsigned	Iso_Nodes [6] = { 0x04892ed6, 0xc2523d7d, 0xdc36cd2e, 0xf2db64f8, 0xde3126bb, 0xdebbdff0 }
	DECLARATIONS ///. More...
static unsigned	Iso_Fanio [2] = { 0x855ee0cf, 0x946e1b5f }
static unsigned	Iso_Compl [2] = { 0x8ba63e50, 0x14d87f02 }

Function Documentation

void Gia_Iso3Compute	(	Gia_Man_t *	p,
		Vec_Int_t *	vSign
	)

Definition at line 83 of file giaIso3.c.

{
    Gia_Obj_t * pObj;
    int i;
    Gia_ManForEachObj( p, pObj, i )
    {
        if ( Gia_ObjIsAnd(pObj) || Gia_ObjIsCo(pObj) )
            Gia_Iso3ComputeEdge( p, pObj, Gia_ObjFanin0(pObj), Gia_ObjFaninC0(pObj), vSign );
        if ( Gia_ObjIsAnd(pObj) )
            Gia_Iso3ComputeEdge( p, pObj, Gia_ObjFanin1(pObj), Gia_ObjFaninC1(pObj), vSign );
    }
}

static void Gia_Iso3ComputeEdge ( Gia_Man_t *  p, Gia_Obj_t *  pObj, Gia_Obj_t *  pFanin, int  fCompl, Vec_Int_t *  vSign  )

inlinestatic

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

Synopsis []

Description []

SideEffects []

SeeAlso []

Definition at line 78 of file giaIso3.c.

{
    pObj->Value   += Vec_IntEntry(vSign, Gia_ObjId(p, pFanin)) + Iso_Compl[fCompl] + Iso_Fanio[0];
    pFanin->Value += Vec_IntEntry(vSign, Gia_ObjId(p, pObj))   + Iso_Compl[fCompl] + Iso_Fanio[1];
}

void Gia_Iso3Init

(

Gia_Man_t *

p

)

Definition at line 59 of file giaIso3.c.

{
    Gia_Obj_t * pObj;
    int i;
    Gia_ManForEachObj( p, pObj, i )
        pObj->Value = Gia_Iso3Node( pObj );
}

static unsigned Gia_Iso3Node ( Gia_Obj_t *  pObj )

inlinestatic

FUNCTION DEFINITIONS ///.

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

Synopsis []

Description []

SideEffects []

SeeAlso []

Definition at line 49 of file giaIso3.c.

{
    if ( Gia_ObjIsAnd(pObj) )
        return Iso_Nodes[Gia_ObjFaninC0(pObj) + Gia_ObjFaninC1(pObj)];
    if ( Gia_ObjIsCi(pObj) )
        return Iso_Nodes[3];
    if ( Gia_ObjIsCo(pObj) )
        return Iso_Nodes[4];
    return Iso_Nodes[5];
}

static Vec_Int_t* Gia_Iso3Save ( Gia_Man_t *  p )

inlinestatic

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

Synopsis []

Description []

SideEffects []

SeeAlso []

Definition at line 107 of file giaIso3.c.

{
    Vec_Int_t * vSign;
    Gia_Obj_t * pObj;
    int i;
    vSign = Vec_IntAlloc( Gia_ManObjNum(p) );
    Gia_ManForEachObj( p, pObj, i )
        Vec_IntPush( vSign, pObj->Value );
    return vSign;
}

void Gia_Iso3Test

(

Gia_Man_t *

p

)

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

Synopsis []

Description []

SideEffects []

SeeAlso []

Definition at line 138 of file giaIso3.c.

{
    int nIterMax = 500;
    int i, Prev = -1, This; 
    abctime clk = Abc_Clock();
    Vec_Int_t * vSign = NULL;
    Gia_Iso3Init( p );
    for ( i = 0; i < nIterMax; i++ )
    {
        vSign = Gia_Iso3Save( p );
//        This = Gia_Iso3Unique( vSign );
        This = Vec_IntUniqueCount( vSign, 1, NULL );
        printf( "Iter %3d : %6d  out of %6d  ", i, This, Vec_IntSize(vSign) );
        Abc_PrintTime( 1, "Time", Abc_Clock() - clk );
        if ( This == Prev )
            break;
        Prev = This;
        Gia_Iso3Compute( p, vSign );
        Vec_IntFreeP( &vSign );
    }
    Vec_IntFreeP( &vSign );
}

int Gia_Iso3Unique

(

Vec_Int_t *

vSign

)

Definition at line 117 of file giaIso3.c.

{
    int nUnique;
    Vec_Int_t * vCopy = Vec_IntDup( vSign );
    Vec_IntUniqify( vCopy );
    nUnique = Vec_IntSize(vCopy);
    Vec_IntFree( vCopy );
    return nUnique;
}

Variable Documentation

unsigned Iso_Compl[2] = { 0x8ba63e50, 0x14d87f02 }

static

Definition at line 32 of file giaIso3.c.

unsigned Iso_Fanio[2] = { 0x855ee0cf, 0x946e1b5f }

static

Definition at line 31 of file giaIso3.c.

ABC_NAMESPACE_IMPL_START unsigned Iso_Nodes[6] = { 0x04892ed6, 0xc2523d7d, 0xdc36cd2e, 0xf2db64f8, 0xde3126bb, 0xdebbdff0 }

static

DECLARATIONS ///.

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

FileName [giaIso3.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:

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

]

Definition at line 30 of file giaIso3.c.