Please post this news story on the OpenHW

Created by: chrisguindon

On this webpage: https://www.openhwgroup.org/resources/openhwtv/

OpenHW TV S01 E06 Deep Dive into Formal Verification for the CORE-V CVE4 Nov 20, 2020

OpenHWTV-S1E6

Our last webinar episode of 2020 is now available to watch on-demand. Last month we looked at our progress on the RTL functional freeze milestone for the CVE4 and how we arrived there with the high-quality verification work from our members. We had a lot of questions about the Formal Verification work carried out to get us this far, so we have dedicated this episode to a deep-dive into the Formal Verification work and to hear from our partners on what it actually means. As always, the panel session will be live for a Q&A with all our speakers.

View on YouTube: https://youtu.be/UfZ3jbH6eM0 View on youku.com: https://player.youku.com/embed/XNDk3Mjk4MzIyMA==

@flora8984461 Once this page is live, please submit a news item so that we can promote this on the openhwgroup homepage: http://newsroom.eclipse.org/node/add/news