abc-master
|
#include "ivy.h"
Go to the source code of this file.
Data Structures | |
struct | Ivy_Dec_t_ |
Typedefs | |
typedef struct Ivy_Dec_t_ | Ivy_Dec_t |
Enumerations | |
enum | Ivy_DecType_t { IVY_DEC_PI, IVY_DEC_CONST1, IVY_DEC_BUF, IVY_DEC_AND, IVY_DEC_EXOR, IVY_DEC_MUX, IVY_DEC_MAJ, IVY_DEC_PRIME } |
DECLARATIONS ///. More... | |
Functions | |
static int | Ivy_DecToInt (Ivy_Dec_t m) |
static Ivy_Dec_t | Ivy_IntToDec (int m) |
static void | Ivy_DecClear (Ivy_Dec_t *pNode) |
static int | Ivy_TruthWordCountOnes (unsigned uWord) |
static int | Ivy_TruthCofactorIsConst (unsigned uTruth, int Var, int Cof, int Const) |
static int | Ivy_TruthCofactorIsOne (unsigned uTruth, int Var) |
static unsigned | Ivy_TruthCofactor (unsigned uTruth, int Var) |
static unsigned | Ivy_TruthCofactor2 (unsigned uTruth, int Var0, int Var1) |
static int | Ivy_TruthDepends (unsigned uTruth, int Var) |
static void | Ivy_DecSetVar (Ivy_Dec_t *pNode, int iNum, unsigned Var) |
static unsigned | Ivy_DecGetVar (Ivy_Dec_t *pNode, int iNum) |
static int | Ivy_TruthDecompose_rec (unsigned uTruth, Vec_Int_t *vTree) |
static int | Ivy_TruthRecognizeMuxMaj (unsigned uTruth, int *pSupp, int nSupp, Vec_Int_t *vTree) |
int | Ivy_TruthDsd (unsigned uTruth, Vec_Int_t *vTree) |
FUNCTION DEFINITIONS ///. More... | |
unsigned | Ivy_TruthDsdCompute_rec (int iNode, Vec_Int_t *vTree) |
unsigned | Ivy_TruthDsdCompute (Vec_Int_t *vTree) |
void | Ivy_TruthDsdPrint_rec (FILE *pFile, int iNode, Vec_Int_t *vTree) |
void | Ivy_TruthDsdPrint (FILE *pFile, Vec_Int_t *vTree) |
Ivy_Obj_t * | Ivy_ManDsdConstruct_rec (Ivy_Man_t *p, Vec_Int_t *vFront, int iNode, Vec_Int_t *vTree) |
Ivy_Obj_t * | Ivy_ManDsdConstruct (Ivy_Man_t *p, Vec_Int_t *vFront, Vec_Int_t *vTree) |
void | Ivy_TruthDsdComputePrint (unsigned uTruth) |
void | Ivy_TruthTestOne (unsigned uTruth) |
Variables | |
static unsigned | s_Masks [6][2] |
typedef struct Ivy_Dec_t_ Ivy_Dec_t |
enum Ivy_DecType_t |
DECLARATIONS ///.
CFile****************************************************************
FileName [ivyDsd.c]
SystemName [ABC: Logic synthesis and verification system.]
PackageName [And-Inverter Graph package.]
Synopsis [Disjoint-support decomposition.]
Author [Alan Mishchenko]
Affiliation [UC Berkeley]
Date [Ver. 1.0. Started - May 11, 2006.]
Revision [
]
Enumerator | |
---|---|
IVY_DEC_PI | |
IVY_DEC_CONST1 | |
IVY_DEC_BUF | |
IVY_DEC_AND | |
IVY_DEC_EXOR | |
IVY_DEC_MUX | |
IVY_DEC_MAJ | |
IVY_DEC_PRIME |
Definition at line 31 of file ivyDsd.c.
|
inlinestatic |
|
inlinestatic |
|
inlinestatic |
Definition at line 56 of file ivyDsd.c.
|
inlinestatic |
Definition at line 57 of file ivyDsd.c.
Function*************************************************************
Synopsis [Implement DSD in the AIG.]
Description []
SideEffects []
SeeAlso []
Definition at line 655 of file ivyDsd.c.
Ivy_Obj_t* Ivy_ManDsdConstruct_rec | ( | Ivy_Man_t * | p, |
Vec_Int_t * | vFront, | ||
int | iNode, | ||
Vec_Int_t * | vTree | ||
) |
Function*************************************************************
Synopsis [Implement DSD in the AIG.]
Description []
SideEffects []
SeeAlso []
Definition at line 586 of file ivyDsd.c.
|
inlinestatic |
|
inlinestatic |
|
inlinestatic |
|
inlinestatic |
|
static |
Function*************************************************************
Synopsis [Computes DSD of truth table.]
Description [Returns the number of topmost decomposition node.]
SideEffects []
SeeAlso []
Definition at line 219 of file ivyDsd.c.
|
inlinestatic |
int Ivy_TruthDsd | ( | unsigned | uTruth, |
Vec_Int_t * | vTree | ||
) |
FUNCTION DEFINITIONS ///.
Function*************************************************************
Synopsis [Computes DSD of truth table of 5 variables or less.]
Description [Returns 1 if the function is a constant or is fully DSD decomposable using AND/EXOR/MUX gates.]
SideEffects []
SeeAlso []
Definition at line 166 of file ivyDsd.c.
unsigned Ivy_TruthDsdCompute | ( | Vec_Int_t * | vTree | ) |
Function*************************************************************
Synopsis [Computes truth table of decomposition tree for verification.]
Description []
SideEffects []
SeeAlso []
Definition at line 478 of file ivyDsd.c.
unsigned Ivy_TruthDsdCompute_rec | ( | int | iNode, |
Vec_Int_t * | vTree | ||
) |
Function*************************************************************
Synopsis [Computes truth table of decomposition tree for verification.]
Description []
SideEffects []
SeeAlso []
Definition at line 404 of file ivyDsd.c.
void Ivy_TruthDsdComputePrint | ( | unsigned | uTruth | ) |
Function*************************************************************
Synopsis []
Description []
SideEffects []
SeeAlso []
Definition at line 678 of file ivyDsd.c.
void Ivy_TruthDsdPrint | ( | FILE * | pFile, |
Vec_Int_t * | vTree | ||
) |
Function*************************************************************
Synopsis [Prints the decomposition tree.]
Description []
SideEffects []
SeeAlso []
Definition at line 568 of file ivyDsd.c.
void Ivy_TruthDsdPrint_rec | ( | FILE * | pFile, |
int | iNode, | ||
Vec_Int_t * | vTree | ||
) |
Function*************************************************************
Synopsis [Prints the decomposition tree.]
Description []
SideEffects []
SeeAlso []
Definition at line 494 of file ivyDsd.c.
|
static |
Function*************************************************************
Synopsis [Returns a non-negative number if the truth table is a MUX.]
Description [If the truth table is a MUX, returns the variable as follows: first, control variable; second, positive cofactor; third, negative cofactor.]
SideEffects []
SeeAlso []
Definition at line 319 of file ivyDsd.c.
void Ivy_TruthTestOne | ( | unsigned | uTruth | ) |
Function*************************************************************
Synopsis []
Description []
SideEffects []
SeeAlso []
Definition at line 700 of file ivyDsd.c.
|
inlinestatic |