docs/source/index.rst

   1
   2 SymbiYosys (sby) Documentation
   3 ==============================
   4
   5 SymbiYosys (sby) is a front-end driver program for Yosys-based formal
   6 hardware verification flows. SymbiYosys provides flows for the following
   7 formal tasks:
   8
   9    * Bounded verification of safety properties (assertions)
  10    * Unbounded verification of safety properties
  11    * Generation of test benches from cover statements
  12    * Verification of liveness properties
  13    * Formal equivalence checking [TBD]
  14    * Reactive Synthesis [TBD]
  15
  16 (Items marked [TBD] are features under construction and not available
  17 at the moment.)
  18
  19 .. toctree::
  20    :maxdepth: 3
  21
  22    install.rst
  23    quickstart.rst
  24    reference.rst
  25    verilog.rst
  26    verific.rst
  27    license.rst
  28