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.
Copyright © 2023 RISC-V International®. All rights reserved. RISC-V, RISC-V International, and the RISC-V logos are trademarks of RISC-V International. For trademark usage guidelines, please see our Brand Guidelines and Privacy Policy