abc-master
 All Data Structures Namespaces Files Functions Variables Typedefs Enumerations Enumerator Friends Macros
res.h
Go to the documentation of this file.
1 /**CFile****************************************************************
2 
3  FileName [res.h]
4 
5  SystemName [ABC: Logic synthesis and verification system.]
6 
7  PackageName [Resynthesis package.]
8 
9  Synopsis [External declarations.]
10 
11  Author [Alan Mishchenko]
12 
13  Affiliation [UC Berkeley]
14 
15  Date [Ver. 1.0. Started - January 15, 2007.]
16 
17  Revision [$Id: res.h,v 1.00 2007/01/15 00:00:00 alanmi Exp $]
18 
19 ***********************************************************************/
20 
21 #ifndef ABC__opt__res__res_h
22 #define ABC__opt__res__res_h
23 
24 
25 ////////////////////////////////////////////////////////////////////////
26 /// INCLUDES ///
27 ////////////////////////////////////////////////////////////////////////
28 
29 ////////////////////////////////////////////////////////////////////////
30 /// PARAMETERS ///
31 ////////////////////////////////////////////////////////////////////////
32 
33 
34 
35 ABC_NAMESPACE_HEADER_START
36 
37 
38 ////////////////////////////////////////////////////////////////////////
39 /// BASIC TYPES ///
40 ////////////////////////////////////////////////////////////////////////
41 
42 typedef struct Res_Par_t_ Res_Par_t;
43 struct 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 
56 ////////////////////////////////////////////////////////////////////////
57 /// MACRO DEFINITIONS ///
58 ////////////////////////////////////////////////////////////////////////
59 
60 ////////////////////////////////////////////////////////////////////////
61 /// FUNCTION DECLARATIONS ///
62 ////////////////////////////////////////////////////////////////////////
63 
64 /*=== resCore.c ==========================================================*/
65 extern int Abc_NtkResynthesize( Abc_Ntk_t * pNtk, Res_Par_t * pPars );
66 
67 
68 
69 
70 ABC_NAMESPACE_HEADER_END
71 
72 
73 
74 #endif
75 
76 ////////////////////////////////////////////////////////////////////////
77 /// END OF FILE ///
78 ////////////////////////////////////////////////////////////////////////
79 
Res_Par_t_::nCands
int nCands
Definition: res.h:49
Abc_Ntk_t_
Definition: abc.h:153
Res_Par_t_::fArea
int fArea
Definition: res.h:50
Res_Par_t_::fDelay
int fDelay
Definition: res.h:51
Abc_NtkResynthesize
int Abc_NtkResynthesize(Abc_Ntk_t *pNtk, Res_Par_t *pPars)
MACRO DEFINITIONS ///.
Definition: resCore.c:213
Res_Par_t_
Definition: res.h:43
Res_Par_t_::nSimWords
int nSimWords
Definition: res.h:48
ABC_NAMESPACE_HEADER_START
#define ABC_NAMESPACE_HEADER_START
NAMESPACES ///.
Definition: abc_global.h:105
ABC_NAMESPACE_HEADER_END
#define ABC_NAMESPACE_HEADER_END
Definition: abc_global.h:106
Res_Par_t_::fVerbose
int fVerbose
Definition: res.h:52
Res_Par_t
typedefABC_NAMESPACE_HEADER_START struct Res_Par_t_ Res_Par_t
INCLUDES ///.
Definition: res.h:42
Res_Par_t_::nGrowthLevel
int nGrowthLevel
Definition: res.h:47
Res_Par_t_::nWindow
int nWindow
Definition: res.h:46
Res_Par_t_::fVeryVerbose
int fVeryVerbose
Definition: res.h:53