diff options
author | Alan Mishchenko <alanmi@berkeley.edu> | 2015-11-08 12:08:50 -0800 |
---|---|---|
committer | Alan Mishchenko <alanmi@berkeley.edu> | 2015-11-08 12:08:50 -0800 |
commit | efb8ad0af825ca104d30c77ec3ab91c47d190a85 (patch) | |
tree | c8dc6450a81c430e2a9ab0a69dcaadf9ff4c8601 /src/map | |
parent | 7f65f0d7b27f7ad288d9a277dbdd54dee3b23c56 (diff) | |
download | abc-efb8ad0af825ca104d30c77ec3ab91c47d190a85.tar.gz abc-efb8ad0af825ca104d30c77ec3ab91c47d190a85.tar.bz2 abc-efb8ad0af825ca104d30c77ec3ab91c47d190a85.zip |
Extending and improving timing manager.
Diffstat (limited to 'src/map')
-rw-r--r-- | src/map/mio/mio.h | 2 | ||||
-rw-r--r-- | src/map/scl/sclCon.h | 11 |
2 files changed, 9 insertions, 4 deletions
diff --git a/src/map/mio/mio.h b/src/map/mio/mio.h index 1e3e4d43..669f8bc7 100644 --- a/src/map/mio/mio.h +++ b/src/map/mio/mio.h @@ -151,9 +151,11 @@ 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 int Mio_GateReadCell ( 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 void Mio_GateSetCell ( Mio_Gate_t * pGate, int Cell ); 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 ); diff --git a/src/map/scl/sclCon.h b/src/map/scl/sclCon.h index 7a7be1b2..fd6ae273 100644 --- a/src/map/scl/sclCon.h +++ b/src/map/scl/sclCon.h @@ -17,6 +17,9 @@ Revision [$Id: sclCon.h,v 1.0 2012/08/24 00:00:00 alanmi Exp $] ***********************************************************************/ + +#ifndef ABC__scl_Con__h +#define ABC__scl_Con__h ABC_NAMESPACE_HEADER_START @@ -279,11 +282,11 @@ static inline float Scl_ConGetOutReqFloat( int i ) { return Scl_Wrd2Flt( Scl_ static inline float Scl_ConGetOutLoadFloat( int i ) { return Scl_Wrd2Flt( Scl_ConGetOutLoad(i) ); } +ABC_NAMESPACE_HEADER_END + +#endif + //////////////////////////////////////////////////////////////////////// /// END OF FILE /// //////////////////////////////////////////////////////////////////////// - -ABC_NAMESPACE_HEADER_END - - |