diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2015-01-31 19:52:32 -0800 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2015-01-31 19:52:32 -0800 |
| commit | 77dbe2b6565dbc68a04a315fb51b50a35b763228 (patch) | |
| tree | 8b8c4bddbd01a69314178d33a8b739867d38f78d /src/map/mio/mioApi.c | |
| parent | a523ab792c4627c11a57fce9a002f3a5bd4bae45 (diff) | |
| download | abc-77dbe2b6565dbc68a04a315fb51b50a35b763228.tar.gz abc-77dbe2b6565dbc68a04a315fb51b50a35b763228.tar.bz2 abc-77dbe2b6565dbc68a04a315fb51b50a35b763228.zip | |
Major rehash of the CBA code.
Diffstat (limited to 'src/map/mio/mioApi.c')
| -rw-r--r-- | src/map/mio/mioApi.c | 20 |
1 files changed, 20 insertions, 0 deletions
diff --git a/src/map/mio/mioApi.c b/src/map/mio/mioApi.c index 859062a1..62ace42f 100644 --- a/src/map/mio/mioApi.c +++ b/src/map/mio/mioApi.c @@ -112,6 +112,26 @@ Mio_Gate_t * Mio_LibraryReadGateByName( Mio_Library_t * pLib, char * pName, char /**Function************************************************************* + Synopsis [Returns the first gate in the library with the given TT.] + + Description [] + + SideEffects [] + + SeeAlso [] + +***********************************************************************/ +Mio_Gate_t * Mio_LibraryReadGateByTruth( Mio_Library_t * pLib, word t ) +{ + Mio_Gate_t * pGate; + Mio_LibraryForEachGate( pLib, pGate ) + if ( pGate->nInputs <= 6 && pGate->uTruth == t ) + return pGate; + return NULL; +} + +/**Function************************************************************* + Synopsis [Read Mvc of the gate by name.] Description [] |