simSymStr.c File Reference

#include "base/abc/abc.h"
#include "sim.h"

Include dependency graph for simSymStr.c:

Go to the source code of this file.

Macros
#define	SIM_READ_SYMMS(pNode)
	DECLARATIONS ///.
#define	SIM_SET_SYMMS(pNode, vVect)

Functions
void	Sim_SymmsStructCompute (Abc_Ntk_t *pNtk, Vec_Ptr_t *vMatrs, Vec_Ptr_t *vSuppFun)
	FUNCTION DEFINITIONS ///.

Macro Definition Documentation

SIM_READ_SYMMS

#define SIM_READ_SYMMS

(

pNode

)

Value:

((Vec_Int_t *)pNode->pCopy)

DECLARATIONS ///.

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

FileName [simSymStr.c]

SystemName [ABC: Logic synthesis and verification system.]

PackageName [Network and node package.]

Synopsis [Structural detection of symmetries.]

Author [Alan Mishchenko]

Affiliation [UC Berkeley]

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

Revision [

Id

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

]

Definition at line 31 of file simSymStr.c.

SIM_SET_SYMMS

#define SIM_SET_SYMMS	(		pNode,
			vVect )

Value:

(pNode->pCopy = (Abc_Obj_t *)(vVect))

Definition at line 32 of file simSymStr.c.

Function Documentation

Sim_SymmsStructCompute()

void Sim_SymmsStructCompute	(	Abc_Ntk_t *	pNtk,
		Vec_Ptr_t *	vMatrs,
		Vec_Ptr_t *	vSuppFun )

FUNCTION DEFINITIONS ///.

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

Synopsis [Computes symmetries for a single output function.]

Description []

SideEffects []

SeeAlso []

Definition at line 61 of file simSymStr.c.

{
    Vec_Ptr_t * vNodes;
    Abc_Obj_t * pTemp;
    int * pMap, i;
 
    assert( Abc_NtkCiNum(pNtk) + 10 < (1<<16) );
 
    // get the structural support
    pNtk->vSupps = Sim_ComputeStrSupp( pNtk );
    // set elementary info for the CIs
    Abc_NtkForEachCi( pNtk, pTemp, i )
        SIM_SET_SYMMS( pTemp, Vec_IntAlloc(0) );
    // create the map of CI ids into their numbers
    pMap = Sim_SymmsCreateMap( pNtk );
    // collect the nodes in the TFI cone of this output
    vNodes = Abc_NtkDfs( pNtk, 0 );
    Vec_PtrForEachEntry( Abc_Obj_t *, vNodes, pTemp, i )
    {
//        if ( Abc_NodeIsConst(pTemp) )
//            continue;
        Sim_SymmsStructComputeOne( pNtk, pTemp, pMap );
    }
    // collect the results for the COs;
    Abc_NtkForEachCo( pNtk, pTemp, i )
    {
//printf( "Output %d:\n", i );
        pTemp = Abc_ObjFanin0(pTemp);
        if ( Abc_ObjIsCi(pTemp) || Abc_AigNodeIsConst(pTemp) )
            continue;
        Sim_SymmsTransferToMatrix( (Extra_BitMat_t *)Vec_PtrEntry(vMatrs, i), SIM_READ_SYMMS(pTemp), (unsigned *)Vec_PtrEntry(vSuppFun, i) );
    }
    // clean the intermediate results
    Sim_UtilInfoFree( pNtk->vSupps );
    pNtk->vSupps = NULL;
    Abc_NtkForEachCi( pNtk, pTemp, i )
        Vec_IntFree( SIM_READ_SYMMS(pTemp) );
    Vec_PtrForEachEntry( Abc_Obj_t *, vNodes, pTemp, i )
//        if ( !Abc_NodeIsConst(pTemp) )
            Vec_IntFree( SIM_READ_SYMMS(pTemp) );
    Vec_PtrFree( vNodes );
    ABC_FREE( pMap );
}

Here is the call graph for this function:

Here is the caller graph for this function: