ABC: A System for Sequential Synthesis and Verification
 
Loading...
Searching...
No Matches
Mio_LibraryStruct_t_ Struct Reference

STRUCTURE DEFINITIONS ///. More...

#include <mioInt.h>

Collaboration diagram for Mio_LibraryStruct_t_:

Public Attributes

char * pName
 
char * pFileName
 
int nGates
 
Mio_Gate_t ** ppGates0
 
Mio_Gate_t ** ppGatesName
 
Mio_Gate_tpGates
 
Mio_Gate_tpGate0
 
Mio_Gate_tpGate1
 
Mio_Gate_tpGateBuf
 
Mio_Gate_tpGateInv
 
Mio_Gate_tpGateNand2
 
Mio_Gate_tpGateAnd2
 
Mio_Gate_tpGateNor2
 
Mio_Gate_tpGateOr2
 
st__tabletName2Gate
 
Mem_Flex_tpMmFlex
 
Vec_Str_tvCube
 
int fPinFilter
 
int fPinPerm
 
int fPinQuick
 
Vec_Mem_tvTtMem
 
Vec_Wec_tvTt2Match
 
Mio_Cell2_tpCells
 
int nCells
 
Vec_Ptr_tvNames
 
Vec_Wrd_tvTruths
 
Vec_Int_tvTt2Match4
 
Vec_Int_tvConfigs
 
Vec_Mem_tvTtMem2 [3]
 
Vec_Int_tvTt2Match2 [3]
 

Detailed Description

STRUCTURE DEFINITIONS ///.

Definition at line 61 of file mioInt.h.

Member Data Documentation

◆ fPinFilter

int Mio_LibraryStruct_t_::fPinFilter

Definition at line 81 of file mioInt.h.

◆ fPinPerm

int Mio_LibraryStruct_t_::fPinPerm

Definition at line 82 of file mioInt.h.

◆ fPinQuick

int Mio_LibraryStruct_t_::fPinQuick

Definition at line 83 of file mioInt.h.

◆ nCells

int Mio_LibraryStruct_t_::nCells

Definition at line 87 of file mioInt.h.

◆ nGates

int Mio_LibraryStruct_t_::nGates

Definition at line 65 of file mioInt.h.

◆ pCells

Mio_Cell2_t* Mio_LibraryStruct_t_::pCells

Definition at line 86 of file mioInt.h.

◆ pFileName

char* Mio_LibraryStruct_t_::pFileName

Definition at line 64 of file mioInt.h.

◆ pGate0

Mio_Gate_t* Mio_LibraryStruct_t_::pGate0

Definition at line 69 of file mioInt.h.

◆ pGate1

Mio_Gate_t* Mio_LibraryStruct_t_::pGate1

Definition at line 70 of file mioInt.h.

◆ pGateAnd2

Mio_Gate_t* Mio_LibraryStruct_t_::pGateAnd2

Definition at line 74 of file mioInt.h.

◆ pGateBuf

Mio_Gate_t* Mio_LibraryStruct_t_::pGateBuf

Definition at line 71 of file mioInt.h.

◆ pGateInv

Mio_Gate_t* Mio_LibraryStruct_t_::pGateInv

Definition at line 72 of file mioInt.h.

◆ pGateNand2

Mio_Gate_t* Mio_LibraryStruct_t_::pGateNand2

Definition at line 73 of file mioInt.h.

◆ pGateNor2

Mio_Gate_t* Mio_LibraryStruct_t_::pGateNor2

Definition at line 75 of file mioInt.h.

◆ pGateOr2

Mio_Gate_t* Mio_LibraryStruct_t_::pGateOr2

Definition at line 76 of file mioInt.h.

◆ pGates

Mio_Gate_t* Mio_LibraryStruct_t_::pGates

Definition at line 68 of file mioInt.h.

◆ pMmFlex

Mem_Flex_t* Mio_LibraryStruct_t_::pMmFlex

Definition at line 78 of file mioInt.h.

◆ pName

char* Mio_LibraryStruct_t_::pName

Definition at line 63 of file mioInt.h.

◆ ppGates0

Mio_Gate_t** Mio_LibraryStruct_t_::ppGates0

Definition at line 66 of file mioInt.h.

◆ ppGatesName

Mio_Gate_t** Mio_LibraryStruct_t_::ppGatesName

Definition at line 67 of file mioInt.h.

◆ tName2Gate

st__table* Mio_LibraryStruct_t_::tName2Gate

Definition at line 77 of file mioInt.h.

◆ vConfigs

Vec_Int_t* Mio_LibraryStruct_t_::vConfigs

Definition at line 91 of file mioInt.h.

◆ vCube

Vec_Str_t* Mio_LibraryStruct_t_::vCube

Definition at line 79 of file mioInt.h.

◆ vNames

Vec_Ptr_t* Mio_LibraryStruct_t_::vNames

Definition at line 88 of file mioInt.h.

◆ vTruths

Vec_Wrd_t* Mio_LibraryStruct_t_::vTruths

Definition at line 89 of file mioInt.h.

◆ vTt2Match

Vec_Wec_t* Mio_LibraryStruct_t_::vTt2Match

Definition at line 85 of file mioInt.h.

◆ vTt2Match2

Vec_Int_t* Mio_LibraryStruct_t_::vTt2Match2[3]

Definition at line 93 of file mioInt.h.

◆ vTt2Match4

Vec_Int_t* Mio_LibraryStruct_t_::vTt2Match4

Definition at line 90 of file mioInt.h.

◆ vTtMem

Vec_Mem_t* Mio_LibraryStruct_t_::vTtMem

Definition at line 84 of file mioInt.h.

◆ vTtMem2

Vec_Mem_t* Mio_LibraryStruct_t_::vTtMem2[3]

Definition at line 92 of file mioInt.h.


The documentation for this struct was generated from the following file: