Skip to main content
In the News

OpenHW TV S01E06 – A deep dive into Formal Verification for the CORE-V CVE4 | OpenHW Group

By November 20, 2020November 24th, 2020No Comments

Last episode 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. Again a lively panel session and Q&A session. Enjoy.

Stay Connected With RISC-V

We send occasional news about RISC-V technical progress, news, and events.