sfmNtk.c File Reference

#include "sfmInt.h"

Include dependency graph for sfmNtk.c:

Go to the source code of this file.

Functions
ABC_NAMESPACE_IMPL_START void	Sfm_CheckConsistency (Vec_Wec_t *vFanins, int nPis, int nPos, Vec_Str_t *vFixed)
	DECLARATIONS ///.
void	Sfm_CreateFanout (Vec_Wec_t *vFanins, Vec_Wec_t *vFanouts)
void	Sfm_CreateLevel (Vec_Wec_t *vFanins, Vec_Int_t *vLevels, Vec_Str_t *vEmpty)
void	Sfm_CreateLevelR (Vec_Wec_t *vFanouts, Vec_Int_t *vLevelsR, Vec_Str_t *vEmpty)
Sfm_Ntk_t *	Sfm_NtkConstruct (Vec_Wec_t *vFanins, int nPis, int nPos, Vec_Str_t *vFixed, Vec_Str_t *vEmpty, Vec_Wrd_t *vTruths, Vec_Int_t *vStarts, Vec_Wrd_t *vTruths2)
void	Sfm_NtkPrepare (Sfm_Ntk_t *p)
void	Sfm_NtkFree (Sfm_Ntk_t *p)
void	Sfm_NtkRemoveFanin (Sfm_Ntk_t *p, int iNode, int iFanin)
void	Sfm_NtkAddFanin (Sfm_Ntk_t *p, int iNode, int iFanin)
void	Sfm_NtkDeleteObj_rec (Sfm_Ntk_t *p, int iNode)
void	Sfm_NtkUpdateLevel_rec (Sfm_Ntk_t *p, int iNode)
void	Sfm_NtkUpdateLevelR_rec (Sfm_Ntk_t *p, int iNode)
void	Sfm_NtkUpdate (Sfm_Ntk_t *p, int iNode, int f, int iFaninNew, word uTruth, word *pTruth)
Vec_Int_t *	Sfm_NodeReadFanins (Sfm_Ntk_t *p, int i)
word *	Sfm_NodeReadTruth (Sfm_Ntk_t *p, int i)
int	Sfm_NodeReadFixed (Sfm_Ntk_t *p, int i)
int	Sfm_NodeReadUsed (Sfm_Ntk_t *p, int i)

Function Documentation

Sfm_CheckConsistency()

ABC_NAMESPACE_IMPL_START void Sfm_CheckConsistency	(	Vec_Wec_t *	vFanins,
		int	nPis,
		int	nPos,
		Vec_Str_t *	vFixed )

DECLARATIONS ///.

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

FileName [sfmNtk.c]

SystemName [ABC: Logic synthesis and verification system.]

