close By using this website, you agree to the use of cookies. Detailed information on the use of cookies on this website can be obtained on OneSpin's Privacy Policy. At this point you may also object to the use of cookies and adjust the browser settings accordingly.

RISC-V Q&A Session

We've asked the RISC-V community about their most pressing questions and turned to our verification experts to answer them.

RISC-V Q&A Session with Shaun Giebel

Watch the complete RISC-V Q&A Session

RISC-V Q&A Session with Shaun Giebel

Shaun Giebel, director of product management at OneSpin, answers questions around RISC-V verification that community members submitted.

RISC-V Q&A: Introduction

The Challenges of Verifying RISC-V

RISC-V Q&A: Introduction

Shaun Giebel, director of product management, gives a quick introduction to the challenges of verifying RISC-V but also shows how OneSpin's verification methodology can help to deal with the complexity of such open-source cores.

RISC-V Q&A: Question #1

Is there a special formal technique for RISC-V only?

RISC-V Q&A: Question #1

Shaun Giebel goes into the details about the formal approach for verifying RISC-V, especially with regards to property creation under the constraints of the dedicated ISA.

RISC-V Q&A: Question #2

Since RISC-V is a huge design, how can one verify it, and what are the initial assumptions?

RISC-V Q&A: Question #2

Shaun Giebel gives tips on how to tackle larger RISC-V designs by using the so-called "divide-and-conquer" verification approach.

RISC-V Q&A: Question #3

What could be the benefits of using formal tools instead of conventional simulation tools if a company desires to certify a RISC-V implementation against safety-critical standards?

RISC-V Q&A: Question #3

For Shaun Giebel, director of product management at OneSpin, the benefits of using formal instead of conventional simulation clearly stand out. In this Q&A, he goes into the details of how formal beats simulation, especially with regards to safety-critical designs.