diff options
Diffstat (limited to 'src/aig/cgt/cgt.h')
| -rw-r--r-- | src/aig/cgt/cgt.h | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/aig/cgt/cgt.h b/src/aig/cgt/cgt.h index b9997d56..f8c1cc2e 100644 --- a/src/aig/cgt/cgt.h +++ b/src/aig/cgt/cgt.h @@ -52,8 +52,9 @@ struct Cgt_Par_t_ int nConfMax; // the max number of conflicts at a node int nVarsMin; // the min number of variables to recycle the SAT solver int nFlopsMin; // the min number of flops needed to recycle the SAT solver + int fAreaOnly; // derive clock gating to minimize area int fVerbose; // verbosity flag - + int fVeryVerbose; // verbosity flag }; //////////////////////////////////////////////////////////////////////// |