#include "mioInt.h"
#include "bdd/parse/parse.h"

Include dependency graph for mioForm.c:

Macros
#define	MIO_SYMB_AND '*'
	DECLARATIONS ///.

#define	MIO_SYMB_AND2 '&'

#define	MIO_SYMB_OR '+'

#define	MIO_SYMB_OR2 '\|'

#define	MIO_SYMB_XOR '^'

#define	MIO_SYMB_NOT '!'

#define	MIO_SYMB_AFTNOT '\''

#define	MIO_SYMB_OPEN '('

#define	MIO_SYMB_CLOSE ')'

Functions
int	Mio_LibraryParseFormulas (Mio_Library_t *pLib)
	FUNCTION DEFINITIONS ///.

char *	Mio_SopRegister (Mem_Flex_t pMan, char pName)

Macro Definition Documentation

◆ MIO_SYMB_AFTNOT

#define MIO_SYMB_AFTNOT '\''

Definition at line 36 of file mioForm.c.

◆ MIO_SYMB_AND

#define MIO_SYMB_AND '*'

DECLARATIONS ///.

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

FileName [mioForm.c]

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

Synopsis [Parsing equestion formula.]

Author [MVSIS Group]

Affiliation [UC Berkeley]

Date [Ver. 1.0. Started - September 8, 2003.]

Revision [

Id: mioForm.c,v 1.4 2004/06/28 14:20:25 alanmi Exp

]

Definition at line 30 of file mioForm.c.

◆ MIO_SYMB_AND2

#define MIO_SYMB_AND2 '&'

Definition at line 31 of file mioForm.c.

◆ MIO_SYMB_CLOSE

#define MIO_SYMB_CLOSE ')'

Definition at line 38 of file mioForm.c.

◆ MIO_SYMB_NOT

#define MIO_SYMB_NOT '!'

Definition at line 35 of file mioForm.c.

◆ MIO_SYMB_OPEN

#define MIO_SYMB_OPEN '('

Definition at line 37 of file mioForm.c.

◆ MIO_SYMB_OR

#define MIO_SYMB_OR '+'

Definition at line 32 of file mioForm.c.

◆ MIO_SYMB_OR2

#define MIO_SYMB_OR2 '|'

Definition at line 33 of file mioForm.c.

◆ MIO_SYMB_XOR

#define MIO_SYMB_XOR '^'

Definition at line 34 of file mioForm.c.

Function Documentation

◆ Mio_LibraryParseFormulas()

int Mio_LibraryParseFormulas ( Mio_Library_t * pLib )

FUNCTION DEFINITIONS ///.

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

Synopsis [Deriving the functionality of the gates.]

Description []

SideEffects []

SeeAlso []

Definition at line 58 of file mioForm.c.

{
    Mio_Gate_t * pGate;
 
    // count the gates
    pLib->nGates = 0;
    Mio_LibraryForEachGate( pLib, pGate )
        pLib->nGates++;        
 
    // start a temporary BDD manager
    pLib->dd = Cudd_Init( 20, 0, CUDD_UNIQUE_SLOTS, CUDD_CACHE_SLOTS, 0 );
    // introduce ZDD variables
    Cudd_zddVarsFromBddVars( pLib->dd, 2 );
 
    // for each gate, derive its function
    Mio_LibraryForEachGate( pLib, pGate )
        if ( Mio_GateParseFormula( pGate ) )
            return 1;
    return 0;
}

◆ Mio_SopRegister()

char * Mio_SopRegister	(	Mem_Flex_t *	pMan,
		char *	pName )