ABC: A System for Sequential Synthesis and Verification
 
Loading...
Searching...
No Matches
super.h
Go to the documentation of this file.
1
18
19#ifndef ABC__map__super__super_h
20#define ABC__map__super__super_h
21
22
26
30
31ABC_NAMESPACE_HEADER_START
32
36
40
44
48
49/*=== superAnd.c =============================================================*/
50extern void Super2_Precompute( int nInputs, int nLevels, int fVerbose );
51/*=== superGate.c =============================================================*/
52extern 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 );
53extern 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 );
54
55
56ABC_NAMESPACE_HEADER_END
57
58#endif
59
ABC_NAMESPACE_HEADER_END
#define ABC_NAMESPACE_HEADER_END
Definition abc_namespaces.h:51
ABC_NAMESPACE_HEADER_START
#define ABC_NAMESPACE_HEADER_START
NAMESPACES ///.
Definition abc_namespaces.h:50
Vec_Str_t
struct Vec_Str_t_ Vec_Str_t
Definition bblif.c:46
Mio_Library_t
struct Mio_LibraryStruct_t_ Mio_Library_t
Definition mio.h:42
Super2_Precompute
ABC_NAMESPACE_HEADER_START void Super2_Precompute(int nInputs, int nLevels, int fVerbose)
INCLUDES ///.
Definition superAnd.c:113
Super_Precompute
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)
FUNCTION DEFINITIONS ///.
Definition superGate.c:140
Super_PrecomputeStr
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)
Definition superGate.c:175