mirrors/sby
3
0
Fork 0
mirror of https://github.com/YosysHQ/sby.git synced 2025-04-27 15:35:51 +00:00
Code Activity

Add "Reactive Synthesis" as TBD to documentation

Browse source
This commit is contained in:
Clifford Wolf 2017-05-22 12:26:02 +02:00
parent 8817f61de3
commit 7f871ec89a
1 changed files with 1 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

1
docs/source/index.rst
View file

@ -11,6 +11,7 @@ formal tasks:
* 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.)