close By using this website, you agree to the use of cookies. Detailed information on the use of cookies on this website can be obtained on OneSpin's Privacy Policy. At this point you may also object to the use of cookies and adjust the browser settings accordingly.

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


Nov 19, 2020


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.


Related Links