mpm.h File Reference

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

Go to the source code of this file.

Data Structures
struct	Mpm_LibLut_t_
struct	Mpm_Par_t_

Macros
#define	MPM_VAR_MAX   12
	INCLUDES ///. More...

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

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

Macro Definition Documentation

#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

typedef struct Mpm_LibLut_t_ Mpm_LibLut_t

BASIC TYPES ///.

Definition at line 46 of file mpm.h.

typedef struct Mpm_Par_t_ Mpm_Par_t

Definition at line 56 of file mpm.h.

Function Documentation

void Mpm_LibLutFree

(

Mpm_LibLut_t *

pLib

)

Definition at line 60 of file mpmLib.c.

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

Mpm_LibLut_t* Mpm_LibLutSetSimple

(

int

nLutSize

)

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

void Mpm_ManSetParsDefault

(

Mpm_Par_t *

p

)

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
}