ABC: A System for Sequential Synthesis and Verification
 
Loading...
Searching...
No Matches
mioApi.c File Reference
#include "mioInt.h"
Include dependency graph for mioApi.c:

Go to the source code of this file.

Functions

ABC_NAMESPACE_IMPL_START char * Mio_LibraryReadName (Mio_Library_t *pLib)
 DECLARATIONS ///.
 
char * Mio_LibraryReadFileName (Mio_Library_t *pLib)
 
int Mio_LibraryReadGateNum (Mio_Library_t *pLib)
 
Mio_Gate_tMio_LibraryReadGates (Mio_Library_t *pLib)
 
Mio_Gate_t ** Mio_LibraryReadGateArray (Mio_Library_t *pLib)
 
Mio_Gate_tMio_LibraryReadGateById (Mio_Library_t *pLib, int Id)
 
Mio_Gate_tMio_LibraryReadBuf (Mio_Library_t *pLib)
 
Mio_Gate_tMio_LibraryReadInv (Mio_Library_t *pLib)
 
Mio_Gate_tMio_LibraryReadConst0 (Mio_Library_t *pLib)
 
Mio_Gate_tMio_LibraryReadConst1 (Mio_Library_t *pLib)
 
Mio_Gate_tMio_LibraryReadNand2 (Mio_Library_t *pLib)
 
Mio_Gate_tMio_LibraryReadAnd2 (Mio_Library_t *pLib)
 
Mio_Gate_tMio_LibraryReadNor2 (Mio_Library_t *pLib)
 
Mio_Gate_tMio_LibraryReadOr2 (Mio_Library_t *pLib)
 
float Mio_LibraryReadDelayInvRise (Mio_Library_t *pLib)
 
float Mio_LibraryReadDelayInvFall (Mio_Library_t *pLib)
 
float Mio_LibraryReadDelayInvMax (Mio_Library_t *pLib)
 
float Mio_LibraryReadDelayNand2Rise (Mio_Library_t *pLib)
 
float Mio_LibraryReadDelayNand2Fall (Mio_Library_t *pLib)
 
float Mio_LibraryReadDelayNand2Max (Mio_Library_t *pLib)
 
float Mio_LibraryReadDelayAnd2Max (Mio_Library_t *pLib)
 
float Mio_LibraryReadDelayAigNode (Mio_Library_t *pLib)
 
float Mio_LibraryReadAreaInv (Mio_Library_t *pLib)
 
float Mio_LibraryReadAreaBuf (Mio_Library_t *pLib)
 
float Mio_LibraryReadAreaNand2 (Mio_Library_t *pLib)
 
void Mio_LibrarySetName (Mio_Library_t *pLib, char *pName)
 
int Mio_LibraryReadGateNameMax (Mio_Library_t *pLib)
 
Mio_Gate_tMio_LibraryReadGateByName (Mio_Library_t *pLib, char *pName, char *pOutName)
 
Mio_Gate_tMio_LibraryReadGateByTruth (Mio_Library_t *pLib, word t)
 
char * Mio_LibraryReadSopByName (Mio_Library_t *pLib, char *pName)
 
char * Mio_GateReadName (Mio_Gate_t *pGate)
 
char * Mio_GateReadOutName (Mio_Gate_t *pGate)
 
double Mio_GateReadArea (Mio_Gate_t *pGate)
 
char * Mio_GateReadForm (Mio_Gate_t *pGate)
 
Mio_Pin_tMio_GateReadPins (Mio_Gate_t *pGate)
 
Mio_Library_tMio_GateReadLib (Mio_Gate_t *pGate)
 
Mio_Gate_tMio_GateReadNext (Mio_Gate_t *pGate)
 
Mio_Gate_tMio_GateReadTwin (Mio_Gate_t *pGate)
 
int Mio_GateReadPinNum (Mio_Gate_t *pGate)
 
double Mio_GateReadDelayMax (Mio_Gate_t *pGate)
 
char * Mio_GateReadSop (Mio_Gate_t *pGate)
 
Vec_Int_tMio_GateReadExpr (Mio_Gate_t *pGate)
 
word Mio_GateReadTruth (Mio_Gate_t *pGate)
 
wordMio_GateReadTruthP (Mio_Gate_t *pGate)
 
int Mio_GateReadValue (Mio_Gate_t *pGate)
 
