#include "mioInt.h"
Go to the source code of this file.
double Mio_GateReadArea | ( | Mio_Gate_t * | pGate | ) |
double Mio_GateReadDelayMax | ( | Mio_Gate_t * | pGate | ) |
char* Mio_GateReadForm | ( | Mio_Gate_t * | pGate | ) |
DdNode* Mio_GateReadFunc | ( | Mio_Gate_t * | pGate | ) |
int Mio_GateReadInputs | ( | Mio_Gate_t * | pGate | ) |
Mio_Library_t* Mio_GateReadLib | ( | Mio_Gate_t * | pGate | ) |
char* Mio_GateReadName | ( | Mio_Gate_t * | pGate | ) |
Mio_Gate_t* Mio_GateReadNext | ( | Mio_Gate_t * | pGate | ) |
char* Mio_GateReadOutName | ( | Mio_Gate_t * | pGate | ) |
Mio_Pin_t* Mio_GateReadPins | ( | Mio_Gate_t * | pGate | ) |
char* Mio_GateReadSop | ( | Mio_Gate_t * | pGate | ) |
Mio_Gate_t* Mio_LibraryReadAnd2 | ( | Mio_Library_t * | pLib | ) |
float Mio_LibraryReadAreaBuf | ( | Mio_Library_t * | pLib | ) |
float Mio_LibraryReadAreaInv | ( | Mio_Library_t * | pLib | ) |
float Mio_LibraryReadAreaNand2 | ( | Mio_Library_t * | pLib | ) |
Definition at line 59 of file mioApi.c.
00059 { return (float)(pLib->pGateNand2? pLib->pGateNand2->dArea : 0.0); }
Mio_Gate_t* Mio_LibraryReadBuf | ( | Mio_Library_t * | pLib | ) |
Mio_Gate_t* Mio_LibraryReadConst0 | ( | Mio_Library_t * | pLib | ) |
Mio_Gate_t* Mio_LibraryReadConst1 | ( | Mio_Library_t * | pLib | ) |
DdManager* Mio_LibraryReadDd | ( | Mio_Library_t * | pLib | ) |
float Mio_LibraryReadDelayAnd2Max | ( | Mio_Library_t * | pLib | ) |
float Mio_LibraryReadDelayInvFall | ( | Mio_Library_t * | pLib | ) |
float Mio_LibraryReadDelayInvMax | ( | Mio_Library_t * | pLib | ) |
float Mio_LibraryReadDelayInvRise | ( | Mio_Library_t * | pLib | ) |
float Mio_LibraryReadDelayNand2Fall | ( | Mio_Library_t * | pLib | ) |
Definition at line 54 of file mioApi.c.
00054 { return (float)(pLib->pGateNand2? pLib->pGateNand2->pPins->dDelayBlockFall : 0.0); }
float Mio_LibraryReadDelayNand2Max | ( | Mio_Library_t * | pLib | ) |
Definition at line 55 of file mioApi.c.
00055 { return (float)(pLib->pGateNand2? pLib->pGateNand2->pPins->dDelayBlockMax : 0.0); }
float Mio_LibraryReadDelayNand2Rise | ( | Mio_Library_t * | pLib | ) |
Definition at line 53 of file mioApi.c.
00053 { return (float)(pLib->pGateNand2? pLib->pGateNand2->pPins->dDelayBlockRise : 0.0); }
Mio_Gate_t* Mio_LibraryReadGateByName | ( | Mio_Library_t * | pLib, | |
char * | pName | |||
) |
Function*************************************************************
Synopsis [Read Mvc of the gate by name.]
Description []
SideEffects []
SeeAlso []
Definition at line 96 of file mioApi.c.
00097 { 00098 Mio_Gate_t * pGate; 00099 if ( st_lookup( pLib->tName2Gate, pName, (char **)&pGate ) ) 00100 return pGate; 00101 return NULL; 00102 }
int Mio_LibraryReadGateNameMax | ( | Mio_Library_t * | pLib | ) |
Function*************************************************************
Synopsis [Returns the longest gate name.]
Description []
SideEffects []
SeeAlso []
Definition at line 72 of file mioApi.c.
00073 { 00074 Mio_Gate_t * pGate; 00075 int LenMax = 0, LenCur; 00076 Mio_LibraryForEachGate( pLib, pGate ) 00077 { 00078 LenCur = strlen( Mio_GateReadName(pGate) ); 00079 if ( LenMax < LenCur ) 00080 LenMax = LenCur; 00081 } 00082 return LenMax; 00083 }
int Mio_LibraryReadGateNum | ( | Mio_Library_t * | pLib | ) |
Mio_Gate_t* Mio_LibraryReadGates | ( | Mio_Library_t * | pLib | ) |
Mio_Gate_t* Mio_LibraryReadInv | ( | Mio_Library_t * | pLib | ) |
char* Mio_LibraryReadName | ( | Mio_Library_t * | pLib | ) |
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 [
] DECLARATIONS /// FUNCTION DEFINITIONS ///Function*************************************************************
Synopsis []
Description []
SideEffects []
SeeAlso []
Definition at line 40 of file mioApi.c.
00040 { return pLib->pName; }
Mio_Gate_t* Mio_LibraryReadNand2 | ( | Mio_Library_t * | pLib | ) |
Definition at line 48 of file mioApi.c.
00048 { return pLib->pGateNand2; }
char* Mio_LibraryReadSopByName | ( | Mio_Library_t * | pLib, | |
char * | pName | |||
) |
Function*************************************************************
Synopsis [Read Mvc of the gate by name.]
Description []
SideEffects []
SeeAlso []
Definition at line 115 of file mioApi.c.
00116 { 00117 Mio_Gate_t * pGate; 00118 if ( st_lookup( pLib->tName2Gate, pName, (char **)&pGate ) ) 00119 return pGate->pSop; 00120 return NULL; 00121 }
double Mio_PinReadDelayBlockFall | ( | Mio_Pin_t * | pPin | ) |
Definition at line 163 of file mioApi.c.
00163 { return pPin->dDelayBlockFall; }
double Mio_PinReadDelayBlockMax | ( | Mio_Pin_t * | pPin | ) |
Definition at line 165 of file mioApi.c.
00165 { return pPin->dDelayBlockMax; }
double Mio_PinReadDelayBlockRise | ( | Mio_Pin_t * | pPin | ) |
Definition at line 161 of file mioApi.c.
00161 { return pPin->dDelayBlockRise; }
double Mio_PinReadDelayFanoutFall | ( | Mio_Pin_t * | pPin | ) |
Definition at line 164 of file mioApi.c.
00164 { return pPin->dDelayFanoutFall;}
double Mio_PinReadDelayFanoutRise | ( | Mio_Pin_t * | pPin | ) |
Definition at line 162 of file mioApi.c.
00162 { return pPin->dDelayFanoutRise;}
double Mio_PinReadInputLoad | ( | Mio_Pin_t * | pPin | ) |
Definition at line 159 of file mioApi.c.
00159 { return pPin->dLoadInput; }
double Mio_PinReadMaxLoad | ( | Mio_Pin_t * | pPin | ) |
char* Mio_PinReadName | ( | Mio_Pin_t * | pPin | ) |
Mio_PinPhase_t Mio_PinReadPhase | ( | Mio_Pin_t * | pPin | ) |