Formal Verification of RISC-V® Processors
The verification of modern-day processors is a non-trivial exercise, and RISC-V® is no exception. In this article, we present a formal verification methodology for verifying a family of RISC-V® “low-power” processors. Our methodology is both new and unique in the way we address the challenges of verification going beyond just functional verification.
![](https://res.cloudinary.com/dlzix82l9/image/upload/f_auto/v1712932304/Verification-Horizons/March-2020/verification-horizons_formal-verification-of-risc-v-processors_h1wmkq.jpg)
Full-access members only
Register your account to view Formal Verification of RISC-V® Processors
Full-access members gain access to our free tools and training, including our full library of articles, recorded sessions, seminars, papers, learning tracks, in-depth verification cookbooks, and more.