int Mio_GateReadCell (Mio_Gate_t *pGate)
 
int Mio_GateReadProfile (Mio_Gate_t *pGate)
 
int Mio_GateReadProfile2 (Mio_Gate_t *pGate)
 
void Mio_GateSetValue (Mio_Gate_t *pGate, int Value)
 
void Mio_GateSetCell (Mio_Gate_t *pGate, int Cell)
 
void Mio_GateSetProfile (Mio_Gate_t *pGate, int Prof)
 
void Mio_GateSetProfile2 (Mio_Gate_t *pGate, int Prof)
 
void Mio_GateIncProfile2 (Mio_Gate_t *pGate)
 
void Mio_GateDecProfile2 (Mio_Gate_t *pGate)
 
void Mio_GateAddToProfile (Mio_Gate_t *pGate, int Prof)
 
void Mio_GateAddToProfile2 (Mio_Gate_t *pGate, int Prof)
 
int Mio_GateIsInv (Mio_Gate_t *pGate)
 
char * Mio_PinReadName (Mio_Pin_t *pPin)
 
Mio_PinPhase_t Mio_PinReadPhase (Mio_Pin_t *pPin)
 
double Mio_PinReadInputLoad (Mio_Pin_t *pPin)
 
double Mio_PinReadMaxLoad (Mio_Pin_t *pPin)
 
double Mio_PinReadDelayBlockRise (Mio_Pin_t *pPin)
 
double Mio_PinReadDelayFanoutRise (Mio_Pin_t *pPin)
 
double Mio_PinReadDelayBlockFall (Mio_Pin_t *pPin)
 
double Mio_PinReadDelayFanoutFall (Mio_Pin_t *pPin)
 
double Mio_PinReadDelayBlockMax (Mio_Pin_t *pPin)
 
Mio_Pin_tMio_PinReadNext (Mio_Pin_t *pPin)
 
char * Mio_GateReadPinName (Mio_Gate_t *pGate, int iPin)
 
float Mio_GateReadPinDelay (Mio_Gate_t *pGate, int iPin)
 

Function Documentation

◆ Mio_GateAddToProfile()

void Mio_GateAddToProfile ( Mio_Gate_t * pGate,
int Prof )

Definition at line 193 of file mioApi.c.

193{ pGate->Profile += Prof; }
Here is the caller graph for this function:

◆ Mio_GateAddToProfile2()

void Mio_GateAddToProfile2 ( Mio_Gate_t * pGate,
int Prof )

Definition at line 194 of file mioApi.c.

194{ pGate->Profile2 += Prof; }
Here is the caller graph for this function:

◆ Mio_GateDecProfile2()

void Mio_GateDecProfile2 ( Mio_Gate_t * pGate)

Definition at line 192 of file mioApi.c.

192{ pGate->Profile2--; }
Here is the caller graph for this function:

◆ Mio_GateIncProfile2()

void Mio_GateIncProfile2 ( Mio_Gate_t * pGate)

Definition at line 191 of file mioApi.c.

191{ pGate->Profile2++; }
Here is the caller graph for this function:

◆ Mio_GateIsInv()

int Mio_GateIsInv ( Mio_Gate_t * pGate)

Definition at line 195 of file mioApi.c.

195{ return pGate->uTruth == ABC_CONST(0x5555555555555555); }
#define ABC_CONST(number)
PARAMETERS ///.
Definition abc_global.h:240
Here is the caller graph for this function:

◆ Mio_GateReadArea()

double Mio_GateReadArea ( Mio_Gate_t * pGate)

Definition at line 171 of file mioApi.c.

171{ return pGate->dArea; }
Here is the caller graph for this function:

◆ Mio_GateReadCell()

int Mio_GateReadCell ( Mio_Gate_t * pGate)

Definition at line 184 of file mioApi.c.

184{ return pGate->Cell; }
Here is the caller graph for this function:

◆ Mio_GateReadDelayMax()

double Mio_GateReadDelayMax ( Mio_Gate_t * pGate)

Definition at line 178 of file mioApi.c.

178{ return pGate->dDelayMax; }
double dDelayMax
Definition mioInt.h:115
Here is the caller graph for this function:

◆ Mio_GateReadExpr()

Vec_Int_t * Mio_GateReadExpr ( Mio_Gate_t * pGate)

