diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2015-11-08 11:44:37 -0800 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2015-11-08 11:44:37 -0800 |
| commit | 96d8f899d93dcf51d98a370deb5d4fcb67bb271c (patch) | |
| tree | b234898fecfab9d047338b58fe6715d47b4319c9 /src/map/mio | |
| parent | e50fc467fd54420cf262bf5266959f6c02a65bf7 (diff) | |
| download | abc-96d8f899d93dcf51d98a370deb5d4fcb67bb271c.tar.gz abc-96d8f899d93dcf51d98a370deb5d4fcb67bb271c.tar.bz2 abc-96d8f899d93dcf51d98a370deb5d4fcb67bb271c.zip | |
Extending and improving timing manager.
Diffstat (limited to 'src/map/mio')
| -rw-r--r-- | src/map/mio/mioApi.c | 2 | ||||
| -rw-r--r-- | src/map/mio/mioInt.h | 1 |
2 files changed, 3 insertions, 0 deletions
diff --git a/src/map/mio/mioApi.c b/src/map/mio/mioApi.c index 551203ff..8af85193 100644 --- a/src/map/mio/mioApi.c +++ b/src/map/mio/mioApi.c @@ -178,7 +178,9 @@ Vec_Int_t * Mio_GateReadExpr ( Mio_Gate_t * pGate ) { return 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; } +int Mio_GateReadCell ( Mio_Gate_t * pGate ) { return pGate->Cell; } void Mio_GateSetValue ( Mio_Gate_t * pGate, int Value ) { pGate->Value = Value; } +void Mio_GateSetCell ( Mio_Gate_t * pGate, int Cell ) { pGate->Value = Cell; } int Mio_GateIsInv ( Mio_Gate_t * pGate ) { return pGate->uTruth == ABC_CONST(0x5555555555555555); } /**Function************************************************************* diff --git a/src/map/mio/mioInt.h b/src/map/mio/mioInt.h index 07514f16..8edc51d1 100644 --- a/src/map/mio/mioInt.h +++ b/src/map/mio/mioInt.h @@ -93,6 +93,7 @@ struct Mio_GateStruct_t_ Mio_Gate_t * pTwin; // the derived information + int Cell; // cell id int nInputs; // the number of inputs double dDelayMax; // the maximum delay char * pSop; // sum-of-products |