diff options
author | Alan Mishchenko <alanmi@berkeley.edu> | 2016-11-09 21:17:44 -0800 |
---|---|---|
committer | Alan Mishchenko <alanmi@berkeley.edu> | 2016-11-09 21:17:44 -0800 |
commit | c6afb9db639b7ce0ac714e4e63e629b4c8bf1ac1 (patch) | |
tree | dbe61b94bc8596f650453ba1a7f727d6ae4cb71e /src/map/mio/mioApi.c | |
parent | 6cd66183e4304eb66805b8236642bf1f85cfa14f (diff) | |
download | abc-c6afb9db639b7ce0ac714e4e63e629b4c8bf1ac1.tar.gz abc-c6afb9db639b7ce0ac714e4e63e629b4c8bf1ac1.tar.bz2 abc-c6afb9db639b7ce0ac714e4e63e629b4c8bf1ac1.zip |
Equivalent fault detection code.
Diffstat (limited to 'src/map/mio/mioApi.c')
-rw-r--r-- | src/map/mio/mioApi.c | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/map/mio/mioApi.c b/src/map/mio/mioApi.c index bb601a05..38e754a6 100644 --- a/src/map/mio/mioApi.c +++ b/src/map/mio/mioApi.c @@ -44,6 +44,7 @@ char * Mio_LibraryReadName ( Mio_Library_t * pLib ) { retur int Mio_LibraryReadGateNum ( Mio_Library_t * pLib ) { return pLib->nGates; } Mio_Gate_t * Mio_LibraryReadGates ( Mio_Library_t * pLib ) { return pLib->pGates; } Mio_Gate_t ** Mio_LibraryReadGateArray ( Mio_Library_t * pLib ) { return pLib->ppGatesName;} +Mio_Gate_t * Mio_LibraryReadGateById ( Mio_Library_t * pLib, int Id ) { assert( pLib->ppGates0[Id]->Cell == Id ); return pLib->ppGates0[Id];} Mio_Gate_t * Mio_LibraryReadBuf ( Mio_Library_t * pLib ) { return pLib->pGateBuf; } Mio_Gate_t * Mio_LibraryReadInv ( Mio_Library_t * pLib ) { return pLib->pGateInv; } Mio_Gate_t * Mio_LibraryReadConst0 ( Mio_Library_t * pLib ) { return pLib->pGate0; } |