ABC: A System for Sequential Synthesis and Verification
 
Loading...
Searching...
No Matches
res.h
Go to the documentation of this file.
1
20
21#ifndef ABC__opt__res__res_h
22#define ABC__opt__res__res_h
23
24
28
32
33
34
36
37
41
42typedef struct Res_Par_t_ Res_Par_t;
44{
45 // general parameters
46 int nWindow; // window size
47 int nGrowthLevel; // the maximum allowed growth in level after one iteration of resynthesis
48 int nSimWords; // the number of simulation words
49 int nCands; // the number of candidates to try
50 int fArea; // performs optimization for area
51 int fDelay; // performs optimization for delay
52 int fVerbose; // enable basic stats
53 int fVeryVerbose; // enable detailed stats
54};
55
59
63
64/*=== resCore.c ==========================================================*/
65extern int Abc_NtkResynthesize( Abc_Ntk_t * pNtk, Res_Par_t * pPars );
66
67
68
69
71
72
73
74#endif
75
79
struct Abc_Ntk_t_ Abc_Ntk_t
Definition abc.h:115
#define ABC_NAMESPACE_HEADER_END
#define ABC_NAMESPACE_HEADER_START
NAMESPACES ///.
int Abc_NtkResynthesize(Abc_Ntk_t *pNtk, Res_Par_t *pPars)
MACRO DEFINITIONS ///.
Definition resCore.c:213
typedefABC_NAMESPACE_HEADER_START struct Res_Par_t_ Res_Par_t
INCLUDES ///.
Definition res.h:42
int nCands
Definition res.h:49
int nWindow
Definition res.h:46
int nSimWords
Definition res.h:48
int fVeryVerbose
Definition res.h:53
int nGrowthLevel
Definition res.h:47
int fDelay
Definition res.h:51
int fVerbose
Definition res.h:52
int fArea
Definition res.h:50