Definition at line 180 of file mioApi.c.

180{ return pGate->vExpr; }
Vec_Int_t * vExpr
Definition mioInt.h:117
Here is the caller graph for this function:

◆ Mio_GateReadForm()

char * Mio_GateReadForm ( Mio_Gate_t * pGate)

Definition at line 172 of file mioApi.c.

172{ return pGate->pForm; }
Here is the caller graph for this function:

◆ Mio_GateReadLib()

Mio_Library_t * Mio_GateReadLib ( Mio_Gate_t * pGate)

Definition at line 174 of file mioApi.c.

174{ return pGate->pLib; }
Mio_Library_t * pLib
Definition mioInt.h:105

◆ Mio_GateReadName()

char * Mio_GateReadName ( Mio_Gate_t * pGate)

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

Synopsis []

Description []

SideEffects []

SeeAlso []

Definition at line 169 of file mioApi.c.

169{ return pGate->pName; }
Here is the caller graph for this function:

◆ Mio_GateReadNext()

Mio_Gate_t * Mio_GateReadNext ( Mio_Gate_t * pGate)

Definition at line 175 of file mioApi.c.

175{ return pGate->pNext; }
Mio_Gate_t * pNext
Definition mioInt.h:107

◆ Mio_GateReadOutName()

char * Mio_GateReadOutName ( Mio_Gate_t * pGate)

Definition at line 170 of file mioApi.c.

170{ return pGate->pOutName; }
char * pOutName
Definition mioInt.h:103
Here is the caller graph for this function:

◆ Mio_GateReadPinDelay()

float Mio_GateReadPinDelay ( Mio_Gate_t * pGate,
int iPin )

Definition at line 239 of file mioApi.c.

240{
241 Mio_Pin_t * pPin;
242 int i = 0;
243 Mio_GateForEachPin( pGate, pPin )
244 if ( i++ == iPin )
245 return 0.5 * pPin->dDelayBlockRise + 0.5 * pPin->dDelayBlockFall;
246 return ABC_INFINITY;
247}
#define ABC_INFINITY
MACRO DEFINITIONS ///.
Definition abc_global.h:250
struct Mio_PinStruct_t_ Mio_Pin_t
Definition mio.h:44
#define Mio_GateForEachPin(Gate, Pin)
Definition mio.h:92
double dDelayBlockFall
Definition mioInt.h:131
double dDelayBlockRise
Definition mioInt.h:129
Here is the caller graph for this function:

◆ Mio_GateReadPinName()

char * Mio_GateReadPinName ( Mio_Gate_t * pGate,
int iPin )

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

Synopsis []

Description []

SideEffects []

SeeAlso []

Definition at line 230 of file mioApi.c.

231{
232 Mio_Pin_t * pPin;
233 int i = 0;
234 Mio_GateForEachPin( pGate, pPin )
235 if ( i++ == iPin )
236 return Mio_PinReadName(pPin);
237 return NULL;
238}
char * Mio_PinReadName(Mio_Pin_t *pPin)
Definition mioApi.c:208
Here is the call graph for this function:
Here is the caller graph for this function:

◆ Mio_GateReadPinNum()

int Mio_GateReadPinNum ( Mio_Gate_t * pGate)

Definition at line 177 of file mioApi.c.

177{ return pGate->nInputs; }
Here is the caller graph for this function:

◆ Mio_GateReadPins()

Mio_Pin_t * Mio_GateReadPins ( Mio_Gate_t * pGate)

Definition at line 173 of file mioApi.c.

173{ return pGate->pPins; }
Mio_Pin_t * pPins
Definition mioInt.h:102
Here is the caller graph for this function:

◆ Mio_GateReadProfile()

int Mio_GateReadProfile ( Mio_Gate_t * pGate)

Definition at line 185 of file mioApi.c.

185{ return pGate->Profile; }
Here is the caller graph for this function:

◆ Mio_GateReadProfile2()

int Mio_GateReadProfile2 ( Mio_Gate_t * pGate)

Definition at line 186 of file mioApi.c.

186{ return pGate->Profile2; }
Here is the caller graph for this function:

◆ Mio_GateReadSop()

char * Mio_GateReadSop ( Mio_Gate_t * pGate)

Definition at line 179 of file mioApi.c.

179{ return pGate->pSop; }
Here is the caller graph for this function:

