mpm.h File Reference

#include <stdio.h>
#include <stdlib.h>
#include <string.h>
#include <assert.h>

Include dependency graph for mpm.h:

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

Go to the source code of this file.

Classes
struct	Mpm_LibLut_t_
struct	Mpm_Par_t_

Macros
#define	MPM_VAR_MAX   12
	INCLUDES ///.

Typedefs
typedef struct Mpm_LibLut_t_	Mpm_LibLut_t
	BASIC TYPES ///.
typedef struct Mpm_Par_t_	Mpm_Par_t

Functions
void	Mpm_ManSetParsDefault (Mpm_Par_t *p)
	MACRO DEFINITIONS ///.
Mpm_LibLut_t *	Mpm_LibLutSetSimple (int nLutSize)
	DECLARATIONS ///.
void	Mpm_LibLutFree (Mpm_LibLut_t *pLib)

Macro Definition Documentation

MPM_VAR_MAX

#define MPM_VAR_MAX   12

INCLUDES ///.

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

FileName [mpm.h]

SystemName [ABC: Logic synthesis and verification system.]

PackageName [Configurable technology mapper.]

Synopsis [External declarations.]

Author [Alan Mishchenko]

Affiliation [UC Berkeley]

Date [Ver. 1.0. Started - June 1, 2013.]

Revision [

Id

mpm.h,v 1.00 2013/06/01 00:00:00 alanmi Exp

] PARAMETERS ///

Definition at line 40 of file mpm.h.

Typedef Documentation

Mpm_LibLut_t

typedef struct Mpm_LibLut_t_ Mpm_LibLut_t

BASIC TYPES ///.

Definition at line 46 of file mpm.h.

Mpm_Par_t

typedef struct Mpm_Par_t_ Mpm_Par_t

Definition at line 56 of file mpm.h.

Function Documentation

Mpm_LibLutFree()

void Mpm_LibLutFree ( Mpm_LibLut_t * pLib )

extern

Definition at line 60 of file mpmLib.c.

{
    if ( pLib == NULL )
        return;
    ABC_FREE( pLib->pName );
    ABC_FREE( pLib );
}

Mpm_LibLutSetSimple()

Mpm_LibLut_t * Mpm_LibLutSetSimple ( int nLutSize )

extern

DECLARATIONS ///.

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

FileName [mpmLib.c]

SystemName [ABC: Logic synthesis and verification system.]

PackageName [Configurable technology mapper.]

Synopsis [DSD manipulation for 6-input functions.]

Author [Alan Mishchenko]

Affiliation [UC Berkeley]

Date [Ver. 1.0. Started - June 1, 2013.]

Revision [

Id

mpmLib.c,v 1.00 2013/06/01 00:00:00 alanmi Exp

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

Synopsis []

Description []

SideEffects []

SeeAlso []

Definition at line 45 of file mpmLib.c.

{
    Mpm_LibLut_t * pLib;
    int i, k;
    assert( nLutSize <= MPM_VAR_MAX );
    pLib = ABC_CALLOC( Mpm_LibLut_t, 1 );
    pLib->LutMax = nLutSize;
    for ( i = 1; i <= pLib->LutMax; i++ )
    {
        pLib->pLutAreas[i] = MPM_UNIT_AREA;
        for ( k = 0; k < i; k++ )
            pLib->pLutDelays[i][k] = MPM_UNIT_TIME;
    }
    return pLib;
}

Mpm_ManSetParsDefault()

void Mpm_ManSetParsDefault ( Mpm_Par_t * p )

extern

MACRO DEFINITIONS ///.

FUNCTION DECLARATIONS ///

MACRO DEFINITIONS ///.

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

FileName [mpmCore.c]

SystemName [ABC: Logic synthesis and verification system.]

PackageName [Configurable technology mapper.]

Synopsis [Core procedures.]

Author [Alan Mishchenko]

Affiliation [UC Berkeley]

Date [Ver. 1.0. Started - June 1, 2013.]

Revision [

Id

mpmCore.c,v 1.00 2013/06/01 00:00:00 alanmi Exp

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

Synopsis []

Description []

SideEffects []

SeeAlso []

Definition at line 46 of file mpmCore.c.

{
    memset( p, 0, sizeof(Mpm_Par_t) );
    p->pLib           =   NULL;  // LUT library
    p->nNumCuts       =      8;  // cut number
    p->fUseTruth      =      0;  // uses truth tables
    p->fUseDsd        =      0;  // uses DSDs
    p->fCutMin        =      0;  // enables cut minimization
    p->fOneRound      =      0;  // enabled one round
    p->DelayTarget    =     -1;  // delay target
    p->fDeriveLuts    =      0;  // use truth tables to derive AIG structure
    p->fMap4Cnf       =      0;  // mapping for CNF
    p->fMap4Aig       =      0;  // mapping for AIG
    p->fMap4Gates     =      0;  // mapping for gates
    p->fVerbose       =      0;  // verbose output
    p->fVeryVerbose   =      0;  // verbose output
}

Here is the call graph for this function: