From 96d8f899d93dcf51d98a370deb5d4fcb67bb271c Mon Sep 17 00:00:00 2001 From: Alan Mishchenko Date: Sun, 8 Nov 2015 11:44:37 -0800 Subject: Extending and improving timing manager. --- src/map/mio/mioApi.c | 2 ++ src/map/mio/mioInt.h | 1 + 2 files changed, 3 insertions(+) (limited to 'src/map/mio') 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 -- cgit v1.2.3