diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2016-03-11 00:15:13 +0900 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2016-03-11 00:15:13 +0900 |
| commit | 22a5ab19c828b83abb3bd300f1ecd1ee60b4e535 (patch) | |
| tree | fa25ba40265ccfbccddf829c62182cb4926e73f2 /src/map/mio | |
| parent | 74328f52da31d827840c972d7c55a257831b22fe (diff) | |
| download | abc-22a5ab19c828b83abb3bd300f1ecd1ee60b4e535.tar.gz abc-22a5ab19c828b83abb3bd300f1ecd1ee60b4e535.tar.bz2 abc-22a5ab19c828b83abb3bd300f1ecd1ee60b4e535.zip | |
Adding API to convert Genlib into a simple Liberty.
Diffstat (limited to 'src/map/mio')
| -rw-r--r-- | src/map/mio/mio.h | 1 | ||||
| -rw-r--r-- | src/map/mio/mioApi.c | 2 |
2 files changed, 2 insertions, 1 deletions
diff --git a/src/map/mio/mio.h b/src/map/mio/mio.h index 63246d91..3f5df736 100644 --- a/src/map/mio/mio.h +++ b/src/map/mio/mio.h @@ -148,6 +148,7 @@ extern double Mio_GateReadDelayMax ( Mio_Gate_t * pGate ); extern char * Mio_GateReadSop ( Mio_Gate_t * pGate ); extern Vec_Int_t * Mio_GateReadExpr ( Mio_Gate_t * pGate ); extern word Mio_GateReadTruth ( Mio_Gate_t * pGate ); +extern word * Mio_GateReadTruthP ( Mio_Gate_t * pGate ); extern int Mio_GateReadValue ( Mio_Gate_t * pGate ); extern int Mio_GateReadCell ( Mio_Gate_t * pGate ); extern int Mio_GateReadProfile ( Mio_Gate_t * pGate ); diff --git a/src/map/mio/mioApi.c b/src/map/mio/mioApi.c index 82b76a27..bb601a05 100644 --- a/src/map/mio/mioApi.c +++ b/src/map/mio/mioApi.c @@ -176,7 +176,7 @@ double Mio_GateReadDelayMax ( Mio_Gate_t * pGate ) { retur char * Mio_GateReadSop ( Mio_Gate_t * pGate ) { return pGate->pSop; } Vec_Int_t * Mio_GateReadExpr ( Mio_Gate_t * pGate ) { return pGate->vExpr; } word Mio_GateReadTruth ( Mio_Gate_t * pGate ) { return pGate->nInputs <= 6 ? pGate->uTruth : 0; } -word * Mio_GateReadTruthP ( Mio_Gate_t * pGate ) { return pGate->nInputs <= 6 ? NULL: pGate->pTruth; } +word * Mio_GateReadTruthP ( Mio_Gate_t * pGate ) { return pGate->nInputs <= 6 ? &pGate->uTruth: pGate->pTruth; } int Mio_GateReadValue ( Mio_Gate_t * pGate ) { return pGate->Value; } int Mio_GateReadCell ( Mio_Gate_t * pGate ) { return pGate->Cell; } int Mio_GateReadProfile ( Mio_Gate_t * pGate ) { return pGate->Profile; } |