diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2012-04-06 00:45:58 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2012-04-06 00:45:58 -0700 |
| commit | 8c1513dfbcb5976ebc7ed37fa648fc8ac23417e8 (patch) | |
| tree | 88b4939361c1a1920d05eea56afec4f67d412e6f /src/map/mio | |
| parent | 993c2027d8c250e07996dfda2f11fe6eecb46f15 (diff) | |
| download | abc-8c1513dfbcb5976ebc7ed37fa648fc8ac23417e8.tar.gz abc-8c1513dfbcb5976ebc7ed37fa648fc8ac23417e8.tar.bz2 abc-8c1513dfbcb5976ebc7ed37fa648fc8ac23417e8.zip | |
Improving printouts of critical path.
Diffstat (limited to 'src/map/mio')
| -rw-r--r-- | src/map/mio/mio.h | 1 | ||||
| -rw-r--r-- | src/map/mio/mioApi.c | 21 |
2 files changed, 22 insertions, 0 deletions
diff --git a/src/map/mio/mio.h b/src/map/mio/mio.h index 005d2acc..0aba261a 100644 --- a/src/map/mio/mio.h +++ b/src/map/mio/mio.h @@ -115,6 +115,7 @@ extern double Mio_GateReadDelayMax ( Mio_Gate_t * pGate ); extern char * Mio_GateReadSop ( Mio_Gate_t * pGate ); extern word Mio_GateReadTruth ( Mio_Gate_t * pGate ); extern int Mio_GateReadValue ( Mio_Gate_t * pGate ); +extern char * Mio_GateReadPinName ( Mio_Gate_t * pGate, int iPin ); extern void Mio_GateSetValue ( Mio_Gate_t * pGate, int Value ); extern char * Mio_PinReadName ( Mio_Pin_t * pPin ); extern Mio_PinPhase_t Mio_PinReadPhase ( Mio_Pin_t * pPin ); diff --git a/src/map/mio/mioApi.c b/src/map/mio/mioApi.c index 927a01ea..d2357e7d 100644 --- a/src/map/mio/mioApi.c +++ b/src/map/mio/mioApi.c @@ -173,6 +173,27 @@ double Mio_PinReadDelayFanoutFall( Mio_Pin_t * pPin ) { return p double Mio_PinReadDelayBlockMax ( Mio_Pin_t * pPin ) { return pPin->dDelayBlockMax; } Mio_Pin_t * Mio_PinReadNext ( Mio_Pin_t * pPin ) { return pPin->pNext; } +/**Function************************************************************* + + Synopsis [] + + Description [] + + SideEffects [] + + SeeAlso [] + +***********************************************************************/ +char * Mio_GateReadPinName( Mio_Gate_t * pGate, int iPin ) +{ + Mio_Pin_t * pPin; + int i = 0; + Mio_GateForEachPin( pGate, pPin ) + if ( i++ == iPin ) + return Mio_PinReadName(pPin); + return NULL; +} + //////////////////////////////////////////////////////////////////////// /// END OF FILE /// //////////////////////////////////////////////////////////////////////// |