diff options
| author | Clifford Wolf <clifford@clifford.at> | 2015-02-21 22:03:54 +0100 |
|---|---|---|
| committer | Clifford Wolf <clifford@clifford.at> | 2015-02-21 22:03:54 +0100 |
| commit | b19c926af8badd5d5ff84b4cd54e7f40de68c504 (patch) | |
| tree | af30e8caa912423ca1f6578de857ade69f45fb25 /passes/sat | |
| parent | 9237fb924e74a0ed687992df6988b4aa2105614e (diff) | |
| download | yosys-b19c926af8badd5d5ff84b4cd54e7f40de68c504.tar.gz yosys-b19c926af8badd5d5ff84b4cd54e7f40de68c504.tar.bz2 yosys-b19c926af8badd5d5ff84b4cd54e7f40de68c504.zip | |
sat docu change
Diffstat (limited to 'passes/sat')
| -rw-r--r-- | passes/sat/sat.cc | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/passes/sat/sat.cc b/passes/sat/sat.cc index 9404a0d77..3d6aab467 100644 --- a/passes/sat/sat.cc +++ b/passes/sat/sat.cc @@ -940,6 +940,9 @@ struct SatPass : public Pass { log(" set up a sequential problem with <N> time steps. The steps will\n"); log(" be numbered from 1 to N.\n"); log("\n"); + log(" note: for large <N> it can be significantly faster to use\n"); + log(" -tempinduct-baseonly -maxsteps <N> instead of -seq <N>.\n"); + log("\n"); log(" -set-at <N> <signal> <value>\n"); log(" -unset-at <N> <signal>\n"); log(" set or unset the specified signal to the specified value in the\n"); |