Difference between revisions of "Recent Developments from YosysHQ"
Jump to navigation
Jump to search
(Insert Slides) |
|||
Line 7: | Line 7: | ||
==Abstract== | ==Abstract== | ||
Yosys serves as the backbone for a variety of tools, such as the formal property checker SBY or the mutation coverage tool MCY. | Yosys serves as the backbone for a variety of tools, such as the formal property checker [https://github.com/YosysHQ/sby SBY] or the mutation coverage tool [https://github.com/YosysHQ/mcy MCY]. | ||
This talk will explore the most recent addition, the sequential equivalence checking tool EQY, by walking through an example of equivalence checking the post-synthesis netlist produced by the open-source OpenLANE SkyWater130 flow against the original RTL. | This talk will explore the most recent addition, the sequential equivalence checking tool [https://github.com/YosysHQ/eqy EQY], by walking through an example of equivalence checking the post-synthesis netlist produced by the open-source OpenLANE SkyWater130 flow against the original RTL. | ||
There will also be a sneak peek at the upcoming | There will also be a sneak peek at the upcoming tool SCY. | ||
==Software== | ==Software== |
Revision as of 09:02, 17 July 2023
- Speaker: N. Engelhardt (YosysHQ GmbH)
- email: nak@yosyshq.com
Downloads
Abstract
Yosys serves as the backbone for a variety of tools, such as the formal property checker SBY or the mutation coverage tool MCY. This talk will explore the most recent addition, the sequential equivalence checking tool EQY, by walking through an example of equivalence checking the post-synthesis netlist produced by the open-source OpenLANE SkyWater130 flow against the original RTL. There will also be a sneak peek at the upcoming tool SCY.
Software
General information
- Repository: https://github.com/YosysHQ
- Main documentation website: https://yosyshq.readthedocs.io/en/latest/
- The software has been used in the following projects: OSS CAD Suite, Amaranth, OpenLANE,
- The software interfaces with the following projects: ABC, GHDL
Roadmap
- The software wishes to interface with the following tools: TBD
- The project seeks help on: TBD