diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2012-09-25 16:37:25 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2012-09-25 16:37:25 -0700 |
| commit | e7527a47ba9d6cba9c9e72800aa91817ec923616 (patch) | |
| tree | 00e214da1421d05e70994e4a8dc5cd33eb3a9bdb /src/map/super/super.h | |
| parent | 1c099166a16ad6f1621d34d7ffbe6e799f60459e (diff) | |
| download | abc-e7527a47ba9d6cba9c9e72800aa91817ec923616.tar.gz abc-e7527a47ba9d6cba9c9e72800aa91817ec923616.tar.bz2 abc-e7527a47ba9d6cba9c9e72800aa91817ec923616.zip | |
Cleaned up interfaces of genlib/liberty/supergate reading/writing.
Diffstat (limited to 'src/map/super/super.h')
| -rw-r--r-- | src/map/super/super.h | 12 |
1 files changed, 5 insertions, 7 deletions
diff --git a/src/map/super/super.h b/src/map/super/super.h index e2af9a85..1e8808f6 100644 --- a/src/map/super/super.h +++ b/src/map/super/super.h @@ -28,11 +28,8 @@ /// PARAMETERS /// //////////////////////////////////////////////////////////////////////// - - ABC_NAMESPACE_HEADER_START - //////////////////////////////////////////////////////////////////////// /// STRUCTURE DEFINITIONS /// //////////////////////////////////////////////////////////////////////// @@ -49,14 +46,15 @@ ABC_NAMESPACE_HEADER_START /// FUNCTION DEFINITIONS /// //////////////////////////////////////////////////////////////////////// -/*=== superCore.c =============================================================*/ - +/*=== superAnd.c =============================================================*/ +extern void Super2_Precompute( int nInputs, int nLevels, int fVerbose ); +/*=== superGate.c =============================================================*/ +extern Vec_Str_t * Super_PrecomputeStr( Mio_Library_t * pLibGen, int nVarsMax, int nLevels, int nGatesMax, float tDelayMax, float tAreaMax, int TimeLimit, int fSkipInv, int fVerbose ); +extern void Super_Precompute( Mio_Library_t * pLibGen, int nVarsMax, int nLevels, int nGatesMax, float tDelayMax, float tAreaMax, int TimeLimit, int fSkipInv, int fVerbose, char * pFileName ); ABC_NAMESPACE_HEADER_END - - #endif //////////////////////////////////////////////////////////////////////// |