rsb.h File Reference

Go to the source code of this file.

Typedefs
typedef typedefABC_NAMESPACE_HEADER_START struct Rsb_Man_t_	Rsb_Man_t
	INCLUDES ///. More...

Functions
Rsb_Man_t *	Rsb_ManAlloc (int nLeafMax, int nDivMax, int nDecMax, int fVerbose)
	MACRO DEFINITIONS ///. More...
void	Rsb_ManFree (Rsb_Man_t *p)
Vec_Int_t *	Rsb_ManGetFanins (Rsb_Man_t *p)
Vec_Int_t *	Rsb_ManGetFaninsOld (Rsb_Man_t *p)
int	Rsb_ManPerformResub6 (Rsb_Man_t *p, int nVars, word uTruth, Vec_Wrd_t *vDivTruths, word *puTruth0, word *puTruth1, int fVerbose)

Typedef Documentation

typedef typedefABC_NAMESPACE_HEADER_START struct Rsb_Man_t_ Rsb_Man_t

INCLUDES ///.

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

FileName [rsb.h]

SystemName [ABC: Logic synthesis and verification system.]

PackageName [Truth-table based resubstitution.]

Synopsis [External declarations.]

Author [Alan Mishchenko]

Affiliation [UC Berkeley]

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

Revision [

Id:

rsb.h,v 1.00 2005/06/20 00:00:00 alanmi Exp

]PARAMETERS ///BASIC TYPES ///

Definition at line 39 of file rsb.h.

Function Documentation

Rsb_Man_t* Rsb_ManAlloc	(	int	nLeafMax,
		int	nDivMax,
		int	nDecMax,
		int	fVerbose
	)

MACRO DEFINITIONS ///.

FUNCTION DECLARATIONS ///

MACRO DEFINITIONS ///.

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

FileName [rsbMan.c]

SystemName [ABC: Logic synthesis and verification system.]

PackageName [Truth-table based resubstitution.]

Synopsis [Manager maintenance.]

Author [Alan Mishchenko]

Affiliation [UC Berkeley]

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

Revision [

Id:

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

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

Synopsis []

Description []

SideEffects []

SeeAlso []

Definition at line 45 of file rsbMan.c.

{
    Rsb_Man_t * p;
    assert( nLeafMax <= 20 );
    assert( nDivMax  <= 200 );
    p = ABC_CALLOC( Rsb_Man_t, 1 );
    p->nLeafMax   = nLeafMax;
    p->nDivMax    = nDivMax;
    p->nDecMax    = nDecMax;
    p->fVerbose   = fVerbose;
    // decomposition
    p->vCexes     = Vec_WrdAlloc( nDivMax + 150 );
    p->vDecPats   = Vec_IntAlloc( Abc_TtWordNum(nLeafMax) );
    p->vFanins    = Vec_IntAlloc( 10 );
    p->vFaninsOld = Vec_IntAlloc( 10 );
    p->vTries     = Vec_IntAlloc( 10 );
    return p;
}

void Rsb_ManFree

(

Rsb_Man_t *

p

)

Definition at line 63 of file rsbMan.c.

{
    Vec_WrdFree( p->vCexes );
    Vec_IntFree( p->vDecPats );
    Vec_IntFree( p->vFanins );
    Vec_IntFree( p->vFaninsOld );
    Vec_IntFree( p->vTries );
    ABC_FREE( p );
}

Vec_Int_t* Rsb_ManGetFanins

(

Rsb_Man_t *

p

)

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

Synopsis []

Description []

SideEffects []

SeeAlso []

Definition at line 84 of file rsbMan.c.

{
    return p->vFanins;
}

Vec_Int_t* Rsb_ManGetFaninsOld

(

Rsb_Man_t *

p

)

Definition at line 88 of file rsbMan.c.

{
    return p->vFaninsOld;
}

int Rsb_ManPerformResub6	(	Rsb_Man_t *	p,
		int	nVarsAll,
		word	uTruth,
		Vec_Wrd_t *	vDivTruths,
		word *	puTruth0,
		word *	puTruth1,
		int	fVerbose
	)

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

Synopsis []

Description []

SideEffects []

SeeAlso []

Definition at line 694 of file rsbDec6.c.

{
    word * pGs[200];
    unsigned uTruthRes;
    int i, nVars, nGs = Vec_WrdSize(vDivTruths);
    assert( nGs < 200 );
    for ( i = 0; i < nGs; i++ )
        pGs[i] = Vec_WrdEntryP(vDivTruths,i);
    uTruthRes = Rsb_DecPerformInt( p, nVarsAll, &uTruth, pGs, nGs, nGs, 0 );
    if ( uTruthRes == 0 )
        return 0;

    if ( fVerbose )
        Rsb_DecPrintFunc( p, uTruthRes, &uTruth, pGs, nGs, nVarsAll );
    if ( fVerbose )
        Rsb_DecPrintTable( Vec_WrdArray(p->vCexes), nGs, nGs, p->vTries );

    nVars = Vec_IntSize(p->vFanins);
    *puTruth0 = Abc_Tt6Stretch( uTruthRes,                 nVars );
    *puTruth1 = Abc_Tt6Stretch( uTruthRes >> (1 << nVars), nVars );
    return 1;
}