webinar register page

Webinar banner
OpenHW TV S1 E06 - A deep dive into Formal Verification for the CORE-V CVE4
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.

Nov 19, 2020 04:00 PM in London

Webinar is over, you cannot register now. If you have any questions, please contact Webinar host: Publitek.