diff options
Diffstat (limited to 'src/opt/mfs/mfs.h')
| -rw-r--r-- | src/opt/mfs/mfs.h | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/src/opt/mfs/mfs.h b/src/opt/mfs/mfs.h index a7ca3819..9fc6a253 100644 --- a/src/opt/mfs/mfs.h +++ b/src/opt/mfs/mfs.h @@ -43,7 +43,11 @@ struct Mfs_Par_t_ // general parameters int nWinTfoLevs; // the maximum fanout levels int nFanoutsMax; // the maximum number of fanouts - int nGrowthLevel; // the maximum allowed growth in level after one iteration of resynthesis + int nDepthMax; // the maximum number of logic levels + int nDivMax; // the maximum number of divisors + int nWinSizeMax; // the maximum size of the window + int nGrowthLevel; // the maximum allowed growth in level + int fResub; // performs resubstitution int fArea; // performs optimization for area int fDelay; // performs optimization for delay int fVerbose; // enable basic stats |