fncint.h

主要进行大规模的电路综合

/**CFile****************************************************************

  FileName    [fncInt.h]

  PackageName [MVSIS 2.0: Multi-valued logic synthesis system.]

  Synopsis    [Represetation of functionality in MVSIS.]

  Author      [MVSIS Group]
  
  Affiliation [UC Berkeley]

  Date        [Ver. 1.0. Started - February 1, 2003.]

  Revision    [$Id: fncInt.h,v 1.12 2003/05/27 23:15:05 alanmi Exp $]

***********************************************************************/

#ifndef __FNC_INT_H__
#define __FNC_INT_H__

////////////////////////////////////////////////////////////////////////
///                          INCLUDES                                ///
////////////////////////////////////////////////////////////////////////

#include "mv.h"
#include "vmInt.h"
#include "vmxInt.h"
#include "mvrInt.h"

////////////////////////////////////////////////////////////////////////
///                         PARAMETERS                               ///
////////////////////////////////////////////////////////////////////////

////////////////////////////////////////////////////////////////////////
///                    STRUCTURE DEFINITIONS                         ///
////////////////////////////////////////////////////////////////////////

struct FncManagerStruct
{
    Mvr_Manager_t *     pManMvr;      // the Mvr manager (contains local BDD, perm and reo managers)
    DdManager *         pDdGlo;       // DD manager for global MDDs
    Vm_Manager_t *      pManVm;       // the variable map manager
    Vmx_Manager_t *     pManVmx;      // the extended variable map manager
    Vmx_VarMap_t *      pMapGlo;      // the ext. var map for global MDDs
    Mvc_Manager_t *     pManMvc;      // the MVC manager
    int                 nRefs;        // the reference counter of the manager
};

struct FncFunctionStruct
{
    Vm_VarMap_t *       pVm;          // the variable map
    Cvr_Cover_t *       pCvr;         // the MV SOP
    Mvr_Relation_t *    pMvr;         // the local MDD and MV relation
    DdNode **           pGlo;         // the global BDDs for each i-set
};

////////////////////////////////////////////////////////////////////////
///                       MACRO DEFITIONS                            ///
////////////////////////////////////////////////////////////////////////

////////////////////////////////////////////////////////////////////////
///                     FUNCTION DEFITIONS                           ///
////////////////////////////////////////////////////////////////////////

/*=== file.c ====================================================*/

////////////////////////////////////////////////////////////////////////
///                       END OF FILE                                ///
////////////////////////////////////////////////////////////////////////

#endif