mirrors/yosys
3
0
Fork 0
mirror of https://github.com/YosysHQ/yosys synced 2025-06-21 13:23:40 +00:00
Code Activity

Tidying TODOs

Browse source
This commit is contained in:
Krystine Sherwin 2023-12-08 09:46:02 +13:00
parent 1e3b90ae56
commit aef9921fc9
No known key found for this signature in database
5 changed files with 25 additions and 9 deletions
Download patch file Download diff file Expand all files Collapse all files

13
docs/source/introduction.rst
View file

@ -117,13 +117,22 @@ Benefits of open source HDL synthesis
The extended Yosys universe
---------------------------
.. todo:: links and add SCY
In no particular order:
- SBY for formal verification
- https://github.com/YosysHQ/sby
- https://yosyshq.readthedocs.io/projects/sby
- EQY for equivalence checking
- https://github.com/YosysHQ/eqy
- https://yosyshq.readthedocs.io/projects/eqy
- MCY for mutation coverage
- https://github.com/YosysHQ/mcy
- https://yosyshq.readthedocs.io/projects/mcy
- SCY for deep formal traces
- https://github.com/YosysHQ/scy
History of Yosys
----------------