◆ Mio_GateReadTruth()

word Mio_GateReadTruth ( Mio_Gate_t * pGate)

Definition at line 181 of file mioApi.c.

181{ return pGate->nInputs <= 6 ? pGate->uTruth : 0; }
Here is the caller graph for this function:

◆ Mio_GateReadTruthP()

word * Mio_GateReadTruthP ( Mio_Gate_t * pGate)

Definition at line 182 of file mioApi.c.

182{ return pGate->nInputs <= 6 ? &pGate->uTruth: pGate->pTruth; }
Here is the caller graph for this function:

◆ Mio_GateReadTwin()

Mio_Gate_t * Mio_GateReadTwin ( Mio_Gate_t * pGate)

Definition at line 176 of file mioApi.c.

176{ return pGate->pTwin; }
Mio_Gate_t * pTwin
Definition mioInt.h:108
Here is the caller graph for this function:

◆ Mio_GateReadValue()

int Mio_GateReadValue ( Mio_Gate_t * pGate)

Definition at line 183 of file mioApi.c.

183{ return pGate->Value; }
Here is the caller graph for this function:

◆ Mio_GateSetCell()

void Mio_GateSetCell ( Mio_Gate_t * pGate,
int Cell )

Definition at line 188 of file mioApi.c.

188{ pGate->Cell = Cell; }
Here is the caller graph for this function:

◆ Mio_GateSetProfile()

void Mio_GateSetProfile ( Mio_Gate_t * pGate,
int Prof )

Definition at line 189 of file mioApi.c.

189{ pGate->Profile = Prof; }
Here is the caller graph for this function:

◆ Mio_GateSetProfile2()

void Mio_GateSetProfile2 ( Mio_Gate_t * pGate,
int Prof )

Definition at line 190 of file mioApi.c.

190{ pGate->Profile2 = Prof; }
Here is the caller graph for this function:

◆ Mio_GateSetValue()

void Mio_GateSetValue ( Mio_Gate_t * pGate,
int Value )

Definition at line 187 of file mioApi.c.

187{ pGate->Value = Value; }
Here is the caller graph for this function:

◆ Mio_LibraryReadAnd2()

Mio_Gate_t * Mio_LibraryReadAnd2 ( Mio_Library_t * pLib)

Definition at line 54 of file mioApi.c.

54{ return pLib->pGateAnd2; }
Mio_Gate_t * pGateAnd2
Definition mioInt.h:74

◆ Mio_LibraryReadAreaBuf()

float Mio_LibraryReadAreaBuf ( Mio_Library_t * pLib)

Definition at line 66 of file mioApi.c.

66{ return (float)(pLib->pGateBuf? pLib->pGateBuf->dArea : 0.0); }
Mio_Gate_t * pGateBuf
Definition mioInt.h:71
Here is the caller graph for this function:

◆ Mio_LibraryReadAreaInv()

float Mio_LibraryReadAreaInv ( Mio_Library_t * pLib)

Definition at line 65 of file mioApi.c.

65{ return (float)(pLib->pGateInv? pLib->pGateInv->dArea : 0.0); }
Mio_Gate_t * pGateInv
Definition mioInt.h:72
Here is the caller graph for this function:

◆ Mio_LibraryReadAreaNand2()

float Mio_LibraryReadAreaNand2 ( Mio_Library_t * pLib)

Definition at line 67 of file mioApi.c.

67{ return (float)(pLib->pGateNand2? pLib->pGateNand2->dArea : 0.0); }
Mio_Gate_t * pGateNand2
Definition mioInt.h:73

◆ Mio_LibraryReadBuf()

Mio_Gate_t * Mio_LibraryReadBuf ( Mio_Library_t * pLib)

Definition at line 49 of file mioApi.c.

49{ return pLib->pGateBuf; }
Here is the caller graph for this function:

◆ Mio_LibraryReadConst0()

Mio_Gate_t * Mio_LibraryReadConst0 ( Mio_Library_t * pLib)

Definition at line 51 of file mioApi.c.

51{ return pLib->pGate0; }
Mio_Gate_t * pGate0
Definition mioInt.h:69
Here is the caller graph for this function:

◆ Mio_LibraryReadConst1()

Mio_Gate_t * Mio_LibraryReadConst1 ( Mio_Library_t * pLib)

