luke/yosys
1
0
Fork 0
mirror of https://github.com/YosysHQ/yosys.git synced 2026-08-22 06:07:26 +02:00
Code Issues Packages Projects Releases Wiki Activity

sat docu change

Browse Source
This commit is contained in:
Clifford Wolf
2015-02-21 22:03:54 +01:00
parent 9237fb924e
commit b19c926af8
1 changed files with 3 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files
passes/sat/sat.cc
+3
View File
@@ -940,6 +940,9 @@ struct SatPass : public Pass {
log(" set up a sequential problem with <N> time steps. The steps will\n"); log(" set up a sequential problem with <N> time steps. The steps will\n");
log(" be numbered from 1 to N.\n"); log(" be numbered from 1 to N.\n");
log("\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(" -set-at <N> <signal> <value>\n");
log(" -unset-at <N> <signal>\n"); log(" -unset-at <N> <signal>\n");
log(" set or unset the specified signal to the specified value in the\n"); log(" set or unset the specified signal to the specified value in the\n");