mirror of
https://github.com/YosysHQ/sby.git
synced 2026-03-02 14:56:57 +00:00
25 lines
549 B
ReStructuredText
25 lines
549 B
ReStructuredText
|
|
SBY Documentation
|
|
==============================
|
|
|
|
SBY is a front-end driver program for Yosys-based formal
|
|
hardware verification flows. SBY provides flows for the following
|
|
formal tasks:
|
|
|
|
* Bounded verification of safety properties (assertions)
|
|
* Unbounded verification of safety properties
|
|
* Generation of test benches from cover statements
|
|
* Verification of liveness properties
|
|
|
|
.. toctree::
|
|
:maxdepth: 3
|
|
|
|
install.rst
|
|
quickstart.rst
|
|
usage.rst
|
|
reference.rst
|
|
autotune.rst
|
|
verilog.rst
|
|
verific.rst
|
|
license.rst
|
|
|