mirrors/sby
3
0
Fork 0
mirror of https://github.com/YosysHQ/sby.git synced 2026-08-01 00:54:05 +00:00
Code Activity

Merge pull request #369 from shivamtiwari020505/docs-mode-prep-task-tags

Browse source 
docs: document prep mode and skip_prep
This commit is contained in:
KrystalDelusion 2026-07-16 10:55:05 +12:00 • committed by GitHub
commit 1d59cdb9c4
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
1 changed files with 4 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

4
docs/source/reference.rst
View file

@ -124,6 +124,7 @@ Mode Description
``prove`` Unbounded model check to verify safety properties (``assert(...)`` statements)
``live`` Unbounded model check to verify liveness properties (``assert(s_eventually ...)`` statements)
``cover`` Generate set of shortest traces required to reach all cover() statements
``prep`` Prepare the design and write the preprocessed model without running solver engines
========= ===========
..
@ -176,6 +177,9 @@ options are:
| | | ``model/design_<name>.*`` files within the working |
| | | directory, even when not required to run the task. |
+-------------------+------------+---------------------------------------------------------+
| ``skip_prep`` | All | Skip SBY's internal preparation step. Values: ``on``, |
| | | ``off``. Default: ``off`` |
+-------------------+------------+---------------------------------------------------------+
| ``smtc`` | ``bmc``, | Pass this ``.smtc`` file to the smtbmc engine. All |
| | ``prove``, | other engines are disabled when this option is used. |
| | ``cover`` | Default: None |