00001 00021 #ifndef __RES_H__ 00022 #define __RES_H__ 00023 00024 #ifdef __cplusplus 00025 extern "C" { 00026 #endif 00027 00031 00035 00039 00040 typedef struct Res_Par_t_ Res_Par_t; 00041 struct Res_Par_t_ 00042 { 00043 // general parameters 00044 int nWindow; // window size 00045 int nGrowthLevel; // the maximum allowed growth in level after one iteration of resynthesis 00046 int nSimWords; // the number of simulation words 00047 int nCands; // the number of candidates to try 00048 int fArea; // performs optimization for area 00049 int fDelay; // performs optimization for delay 00050 int fVerbose; // enable basic stats 00051 int fVeryVerbose; // enable detailed stats 00052 }; 00053 00057 00061 00062 /*=== resCore.c ==========================================================*/ 00063 extern int Abc_NtkResynthesize( Abc_Ntk_t * pNtk, Res_Par_t * pPars ); 00064 00065 00066 #ifdef __cplusplus 00067 } 00068 #endif 00069 00070 #endif 00071 00075