Formal verification of RISC-V processors

When: 27 April 2020, 1700-18.00 British Summer Time

Presenter: Dr Ashish Darbari

 Please make  a donation to WHO to fight COVID-19

Verify beyond doubt that your design works

In this webinar, we will describe a process of verifying RISC-V processors using formal verification.

RISC-V processors have become the talk of the town. The RISC-V architecture is open-source encouraging a whole family of new developers to design RISC-V cores. Design of processors have truly become democratized, but what about validation and verification? How do we ensure that these processors work as intended? Can simulation alone ensure that these processors do not have any corner-case defects?

In this webinar, we will explore why formal verification is a necessity for verifying RISC-V designs, and how we can exploit formal methods to find corner-case bugs in pre-verified processors, already deployed in silicon. Anyone with an interest in processor design and verification will benefit from this webinar.

Who should attend?

Designers
Verification Engineers
Verification Managers
Architects (CPU/GPU/System)
Practising verification professionals
Undergraduate students
Postgraduate students in CS, and EEE

What do you learn?

Why processors are complex? 
How to apply formal verification for the processors?

How to find bugs and exhaustively verify processors?