Recent Developments from YosysHQ

From F-Si wiki
Jump to navigation Jump to search
  • Speaker: N. Engelhardt (YosysHQ GmbH)
  • email:



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.


General information


  • The software wishes to interface with the following tools: TBD
  • The project seeks help on: TBD