diff --git a/passes/sat/sat.cc b/passes/sat/sat.cc index 9404a0d7..3d6aab46 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 time steps. The steps will\n"); log(" be numbered from 1 to N.\n"); log("\n"); + log(" note: for large it can be significantly faster to use\n"); + log(" -tempinduct-baseonly -maxsteps instead of -seq .\n"); + log("\n"); log(" -set-at \n"); log(" -unset-at \n"); log(" set or unset the specified signal to the specified value in the\n");