superAnd.c File Reference

#include "superInt.h"

Include dependency graph for superAnd.c:

Go to the source code of this file.

Classes
struct	Super2_ManStruct_t_
struct	Super2_LibStruct_t_
struct	Super2_GateStruct_t_

Macros
#define	SUPER_MASK(n)
	DECLARATIONS ///.
#define	SUPER_FULL   (~((unsigned)0))
#define	Super2_IsComplement(p)
#define	Super2_Regular(p)
#define	Super2_Not(p)
#define	Super2_NotCond(p, c)
#define	Super2_LibForEachGate(Lib, Gate)
#define	Super2_LibForEachGate2(Lib, Gate2)

Typedefs
typedef struct Super2_ManStruct_t_	Super2_Man_t
typedef struct Super2_LibStruct_t_	Super2_Lib_t
typedef struct Super2_GateStruct_t_	Super2_Gate_t

Functions
void	Super2_Precompute (int nInputs, int nLevels, int fVerbose)
	FUNCTION DEFINITIONS ///.

Macro Definition Documentation

Super2_IsComplement

#define Super2_IsComplement

(

p

)

Value:

(((int)((ABC_PTRUINT_T) (p) & 01)))

Definition at line 67 of file superAnd.c.

Super2_LibForEachGate

#define Super2_LibForEachGate	(		Lib,
			Gate )

Value:

    for ( Lib->i = 0;                                             \
          Lib->i < Lib->nGates && (Gate = Lib->pGates[Lib->i]);   \
          Lib->i++ )

Definition at line 73 of file superAnd.c.

#define Super2_LibForEachGate( Lib, Gate )                        \
    for ( Lib->i = 0;                                             \
          Lib->i < Lib->nGates && (Gate = Lib->pGates[Lib->i]);   \
          Lib->i++ )

Super2_LibForEachGate2

#define Super2_LibForEachGate2	(		Lib,
			Gate2 )

Value:

    for ( Lib->k = 0;                                             \
          Lib->k < Lib->i && (Gate2 = Lib->pGates[Lib->k]);       \
          Lib->k++ )

Definition at line 77 of file superAnd.c.

#define Super2_LibForEachGate2( Lib, Gate2 )                      \
    for ( Lib->k = 0;                                             \
          Lib->k < Lib->i && (Gate2 = Lib->pGates[Lib->k]);       \
          Lib->k++ )

Super2_Not

#define Super2_Not

(

p

)

Value:

((Super2_Gate_t *)((ABC_PTRUINT_T)(p) ^ 01))

Definition at line 69 of file superAnd.c.

Super2_NotCond

#define Super2_NotCond	(		p,
			c )

Value:

((Super2_Gate_t *)((ABC_PTRUINT_T)(p) ^ (c)))

Definition at line 70 of file superAnd.c.

Super2_Regular

#define Super2_Regular

(

p

)

Value:

((Super2_Gate_t *)((ABC_PTRUINT_T)(p) & ~01))

Definition at line 68 of file superAnd.c.

SUPER_FULL

#define SUPER_FULL   (~((unsigned)0))

Definition at line 30 of file superAnd.c.

SUPER_MASK

#define SUPER_MASK

(

n

)

Value:

((~((unsigned)0)) >> (32-n))

DECLARATIONS ///.

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

FileName [superAnd.c]

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

Synopsis [Pre-computation of supergates.]

Author [MVSIS Group]

Affiliation [UC Berkeley]

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

Revision [

Id

superAnd.c,v 1.3 2004/06/28 14:20:25 alanmi Exp

]

Definition at line 29 of file superAnd.c.

Typedef Documentation

Super2_Gate_t

typedef struct Super2_GateStruct_t_ Super2_Gate_t

Definition at line 35 of file superAnd.c.

Super2_Lib_t

typedef struct Super2_LibStruct_t_ Super2_Lib_t

Definition at line 34 of file superAnd.c.

Super2_Man_t

typedef struct Super2_ManStruct_t_ Super2_Man_t

Definition at line 33 of file superAnd.c.

Function Documentation

Super2_Precompute()

void Super2_Precompute	(	int	nInputs,
		int	nLevels,
		int	fVerbose )

FUNCTION DEFINITIONS ///.

INCLUDES ///.

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

Synopsis [Precomputes the library of AND2 gates.]

Description []

SideEffects []

SeeAlso []

Definition at line 113 of file superAnd.c.

{
    Super2_Man_t * pMan;
    Super2_Lib_t * pLibCur, * pLibNext;
    int Level;
    abctime clk;
 
    assert( nInputs < 6 );
 
    // start the manager
    pMan = Super2_ManStart();
 
    // get the starting supergates
    pLibCur = Super2_LibFirst( pMan, nInputs );
 
    // perform the computation of supergates
printf( "Computing supergates for %d inputs and %d levels:\n", nInputs, nLevels );
    for ( Level = 1; Level <= nLevels; Level++ )
    {
clk = Abc_Clock();
        pLibNext = Super2_LibCompute( pMan, pLibCur );
        pLibNext->nLevels = Level;
        Super2_LibStop( pLibCur );
        pLibCur = pLibNext;
printf( "Level %d:  Tried = %7d.  Computed = %7d.  ", Level, pMan->nTried, pLibCur->nGates );
ABC_PRT( "Runtime", Abc_Clock() - clk );
fflush( stdout );
    }
 
printf( "Writing the output file...\n" );
fflush( stdout );
    // write them into a file
    Super2_LibWrite( pLibCur );
    Super2_LibStop( pLibCur );
 
    // stop the manager
    Super2_ManStop( pMan );
}