Searched defs:Cec_ParSeq_t_ (Results 1 – 1 of 1) sorted by relevance
177 struct Cec_ParSeq_t_ struct179 int fUseLcorr; // enables latch correspondence180 int fUseScorr; // enables signal correspondence181 int nBTLimit; // (scorr/lcorr) conflict limit at a node183 int nLevelMax; // (scorr only) the max number of levels184 int fConsts; // (scl only) merging constants185 int fEquivs; // (scl only) merging equivalences186 int fUseMiniSat; // enables MiniSat in lcorr/scorr187 int nMinDomSize; // the size of minimum clock domain188 int fVeryVerbose; // verbose stats[all …]