luke
/
abc
mirror of https://github.com/YosysHQ/abc.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

[CEC][SimGen][Custom Parameters] Added custom parameters for SimGen CEC algo

This commit is contained in:
Carmine50 2024-12-18 19:36:50 +01:00
parent 99648e132f
commit 070ae52a46
1 changed files with 21 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

21
src/proof/cec/cec.h
View File

@ -201,6 +201,27 @@ struct Cec_ParSeq_t_
int fVerbose; // verbose stats
};
// CEC SimGen parameters
typedef struct Cec_ParSimGen_t_ Cec_ParSimGen_t;
struct Cec_ParSimGen_t_
{
int fVerbose; // verbose flag
int fVeryVerbose; // verbose flag
int bitwidthOutgold; // bitwidth of the output gold
int bitwidthSim; // bitwidth of the simulation vectors
int nMaxStep; // maximum number of SimGen steps
int nMaxIter; // maximum number of iterations
char * outGold; // data containing outgold
float timeOutSim; // timeout for simulation
int fUseWatchlist; // use watchlist
float fImplicationTime; // time spent in implication
int nImplicationExecution; // number of times implication was executed
int nImplicationSuccess; // number of times implication was successful
int nImplicationTotalChecks; // number of times implication was checked
int nImplicationSuccessChecks; // number of times implication was successful
Cec_ParFra_t * pCECPars; // parameters of CEC
};
////////////////////////////////////////////////////////////////////////
/// MACRO DEFINITIONS ///
////////////////////////////////////////////////////////////////////////