mirror of
https://github.com/YosysHQ/sby.git
synced 2025-04-06 22:34:07 +00:00
28 lines
694 B
ReStructuredText
28 lines
694 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
|
|
* Generation of test benches from cover statements
|
|
* Verification of liveness properties
|
|
* Formal equivalence checking [TBD]
|
|
* Reactive Synthesis [TBD]
|
|
|
|
(Items marked [TBD] are features under construction and not available
|
|
at the moment.)
|
|
|
|
.. toctree::
|
|
:maxdepth: 3
|
|
|
|
quickstart.rst
|
|
reference.rst
|
|
verilog.rst
|
|
verific.rst
|
|
license.rst
|
|
|