Definition at line 52 of file mioApi.c.

52{ return pLib->pGate1; }
Mio_Gate_t * pGate1
Definition mioInt.h:70
Here is the caller graph for this function:

◆ Mio_LibraryReadDelayAigNode()

float Mio_LibraryReadDelayAigNode ( Mio_Library_t * pLib)

Definition at line 64 of file mioApi.c.

64{ return pLib->pGateAnd2 ? Mio_LibraryReadDelayAnd2Max(pLib) : Mio_LibraryReadDelayNand2Max(pLib); } // approximate delay of the AIG node
float Mio_LibraryReadDelayAnd2Max(Mio_Library_t *pLib)
Definition mioApi.c:63
float Mio_LibraryReadDelayNand2Max(Mio_Library_t *pLib)
Definition mioApi.c:62
Here is the call graph for this function:
Here is the caller graph for this function:

◆ Mio_LibraryReadDelayAnd2Max()

float Mio_LibraryReadDelayAnd2Max ( Mio_Library_t * pLib)

Definition at line 63 of file mioApi.c.

63{ return (float)(pLib->pGateAnd2? pLib->pGateAnd2->pPins->dDelayBlockMax : 0.0); }
double dDelayBlockMax
Definition mioInt.h:133
Here is the caller graph for this function:

◆ Mio_LibraryReadDelayInvFall()

float Mio_LibraryReadDelayInvFall ( Mio_Library_t * pLib)

Definition at line 58 of file mioApi.c.

58{ return (float)(pLib->pGateInv? pLib->pGateInv->pPins->dDelayBlockFall : 0.0); }
Here is the caller graph for this function:

◆ Mio_LibraryReadDelayInvMax()

float Mio_LibraryReadDelayInvMax ( Mio_Library_t * pLib)

Definition at line 59 of file mioApi.c.

59{ return (float)(pLib->pGateInv? pLib->pGateInv->pPins->dDelayBlockMax : 0.0); }
Here is the caller graph for this function:

◆ Mio_LibraryReadDelayInvRise()

float Mio_LibraryReadDelayInvRise ( Mio_Library_t * pLib)

Definition at line 57 of file mioApi.c.

57{ return (float)(pLib->pGateInv? pLib->pGateInv->pPins->dDelayBlockRise : 0.0); }
Here is the caller graph for this function:

◆ Mio_LibraryReadDelayNand2Fall()

float Mio_LibraryReadDelayNand2Fall ( Mio_Library_t * pLib)

Definition at line 61 of file mioApi.c.

61{ return (float)(pLib->pGateNand2? pLib->pGateNand2->pPins->dDelayBlockFall : 0.0); }

◆ Mio_LibraryReadDelayNand2Max()

float Mio_LibraryReadDelayNand2Max ( Mio_Library_t * pLib)

Definition at line 62 of file mioApi.c.

62{ return (float)(pLib->pGateNand2? pLib->pGateNand2->pPins->dDelayBlockMax : 0.0); }
Here is the caller graph for this function:

◆ Mio_LibraryReadDelayNand2Rise()

float Mio_LibraryReadDelayNand2Rise ( Mio_Library_t * pLib)

Definition at line 60 of file mioApi.c.

60{ return (float)(pLib->pGateNand2? pLib->pGateNand2->pPins->dDelayBlockRise : 0.0); }

◆ Mio_LibraryReadFileName()

char * Mio_LibraryReadFileName ( Mio_Library_t * pLib)

Definition at line 44 of file mioApi.c.

44{ return pLib->pFileName; }
Here is the caller graph for this function:

◆ Mio_LibraryReadGateArray()

Mio_Gate_t ** Mio_LibraryReadGateArray ( Mio_Library_t * pLib)

Definition at line 47 of file mioApi.c.

47{ return pLib->ppGatesName;}
Mio_Gate_t ** ppGatesName
Definition mioInt.h:67
Here is the caller graph for this function:

◆ Mio_LibraryReadGateById()

Mio_Gate_t * Mio_LibraryReadGateById ( Mio_Library_t * pLib,
int Id )

Definition at line 48 of file mioApi.c.

48{ assert( pLib->ppGates0[Id]->Cell == Id ); return pLib->ppGates0[Id];}
Mio_Gate_t ** ppGates0
Definition mioInt.h:66
#define assert(ex)
Definition util_old.h:213
Here is the caller graph for this function:

