diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2015-10-15 15:32:36 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2015-10-15 15:32:36 -0700 |
| commit | 15a86aefd2f5e27bb8789ce93a85544cdf6f0a72 (patch) | |
| tree | c61f77b820bac79d6199ebd6f65064fc44c16df8 /src/map/mio | |
| parent | 01fc95695c56a5bfd25cd100945859a572a328b6 (diff) | |
| download | abc-15a86aefd2f5e27bb8789ce93a85544cdf6f0a72.tar.gz abc-15a86aefd2f5e27bb8789ce93a85544cdf6f0a72.tar.bz2 abc-15a86aefd2f5e27bb8789ce93a85544cdf6f0a72.zip | |
Experiments with precomputation and matching.
Diffstat (limited to 'src/map/mio')
| -rw-r--r-- | src/map/mio/mio.h | 1 | ||||
| -rw-r--r-- | src/map/mio/mioApi.c | 1 |
2 files changed, 2 insertions, 0 deletions
diff --git a/src/map/mio/mio.h b/src/map/mio/mio.h index 9dd72d93..ef1f4258 100644 --- a/src/map/mio/mio.h +++ b/src/map/mio/mio.h @@ -146,6 +146,7 @@ extern Mio_Gate_t * Mio_GateReadTwin ( Mio_Gate_t * pGate ); extern int Mio_GateReadPinNum ( Mio_Gate_t * pGate ); 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 int Mio_GateReadValue ( Mio_Gate_t * pGate ); extern char * Mio_GateReadPinName ( Mio_Gate_t * pGate, int iPin ); diff --git a/src/map/mio/mioApi.c b/src/map/mio/mioApi.c index 6716bfb9..ba84c178 100644 --- a/src/map/mio/mioApi.c +++ b/src/map/mio/mioApi.c @@ -174,6 +174,7 @@ Mio_Gate_t * Mio_GateReadTwin ( Mio_Gate_t * pGate ) { return int Mio_GateReadPinNum ( Mio_Gate_t * pGate ) { return pGate->nInputs; } double Mio_GateReadDelayMax( Mio_Gate_t * pGate ) { return pGate->dDelayMax; } 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; } int Mio_GateReadValue ( Mio_Gate_t * pGate ) { return pGate->Value; } |