rsb.h File Reference

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

Go to the source code of this file.

Typedefs
typedef typedefABC_NAMESPACE_HEADER_START struct Rsb_Man_t_	Rsb_Man_t
	INCLUDES ///.

Functions
Rsb_Man_t *	Rsb_ManAlloc (int nLeafMax, int nDivMax, int nDecMax, int fVerbose)
	MACRO DEFINITIONS ///.
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

Rsb_Man_t

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_ManAlloc()

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

extern

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

Here is the caller graph for this function:

Rsb_ManFree()

void Rsb_ManFree ( Rsb_Man_t * p )

extern

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

Here is the caller graph for this function:

Rsb_ManGetFanins()

Vec_Int_t * Rsb_ManGetFanins ( Rsb_Man_t * p )

extern

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

Synopsis []

Description []

SideEffects []

SeeAlso []

Definition at line 84 of file rsbMan.c.

{
    return p->vFanins;
}

Here is the caller graph for this function:

Rsb_ManGetFaninsOld()

Vec_Int_t * Rsb_ManGetFaninsOld ( Rsb_Man_t * p )

extern

Definition at line 88 of file rsbMan.c.

{
    return p->vFaninsOld;
}

Rsb_ManPerformResub6()

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

extern

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

Here is the call graph for this function:

Here is the caller graph for this function: