OpenHW TV: Episode 6 - A Deep Dive into Formal Verification for the CORE-V CVE4
Virtual Event | Register Online | Live Q&A | Nov. 19 2020

OpenHW TV S1 E06 - A deep dive into Formal Verification for the CORE-V CVE4
Event Description:
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 around 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.
OneSpin's Design Verification Product Manager Sven Beyer will be joining the panel.
Event Details
Date:
Nov 19, 2020
Time
04:00 PM GMT
About The Event Host
OpenHW TV is a video series created by the OpenHW Group, which is a not-for-profit, global organization driven by its members and individual contributors where hardware and software designers collaborate in the development of open-source cores, related IP, tools and software. OpenHW provides an infrastructure for hosting high quality open-source HW developments in line with industry best practices.