From 35143e830b9a05ed5f4c6f522a609f88ef726708 Mon Sep 17 00:00:00 2001 From: Alan Mishchenko Date: Tue, 27 Oct 2015 10:48:40 -0700 Subject: Experiments with precomputation and matching. --- src/map/mio/mio.h | 1 + src/map/mio/mioApi.c | 1 + 2 files changed, 2 insertions(+) (limited to 'src/map') diff --git a/src/map/mio/mio.h b/src/map/mio/mio.h index 7db93dd8..1e3e4d43 100644 --- a/src/map/mio/mio.h +++ b/src/map/mio/mio.h @@ -154,6 +154,7 @@ extern int Mio_GateReadValue ( Mio_Gate_t * pGate ); extern char * Mio_GateReadPinName ( Mio_Gate_t * pGate, int iPin ); extern float Mio_GateReadPinDelay ( Mio_Gate_t * pGate, int iPin ); extern void Mio_GateSetValue ( Mio_Gate_t * pGate, int Value ); +extern int Mio_GateIsInv ( Mio_Gate_t * pGate ); extern char * Mio_PinReadName ( Mio_Pin_t * pPin ); extern Mio_PinPhase_t Mio_PinReadPhase ( Mio_Pin_t * pPin ); extern double Mio_PinReadInputLoad ( Mio_Pin_t * pPin ); diff --git a/src/map/mio/mioApi.c b/src/map/mio/mioApi.c index ba84c178..551203ff 100644 --- a/src/map/mio/mioApi.c +++ b/src/map/mio/mioApi.c @@ -179,6 +179,7 @@ word Mio_GateReadTruth ( Mio_Gate_t * pGate ) { return word * Mio_GateReadTruthP ( Mio_Gate_t * pGate ) { return pGate->nInputs <= 6 ? NULL: pGate->pTruth; } int Mio_GateReadValue ( Mio_Gate_t * pGate ) { return pGate->Value; } void Mio_GateSetValue ( Mio_Gate_t * pGate, int Value ) { pGate->Value = Value; } +int Mio_GateIsInv ( Mio_Gate_t * pGate ) { return pGate->uTruth == ABC_CONST(0x5555555555555555); } /**Function************************************************************* -- cgit v1.2.3