diff options
| author | Jannis Harder <me@jix.one> | 2022-07-01 14:38:45 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-07-01 14:38:45 +0200 |
| commit | 0182b26abab8c9a8efef728d55d1adb09bf39825 (patch) | |
| tree | 6b9e2dcd588e33443f72cd1bf4c9629983f83422 /manual/command-reference-manual.tex | |
| parent | 42721b6a129707e4cc8ce6f47533c2530077ba9d (diff) | |
| parent | c16c0288311ba9aef95b3d5fcdde63bbc05a5b08 (diff) | |
| download | yosys-0182b26abab8c9a8efef728d55d1adb09bf39825.tar.gz yosys-0182b26abab8c9a8efef728d55d1adb09bf39825.tar.bz2 yosys-0182b26abab8c9a8efef728d55d1adb09bf39825.zip | |
Merge pull request #3391 from programmerjake/simcheck-allow-smtlib2-blackboxes
add hierarchy -smtcheck
Diffstat (limited to 'manual/command-reference-manual.tex')
| -rw-r--r-- | manual/command-reference-manual.tex | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/manual/command-reference-manual.tex b/manual/command-reference-manual.tex index edc8af6e6..3a9259867 100644 --- a/manual/command-reference-manual.tex +++ b/manual/command-reference-manual.tex @@ -2379,6 +2379,9 @@ resolves positional module parameters, unrolls array instances, and more. like -check, but also throw an error if blackbox modules are instantiated, and throw an error if the design has no top module. + -smtcheck + like -simcheck, but allow smtlib2_module modules. + -purge_lib by default the hierarchy command will not remove library (blackbox) modules. use this option to also remove unused blackbox modules. |