diff options
| author | Jacob Lifshay <programmerjake@gmail.com> | 2022-06-22 20:53:10 -0700 |
|---|---|---|
| committer | Jacob Lifshay <programmerjake@gmail.com> | 2022-06-22 20:53:10 -0700 |
| commit | c16c0288311ba9aef95b3d5fcdde63bbc05a5b08 (patch) | |
| tree | ee18bb96e53cde5cdaee2ad496bd2b9a16fd4d7b /manual | |
| parent | b2408df31332cdf810bc9831ae3aface1048652c (diff) | |
| download | yosys-c16c0288311ba9aef95b3d5fcdde63bbc05a5b08.tar.gz yosys-c16c0288311ba9aef95b3d5fcdde63bbc05a5b08.tar.bz2 yosys-c16c0288311ba9aef95b3d5fcdde63bbc05a5b08.zip | |
add hierarchy -smtcheck
like -simcheck, but allow smtlib2_module modules.
Diffstat (limited to 'manual')
| -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. |