◆ Mio_LibraryReadGateByName()

Mio_Gate_t * Mio_LibraryReadGateByName ( Mio_Library_t * pLib,
char * pName,
char * pOutName )

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

Synopsis [Read Mvc of the gate by name.]

Description []

SideEffects []

SeeAlso []

Definition at line 105 of file mioApi.c.

106{
107 Mio_Gate_t * pGate;
108 if ( ! st__lookup( pLib->tName2Gate, pName, (char **)&pGate ) )
109 return NULL;
110 if ( pOutName == NULL )
111 return pGate;
112 if ( !strcmp(pGate->pOutName, pOutName) )
113 return pGate;
114 if ( pGate->pTwin && !strcmp(pGate->pTwin->pOutName, pOutName) )
115 return pGate->pTwin;
116 return NULL;
117}
struct Mio_GateStruct_t_ Mio_Gate_t
Definition mio.h:43
int st__lookup(st__table *table, const char *key, char **value)
Definition st.c:114
st__table * tName2Gate
Definition mioInt.h:77
int strcmp()
Here is the call graph for this function:
Here is the caller graph for this function:

◆ Mio_LibraryReadGateByTruth()

Mio_Gate_t * Mio_LibraryReadGateByTruth ( Mio_Library_t * pLib,
word t )

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

Synopsis [Returns the first gate in the library with the given TT.]

Description []

SideEffects []

SeeAlso []

Definition at line 130 of file mioApi.c.

131{
132 Mio_Gate_t * pGate;
133 Mio_LibraryForEachGate( pLib, pGate )
134 if ( pGate->nInputs <= 6 && pGate->uTruth == t )
135 return pGate;
136 return NULL;
137}
#define Mio_LibraryForEachGate(Lib, Gate)
GLOBAL VARIABLES ///.
Definition mio.h:81
Here is the caller graph for this function:

◆ Mio_LibraryReadGateNameMax()

int Mio_LibraryReadGateNameMax ( Mio_Library_t * pLib)

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

Synopsis [Returns the longest gate name.]

Description []

SideEffects []

SeeAlso []

Definition at line 81 of file mioApi.c.

82{
83 Mio_Gate_t * pGate;
84 int LenMax = 0, LenCur;
85 Mio_LibraryForEachGate( pLib, pGate )
86 {
87 LenCur = strlen( Mio_GateReadName(pGate) );
88 if ( LenMax < LenCur )
89 LenMax = LenCur;
90 }
91 return LenMax;
92}
char * Mio_GateReadName(Mio_Gate_t *pGate)
Definition mioApi.c:169
int strlen()
Here is the call graph for this function:

◆ Mio_LibraryReadGateNum()

int Mio_LibraryReadGateNum ( Mio_Library_t * pLib)

Definition at line 45 of file mioApi.c.

45{ return pLib->nGates; }
Here is the caller graph for this function:

◆ Mio_LibraryReadGates()

Mio_Gate_t * Mio_LibraryReadGates ( Mio_Library_t * pLib)

Definition at line 46 of file mioApi.c.

46{ return pLib->pGates; }
Mio_Gate_t * pGates
Definition mioInt.h:68

◆ Mio_LibraryReadInv()

Mio_Gate_t * Mio_LibraryReadInv ( Mio_Library_t * pLib)

Definition at line 50 of file mioApi.c.

50{ return pLib->pGateInv; }
Here is the caller graph for this function:

◆ Mio_LibraryReadName()

ABC_NAMESPACE_IMPL_START char * Mio_LibraryReadName ( Mio_Library_t * pLib)

DECLARATIONS ///.

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

FileName [mioApi.c]

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

Synopsis [File reading/writing for technology mapping.]

Author [MVSIS Group]

Affiliation [UC Berkeley]

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

Revision [

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

] FUNCTION DEFINITIONS /// Function*************************************************************

Synopsis []

Description []

SideEffects []

SeeAlso []

Definition at line 43 of file mioApi.c.

43{ return pLib->pName; }
Here is the caller graph for this function:

◆ Mio_LibraryReadNand2()

Mio_Gate_t * Mio_LibraryReadNand2 ( Mio_Library_t * pLib)

Definition at line 53 of file mioApi.c.

53{ return pLib->pGateNand2; }
Here is the caller graph for this function:

