From 8c1513dfbcb5976ebc7ed37fa648fc8ac23417e8 Mon Sep 17 00:00:00 2001 From: Alan Mishchenko Date: Fri, 6 Apr 2012 00:45:58 -0700 Subject: Improving printouts of critical path. --- src/map/mio/mio.h | 1 + src/map/mio/mioApi.c | 21 +++++++++++++++++++++ 2 files changed, 22 insertions(+) (limited to 'src/map/mio') 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 /// //////////////////////////////////////////////////////////////////////// -- cgit v1.2.3