diff options
Diffstat (limited to 'src/map/mio')
-rw-r--r-- | src/map/mio/mio.h | 1 | ||||
-rw-r--r-- | src/map/mio/mioApi.c | 9 |
2 files changed, 10 insertions, 0 deletions
diff --git a/src/map/mio/mio.h b/src/map/mio/mio.h index 2d78fec8..1175406c 100644 --- a/src/map/mio/mio.h +++ b/src/map/mio/mio.h @@ -121,6 +121,7 @@ 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 float Mio_GateReadPinDelay ( 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 0ae12e89..859062a1 100644 --- a/src/map/mio/mioApi.c +++ b/src/map/mio/mioApi.c @@ -198,6 +198,15 @@ char * Mio_GateReadPinName( Mio_Gate_t * pGate, int iPin ) return Mio_PinReadName(pPin); return NULL; } +float Mio_GateReadPinDelay( Mio_Gate_t * pGate, int iPin ) +{ + Mio_Pin_t * pPin; + int i = 0; + Mio_GateForEachPin( pGate, pPin ) + if ( i++ == iPin ) + return 0.5 * pPin->dDelayBlockRise + 0.5 * pPin->dDelayBlockFall; + return ABC_INFINITY; +} //////////////////////////////////////////////////////////////////////// /// END OF FILE /// |