◆ Mio_LibraryReadNor2()

Mio_Gate_t * Mio_LibraryReadNor2 ( Mio_Library_t * pLib)

Definition at line 55 of file mioApi.c.

55{ return pLib->pGateNor2; }
Mio_Gate_t * pGateNor2
Definition mioInt.h:75

◆ Mio_LibraryReadOr2()

Mio_Gate_t * Mio_LibraryReadOr2 ( Mio_Library_t * pLib)

Definition at line 56 of file mioApi.c.

56{ return pLib->pGateOr2; }
Mio_Gate_t * pGateOr2
Definition mioInt.h:76

◆ Mio_LibraryReadSopByName()

char * Mio_LibraryReadSopByName ( Mio_Library_t * pLib,
char * pName )

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

Synopsis [Read Mvc of the gate by name.]

Description []

SideEffects []

SeeAlso []

Definition at line 150 of file mioApi.c.

151{
152 Mio_Gate_t * pGate;
153 if ( st__lookup( pLib->tName2Gate, pName, (char **)&pGate ) )
154 return pGate->pSop;
155 return NULL;
156}
Here is the call graph for this function:

◆ Mio_LibrarySetName()

void Mio_LibrarySetName ( Mio_Library_t * pLib,
char * pName )

Definition at line 68 of file mioApi.c.

68{ ABC_FREE(pLib->pName); pLib->pName = pName; }
#define ABC_FREE(obj)
Definition abc_global.h:267
Here is the caller graph for this function:

◆ Mio_PinReadDelayBlockFall()

double Mio_PinReadDelayBlockFall ( Mio_Pin_t * pPin)

Definition at line 214 of file mioApi.c.

214{ return pPin->dDelayBlockFall; }
Here is the caller graph for this function:

◆ Mio_PinReadDelayBlockMax()

double Mio_PinReadDelayBlockMax ( Mio_Pin_t * pPin)

Definition at line 216 of file mioApi.c.

216{ return pPin->dDelayBlockMax; }

◆ Mio_PinReadDelayBlockRise()

double Mio_PinReadDelayBlockRise ( Mio_Pin_t * pPin)

Definition at line 212 of file mioApi.c.

212{ return pPin->dDelayBlockRise; }
Here is the caller graph for this function:

◆ Mio_PinReadDelayFanoutFall()

double Mio_PinReadDelayFanoutFall ( Mio_Pin_t * pPin)

Definition at line 215 of file mioApi.c.

215{ return pPin->dDelayFanoutFall;}
double dDelayFanoutFall
Definition mioInt.h:132

◆ Mio_PinReadDelayFanoutRise()

double Mio_PinReadDelayFanoutRise ( Mio_Pin_t * pPin)

Definition at line 213 of file mioApi.c.

213{ return pPin->dDelayFanoutRise;}
double dDelayFanoutRise
Definition mioInt.h:130

◆ Mio_PinReadInputLoad()

double Mio_PinReadInputLoad ( Mio_Pin_t * pPin)

Definition at line 210 of file mioApi.c.

210{ return pPin->dLoadInput; }
double dLoadInput
Definition mioInt.h:127

◆ Mio_PinReadMaxLoad()

double Mio_PinReadMaxLoad ( Mio_Pin_t * pPin)

Definition at line 211 of file mioApi.c.

211{ return pPin->dLoadMax; }
double dLoadMax
Definition mioInt.h:128

◆ Mio_PinReadName()

char * Mio_PinReadName ( Mio_Pin_t * pPin)

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

Synopsis []

Description []

SideEffects []

SeeAlso []

Definition at line 208 of file mioApi.c.

208{ return pPin->pName; }
Here is the caller graph for this function:

◆ Mio_PinReadNext()

Mio_Pin_t * Mio_PinReadNext ( Mio_Pin_t * pPin)

Definition at line 217 of file mioApi.c.

217{ return pPin->pNext; }
Mio_Pin_t * pNext
Definition mioInt.h:134
Here is the caller graph for this function:

◆ Mio_PinReadPhase()

Mio_PinPhase_t Mio_PinReadPhase ( Mio_Pin_t * pPin)

Definition at line 209 of file mioApi.c.

209{ return pPin->Phase; }
Mio_PinPhase_t Phase
Definition mioInt.h:126
Here is the caller graph for this function: