RISC-V Processor Verification Requires the Complete Toolbox

Today’s complex processor-based systems enable technological advances in many market segments, such as AI, high performance computing, and automotive. However, verification of these systems introduces new challenges, spanning architectural verification of a custom RISC-V processor to memory coherency in a system containing thousands of cores. As the complexity of the design increases, so does the need for new tools and methods beyond simulation and UVM testbenches.

In this presentation, we will focus on RISC-V processors and present next-generation verification techniques that span the verification journey from a single RISC-V processor to complex systems with many RISC-V cores. To accommodate the flexible and evolving nature of the RISC-V ISA, as well as privilege mode features, out-of-order pipelines, interrupts and debug mode, RISC-V processor verification requires innovation in stimulus generation, comparison, and checking. The presentation will cover dynamic and formal approaches to verifying RISC-V cores, with topics including, but not limited to: ISA compliance verification and functional coverage, data path validation, functional verification of critical blocks, and security verification.

Multi-core designs introduce a new set of challenges, such as ensuring fair access to shared resources and cache and memory coherence. This presentation will discuss solutions designed to address these issues and prevent costly bug escapes to silicon. The size of multi-core designs and multi-processor SoCs means that a simulation-only verification strategy is impractical. Hardware-assisted verification becomes essential to ensuring correct operation in the multi-core and multi-processor designs of today and the future.

This presentation will demonstrate how next-generation processor verification tools and techniques combine with HAV platforms to create powerful and effective solutions. This presentation will elaborate the different decisions that go into the verification plan for RISC-V processors and processing subsystems and will discuss the different technologies and methodologies that are employed in a comprehensive approach to processor verification.

Larry is currently Executive Director, RISC-V Tools Business Development, in Synopsys. He was VP Worldwide Sales & Marketing, and a member of the founding team, for Imperas Software Ltd., until the acquisition by Synopsys. Prior to Imperas, Larry held VP Sales roles at a couple of EDA startups, and was VP of Worldwide Sales during the run-up to Verisity’s IPO. Before Verisity and SureFire Verification (acquired by Verisity), Larry held positions in sales and marketing for Exemplar Logic and Mentor Graphics. Larry started his career with 9 years working on infrared photodiode design and fabrication. Larry holds a BA in Physics from the University of California Berkeley, a MS in Applied and Engineering Physics from Cornell University, and a MBA from Clark University.