PackageName [SAT-based optimization using internal don't-cares.]

Synopsis [Logic network.]

Author [Alan Mishchenko]

Affiliation [UC Berkeley]

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

Revision [

Id

sfmNtk.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 sfmNtk.c.

{
    Vec_Int_t * vArray;
    int i, k, Fanin;
    // check entries
    Vec_WecForEachLevel( vFanins, vArray, i )
    {
        // PIs have no fanins
        if ( i < nPis )
            assert( Vec_IntSize(vArray) == 0 && Vec_StrEntry(vFixed, i) == (char)0 );
        // nodes are in a topo order; POs cannot be fanins
        Vec_IntForEachEntry( vArray, Fanin, k )
//            assert( Fanin < i && Fanin + nPos < Vec_WecSize(vFanins) );
            assert( Fanin + nPos < Vec_WecSize(vFanins) );
        // POs have one fanout
        if ( i + nPos >= Vec_WecSize(vFanins) )
            assert( Vec_IntSize(vArray) == 1 && Vec_StrEntry(vFixed, i) == (char)0 );
    }
}

Here is the caller graph for this function:

Sfm_CreateFanout()

void Sfm_CreateFanout	(	Vec_Wec_t *	vFanins,
		Vec_Wec_t *	vFanouts )

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

Synopsis []

Description []

SideEffects []

SeeAlso []

Definition at line 76 of file sfmNtk.c.

{
    Vec_Int_t * vArray;
    int i, k, Fanin;
    // count fanouts
    Vec_WecInit( vFanouts, Vec_WecSize(vFanins) );
    Vec_WecForEachLevel( vFanins, vArray, i )
        Vec_IntForEachEntry( vArray, Fanin, k )
            Vec_WecEntry( vFanouts, Fanin )->nSize++;
    // allocate fanins
    Vec_WecForEachLevel( vFanouts, vArray, i )
    {
        k = vArray->nSize; vArray->nSize = 0;
        Vec_IntGrow( vArray, k );
    }
    // add fanouts
    Vec_WecForEachLevel( vFanins, vArray, i )
        Vec_IntForEachEntry( vArray, Fanin, k )
            Vec_IntPush( Vec_WecEntry( vFanouts, Fanin ), i );
    // verify
    Vec_WecForEachLevel( vFanouts, vArray, i )
        assert( Vec_IntSize(vArray) == Vec_IntCap(vArray) );
}

Here is the caller graph for this function:

Sfm_CreateLevel()

void Sfm_CreateLevel	(	Vec_Wec_t *	vFanins,
		Vec_Int_t *	vLevels,
		Vec_Str_t *	vEmpty )

Definition at line 118 of file sfmNtk.c.

{
    Vec_Int_t * vArray;
    int i;
    assert( Vec_IntSize(vLevels) == 0 );
    Vec_IntFill( vLevels, Vec_WecSize(vFanins), 0 );
    Vec_WecForEachLevel( vFanins, vArray, i )
        Vec_IntWriteEntry( vLevels, i, Sfm_ObjLevelNew(vArray, vLevels, Sfm_ObjAddsLevelArray(vEmpty, i)) );
}

Here is the caller graph for this function:

Sfm_CreateLevelR()

void Sfm_CreateLevelR	(	Vec_Wec_t *	vFanouts,
		Vec_Int_t *	vLevelsR,
		Vec_Str_t *	vEmpty )

Definition at line 146 of file sfmNtk.c.

{
    Vec_Int_t * vArray;
    int i;
    assert( Vec_IntSize(vLevelsR) == 0 );
    Vec_IntFill( vLevelsR, Vec_WecSize(vFanouts), 0 );
    Vec_WecForEachLevelReverse( vFanouts, vArray, i )
        Vec_IntWriteEntry( vLevelsR, i, Sfm_ObjLevelNewR(vArray, vLevelsR, Sfm_ObjAddsLevelArray(vEmpty, i)) );
}

Here is the caller graph for this function:

Sfm_NodeReadFanins()

Vec_Int_t * Sfm_NodeReadFanins	(	Sfm_Ntk_t *	p,
		int	i )

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

Synopsis [Public APIs of this network.]

Description []

SideEffects []

SeeAlso []

Definition at line 370 of file sfmNtk.c.

{
    return Vec_WecEntry( &p->vFanins, i );
}

Here is the caller graph for this function:

Sfm_NodeReadFixed()

int Sfm_NodeReadFixed	(	Sfm_Ntk_t *	p,
		int	i )

Definition at line 378 of file sfmNtk.c.

{
    return (int)Vec_StrEntry( p->vFixed, i );
}

Here is the caller graph for this function:

Sfm_NodeReadTruth()

word * Sfm_NodeReadTruth	(	Sfm_Ntk_t *	p,
		int	i )

Definition at line 374 of file sfmNtk.c.

{
    return Sfm_ObjFaninNum(p, i) <= 6 ? Vec_WrdEntryP( p->vTruths, i ) : Vec_WrdEntryP( p->vTruths2, Vec_IntEntry(p->vStarts, i) );
}

Here is the caller graph for this function:

Sfm_NodeReadUsed()

int Sfm_NodeReadUsed	(	Sfm_Ntk_t *	p,
		int	i )

Definition at line 382 of file sfmNtk.c.

{
    return (Sfm_ObjFaninNum(p, i) > 0) || (Sfm_ObjFanoutNum(p, i) > 0);
}

Here is the caller graph for this function:

Sfm_NtkAddFanin()

void Sfm_NtkAddFanin	(	Sfm_Ntk_t *	p,
		int	iNode,
		int	iFanin )

Definition at line 277 of file sfmNtk.c.

{
    if ( iFanin < 0 )
        return;
    assert( Sfm_ObjIsNode(p, iNode) );
    assert( !Sfm_ObjIsPo(p, iFanin) );
    assert( Vec_IntFind( Sfm_ObjFiArray(p, iNode), iFanin ) == -1 );
    assert( Vec_IntFind( Sfm_ObjFoArray(p, iFanin), iNode ) == -1 );
    Vec_IntPush( Sfm_ObjFiArray(p, iNode), iFanin );
    Vec_IntPush( Sfm_ObjFoArray(p, iFanin), iNode );
}

Here is the caller graph for this function:

Sfm_NtkConstruct()

Sfm_Ntk_t * Sfm_NtkConstruct	(	Vec_Wec_t *	vFanins,
		int	nPis,
		int	nPos,
		Vec_Str_t *	vFixed,
		Vec_Str_t *	vEmpty,
		Vec_Wrd_t *	vTruths,
		Vec_Int_t *	vStarts,
		Vec_Wrd_t *	vTruths2 )

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

Synopsis []

Description []

SideEffects []

SeeAlso []

Definition at line 167 of file sfmNtk.c.

{
    Sfm_Ntk_t * p; int i;
    Sfm_CheckConsistency( vFanins, nPis, nPos, vFixed );
    p = ABC_CALLOC( Sfm_Ntk_t, 1 );
    p->nObjs    = Vec_WecSize( vFanins );
    p->nPis     = nPis;
    p->nPos     = nPos;
    p->nNodes   = p->nObjs - p->nPis - p->nPos;
    // user data
    p->vFixed   = vFixed;
    p->vEmpty   = vEmpty;
    p->vTruths  = vTruths;
    p->vFanins  = *vFanins;
    p->vStarts  = vStarts;
    p->vTruths2 = vTruths2;
    ABC_FREE( vFanins );
    // attributes
    Sfm_CreateFanout( &p->vFanins, &p->vFanouts );
    Sfm_CreateLevel( &p->vFanins, &p->vLevels, vEmpty );
    Sfm_CreateLevelR( &p->vFanouts, &p->vLevelsR, vEmpty );
    Vec_IntFill( &p->vCounts,   p->nObjs,  0 );
    Vec_IntFill( &p->vTravIds,  p->nObjs,  0 );
    Vec_IntFill( &p->vTravIds2, p->nObjs,  0 );
    Vec_IntFill( &p->vId2Var,   2*p->nObjs, -1 );
    Vec_IntFill( &p->vVar2Id,   2*p->nObjs, -1 );
    p->vCover   = Vec_IntAlloc( 1 << 16 );
    p->vCnfs    = Sfm_CreateCnf( p );
    // elementary truth tables
    for ( i = 0; i < SFM_FANIN_MAX; i++ )
        p->pTtElems[i] = p->TtElems[i];
    Abc_TtElemInit( p->pTtElems, SFM_FANIN_MAX );
    return p;
}

Here is the call graph for this function:

Here is the caller graph for this function:

Sfm_NtkDeleteObj_rec()

void Sfm_NtkDeleteObj_rec	(	Sfm_Ntk_t *	p,
		int	iNode )

Definition at line 288 of file sfmNtk.c.

{
    int i, iFanin;
    if ( Sfm_ObjFanoutNum(p, iNode) > 0 || Sfm_ObjIsPi(p, iNode) || Sfm_ObjIsFixed(p, iNode) )
        return;
    assert( Sfm_ObjIsNode(p, iNode) );
    Sfm_ObjForEachFanin( p, iNode, iFanin, i )
    {
        int RetValue = Vec_IntRemove( Sfm_ObjFoArray(p, iFanin), iNode );  assert( RetValue );
        Sfm_NtkDeleteObj_rec( p, iFanin );
    }
    Vec_IntClear( Sfm_ObjFiArray(p, iNode) );
    Vec_WrdWriteEntry( p->vTruths, iNode, (word)0 );
}

Here is the call graph for this function:

Here is the caller graph for this function:

Sfm_NtkFree()

void Sfm_NtkFree

(

Sfm_Ntk_t *

p

)

Definition at line 219 of file sfmNtk.c.

{
    // user data
    Vec_StrFree( p->vFixed );
    Vec_StrFreeP( &p->vEmpty );
    Vec_WrdFree( p->vTruths );
    Vec_WecErase( &p->vFanins );
    Vec_IntFree( p->vStarts );
    Vec_WrdFree( p->vTruths2 );
    // attributes
    Vec_WecErase( &p->vFanouts );
    ABC_FREE( p->vLevels.pArray );
    ABC_FREE( p->vLevelsR.pArray );
    ABC_FREE( p->vCounts.pArray );
    ABC_FREE( p->vTravIds.pArray );
    ABC_FREE( p->vTravIds2.pArray );
    ABC_FREE( p->vId2Var.pArray );
    ABC_FREE( p->vVar2Id.pArray );
    Vec_WecFree( p->vCnfs );
    Vec_IntFree( p->vCover );
    // other data
    Vec_IntFreeP( &p->vNodes );
    Vec_IntFreeP( &p->vDivs  );
    Vec_IntFreeP( &p->vRoots );
    Vec_IntFreeP( &p->vTfo   );
    Vec_WrdFreeP( &p->vDivCexes );
    Vec_IntFreeP( &p->vOrder );
    Vec_IntFreeP( &p->vDivVars );
    Vec_IntFreeP( &p->vDivIds );
    Vec_IntFreeP( &p->vLits  );
    Vec_IntFreeP( &p->vValues );
    Vec_WecFreeP( &p->vClauses );
    Vec_IntFreeP( &p->vFaninMap );
    if ( p->pSat  ) sat_solver_delete( p->pSat );
    ABC_FREE( p );
}

Here is the call graph for this function:

Here is the caller graph for this function:

Sfm_NtkPrepare()

void Sfm_NtkPrepare

(

Sfm_Ntk_t *

p

)

Definition at line 201 of file sfmNtk.c.

{
    p->nLevelMax = Vec_IntFindMax(&p->vLevels) + p->pPars->nGrowthLevel;
    p->vNodes    = Vec_IntAlloc( 1000 );
    p->vDivs     = Vec_IntAlloc( 100 );
    p->vRoots    = Vec_IntAlloc( 1000 );
    p->vTfo      = Vec_IntAlloc( 1000 );
    p->vDivCexes = Vec_WrdStart( p->pPars->nWinSizeMax );
    p->vOrder    = Vec_IntAlloc( 100 );
    p->vDivVars  = Vec_IntAlloc( 100 );
    p->vDivIds   = Vec_IntAlloc( 1000 );
    p->vLits     = Vec_IntAlloc( 100 );
    p->vValues   = Vec_IntAlloc( 100 );
    p->vClauses  = Vec_WecAlloc( 100 );
    p->vFaninMap = Vec_IntAlloc( 10 );
    p->pSat      = sat_solver_new();
    sat_solver_setnvars( p->pSat, p->pPars->nWinSizeMax );
}

Here is the call graph for this function:

Here is the caller graph for this function:

Sfm_NtkRemoveFanin()

void Sfm_NtkRemoveFanin	(	Sfm_Ntk_t *	p,
		int	iNode,
		int	iFanin )

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

Synopsis [Performs resubstitution for the node.]

Description []

SideEffects []

SeeAlso []

Definition at line 267 of file sfmNtk.c.

{
    int RetValue;
    assert( Sfm_ObjIsNode(p, iNode) );
    assert( !Sfm_ObjIsPo(p, iFanin) );
    RetValue = Vec_IntRemove( Sfm_ObjFiArray(p, iNode), iFanin );
    assert( RetValue );
    RetValue = Vec_IntRemove( Sfm_ObjFoArray(p, iFanin), iNode );
    assert( RetValue );
}

Here is the caller graph for this function:

Sfm_NtkUpdate()

void Sfm_NtkUpdate	(	Sfm_Ntk_t *	p,
		int	iNode,
		int	f,
		int	iFaninNew,
		word	uTruth,
		word *	pTruth )

Definition at line 322 of file sfmNtk.c.

{
    int iFanin = Sfm_ObjFanin( p, iNode, f );
    int nWords = Abc_Truth6WordNum( Sfm_ObjFaninNum(p, iNode) - (int)(iFaninNew == -1) );
    assert( Sfm_ObjIsNode(p, iNode) );
    assert( iFanin != iFaninNew );
    assert( Sfm_ObjFaninNum(p, iNode) <= SFM_FANIN_MAX );
    if ( Abc_TtIsConst0(pTruth, nWords) || Abc_TtIsConst1(pTruth, nWords) )
    {
        Sfm_ObjForEachFanin( p, iNode, iFanin, f )
        {
            int RetValue = Vec_IntRemove( Sfm_ObjFoArray(p, iFanin), iNode );  assert( RetValue );
            Sfm_NtkDeleteObj_rec( p, iFanin );
        }
        Vec_IntClear( Sfm_ObjFiArray(p, iNode) );
    }
    else
    {
        // replace old fanin by new fanin
        Sfm_NtkRemoveFanin( p, iNode, iFanin );
        Sfm_NtkAddFanin( p, iNode, iFaninNew );
        // recursively remove MFFC
        Sfm_NtkDeleteObj_rec( p, iFanin );
    }
    // update logic level
    Sfm_NtkUpdateLevel_rec( p, iNode );
    if ( iFaninNew != -1 )
        Sfm_NtkUpdateLevelR_rec( p, iFaninNew );
    if ( Sfm_ObjFanoutNum(p, iFanin) > 0 )
        Sfm_NtkUpdateLevelR_rec( p, iFanin );
    // update truth table
    Vec_WrdWriteEntry( p->vTruths, iNode, uTruth );
    if ( p->vTruths2 && Vec_WrdSize(p->vTruths2) )
        Abc_TtCopy( Vec_WrdEntryP(p->vTruths2, Vec_IntEntry(p->vStarts, iNode)), pTruth, nWords, 0 );
    Sfm_TruthToCnf( uTruth, pTruth, Sfm_ObjFaninNum(p, iNode), p->vCover, (Vec_Str_t *)Vec_WecEntry(p->vCnfs, iNode) );
}

Here is the call graph for this function:

Here is the caller graph for this function:

Sfm_NtkUpdateLevel_rec()

void Sfm_NtkUpdateLevel_rec	(	Sfm_Ntk_t *	p,
		int	iNode )

Definition at line 302 of file sfmNtk.c.

{
    int i, iFanout;
    int LevelNew = Sfm_ObjLevelNew( Sfm_ObjFiArray(p, iNode), &p->vLevels, Sfm_ObjAddsLevel(p, iNode) );
    if ( LevelNew == Sfm_ObjLevel(p, iNode) )
        return;
    Sfm_ObjSetLevel( p, iNode, LevelNew );
    Sfm_ObjForEachFanout( p, iNode, iFanout, i )
        Sfm_NtkUpdateLevel_rec( p, iFanout );
}

Here is the call graph for this function:

Here is the caller graph for this function:

Sfm_NtkUpdateLevelR_rec()

void Sfm_NtkUpdateLevelR_rec	(	Sfm_Ntk_t *	p,
		int	iNode )

Definition at line 312 of file sfmNtk.c.

{
    int i, iFanin;
    int LevelNew = Sfm_ObjLevelNewR( Sfm_ObjFoArray(p, iNode), &p->vLevelsR, Sfm_ObjAddsLevel(p, iNode) );
    if ( LevelNew == Sfm_ObjLevelR(p, iNode) )
        return;
    Sfm_ObjSetLevelR( p, iNode, LevelNew );
    Sfm_ObjForEachFanin( p, iNode, iFanin, i )
        Sfm_NtkUpdateLevelR_rec( p, iFanin );
}

Here is the call graph for this function:

Here is the caller graph for this function: