diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2016-02-08 16:29:36 -0800 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2016-02-08 16:29:36 -0800 |
| commit | 66796c38088a3ff74c530b3ee4a6dab33382f99a (patch) | |
| tree | e84d0ef432d5d99b13762315b8ab3325544640a0 /src/base/abci/abc.c | |
| parent | 67f4f1adae4b3d27f19b95fc92ab9213feebf035 (diff) | |
| download | abc-66796c38088a3ff74c530b3ee4a6dab33382f99a.tar.gz abc-66796c38088a3ff74c530b3ee4a6dab33382f99a.tar.bz2 abc-66796c38088a3ff74c530b3ee4a6dab33382f99a.zip | |
Experiments with SAT-based mapping.
Diffstat (limited to 'src/base/abci/abc.c')
| -rw-r--r-- | src/base/abci/abc.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/base/abci/abc.c b/src/base/abci/abc.c index 73175997..92d6557d 100644 --- a/src/base/abci/abc.c +++ b/src/base/abci/abc.c @@ -34467,7 +34467,7 @@ usage: Abc_Print( -2, "\t-E num : the area/edge tradeoff parameter (0 <= num <= 100) [default = %d]\n", pPars->nAreaTuner ); Abc_Print( -2, "\t-D num : sets the delay constraint for the mapping [default = %s]\n", Buffer ); Abc_Print( -2, "\t-Q num : internal parameter impacting area of the mapping [default = %d]\n", pPars->nReqTimeFlex ); - Abc_Print( -2, "\t-a : toggles area-oriented mapping [default = %s]\n", pPars->fAreaOnly? "yes": "no" ); + Abc_Print( -2, "\t-a : toggles SAT-based area-oriented mapping (experimental) [default = %s]\n", pPars->fAreaOnly? "yes": "no" ); Abc_Print( -2, "\t-k : toggles coarsening the subject graph [default = %s]\n", pPars->fCoarsen? "yes": "no" ); Abc_Print( -2, "\t-p : toggles pin permutation (more matches - better quality) [default = %s]\n", pPars->fPinPerm? "yes": "no" ); Abc_Print( -2, "\t-q : toggles quick mapping (fewer matches - worse quality) [default = %s]\n", pPars->fPinQuick? "yes": "no" ); |