mirror of
https://github.com/YosysHQ/sby.git
synced 2025-04-06 14:24:08 +00:00
32 lines
727 B
ReStructuredText
32 lines
727 B
ReStructuredText
|
|
SymbiYosys (sby) Documentation
|
|
==============================
|
|
|
|
SymbiYosys (sby) is a front-end driver program for Yosys-based formal
|
|
hardware verification flows. SymbiYosys provides flows for the following
|
|
formal tasks:
|
|
|
|
* Bounded verification of safety properties (assertions)
|
|
* Unbounded verification of safety properties [TBD]
|
|
* Generation of test benches from cover statements [TBD]
|
|
* Verification of liveness properties [TBD]
|
|
* Formal equivalence checking [TBD]
|
|
|
|
(Items marked [TBD] are features under construction and not available
|
|
at the moment.)
|
|
|
|
.. toctree::
|
|
:maxdepth: 2
|
|
|
|
quickstart.rst
|
|
reference.rst
|
|
license.rst
|
|
|
|
|
|
Indices and tables
|
|
==================
|
|
|
|
* :ref:`genindex`
|
|
* :ref:`search`
|
|
|