dots bg

RISC-V Processor IP Verification

5
(1 rating)
Course Instructor Maven Silicon
To purchase this course, please contact the admin
dots bg

Course Overview

The RISC-V Processor is becoming very popular and influential, like the open-source operating system Linux, as it's based on the RISC-V open ISA [Instruction Set Architecture], which is open and license-free. In this AI era, chip designers are empowered with open computing solutions like RISC-V Open ISA to design powerful AI chips using various processors and accelerators. As RISC-V Open ISA democratizes processor design, chip designers can now dream of independently creating their processors and chips with their innovations. So, it's the right time for chip designers and VLSI enthusiasts to explore the RISC-V Open ISA and how to verify a RISC-V processor efficiently. This course will cover the RISC-V ISA, which includes Base ISAs, Privilege Architecture - Machine, Supervisor and Hypervisor ISAs/Extensions, RISC-V Standard Extensions, Interrupts, RISC-V Debug and Pipelined architecture. As part of this hands-on course, you will learn Verification methodologies, SystemVerilog, Universal Verification Methodology [UVM], SVA, Code and functional coverage, and verify a multi-stage Pipeline Processor RTL using UVM. This project experience will help you to deal with verifying any complex RISC-V processors.

Course Curriculum

8 Subjects

RISC-V Processor Architecture

9 Exercises42 Learning Materials

RISC-V Overview

RISC-V Overview

Video
000

RISC-V Overview Knowledge Check

Exercise

RISC-V Open ISA

RISC-V Open ISA Part-1 - (Introduction to Various ISA's and Extensions of RISC-V)

Video
000

RISC-V Open ISA Part-2 (SoC architecture based on RISC-V ISA)

Video
000

RISC-V - Open ISA

Exercise

RISC-V ISA

RISC-V ISA Part-1 ( introduction)

Video
000

RISC-V ISA Part-2 ( RISC-V Registers and Modes)

Video
000

RISC-V ISA Part-3 ( introduction to Privileged Architecture)

Video
000

RISC-V Base ISA

Base ISA

Video
000

RV 32I Instructions

RV32I Base Instructions(R & I type)

Video
000

RV32I Base Instructions(S & B Type)

Video
000

RV32I Base Instructions(J Type)

Video
000

RV32I Base Instructions (U type)

Video
000

Knowledge Check : RISC-V ISA

Exercise

RISC-V Extensions

RISC-V F and D Extensions Part-1 (How to represent Floating Point Numbers)

Video
000

RISC-V F and D Extensions Part-2 (Overview on IEEE 754 - 2008 standard)

Video
000

RISC-V F and D Extensions Part-3 (Floating Point Registers and Instruction Encoding)

Video
000

RISC-V F and D Extensions Part-4 (F&D Instructions and examples)

Video
000

RISC-V M Extensions

Video
000

RISC-V A Extension

Video
000

RISC-V C-Extension - Part-1 (Introduction to C Extension)

Video
000

RISC-V C-Extension - Part-2 (Instructions available in C Extension)

Video
000

Knowledge Check : RISC-V Extensions

Exercise

RISC-V F and D Extensions Part-3 (Floating Point Registers and Instruction Encoding)

Video
000

RISC-V privileged ISA

Privileged Architecture Part-1 (Introduction to Privileged Architecture)

Video
000

Privileged Architecture Part-2 (CSR's available in Privileged Architectures)

Video
000

RISC-V - Privileged ISA

Exercise

RISC-V Machine ISA

Machine ISA Part -1 ( Introduction to Machine ISA and few CSR's)

Video
000

Machine ISA Part -2 (mstatus and trap delegation CSR's)

Video
000

Machine ISA Part -3 (Trap Handling Process and the corresponding CSR's)

Video
000

Machine ISA Part -4 (Machine Timer Registers and Machine Mode Privileged Instructions)

Video
000

RISC-V Machine ISA

Exercise

RISC-V Supervisor ISA

Supervisor ISA Part-1 (Introduction to Supervisor ISA and ststaus CSR)

Video
000

Supervisor ISA Part-2 (CSR's available for Supervisor Mode & Introduction to Translation Process)

Video
000

Supervisor ISA Part-3 ( satp CSR, various translation modes and page sizes)

Video
000

Supervisor ISA Part-4 (Translation Process in SV32 Mode)

Video
000

Supervisor ISA Part-5 (SV 39, SV 48 and SV 57 Translation Modes)

Video
000

Knowledge Check : Supervisor ISA

Exercise

Case Study: RISC-V Operating System

RISC-V OS - Overview

Video
000

RISC-V OS - Booting Process

Video
000

RISC-V OS - Paging

Video
000

RISC-V OS - Kernel Traps

Video
000

RISC-V OS - User Traps

Video
000

RISC-V Hypervisor ISA

Hypervisor - Part-1 (Introduction to Hypervisor Mode)

Video
000

Hypervisor - Part-2 ( Hypervisor Mode CSR's Part-1)

Video
000

Hypervisor - Part-3 (Hypervisor Mode CSR's Part-2)

Video
000

Hypervisor - Part-4 (VS Mode CSR's)

Video
000

Hypervisor - Part-5 (Hypervisor Mode Instructions)

Video
000

Knowledge Check : Hypervisor ISA

Exercise

PMA and PMP

RISC-V PMA and PMP

Video
000

Knowledge Check : PMA and PMP

Exercise

RISC-V PLIC

1 Exercises2 Learning Materials

PLIC

PLIC Part -1 (Introduction to PLIC)

Video
000

PLIC Part -2 (Operation of PLIC and various Registers in PLIC)

Video
000

Knowledge Check : RISC-V PLIC

Exercise

RISC-V Debug

1 Exercises4 Learning Materials

Debug

RISC-V Debug - Part - 1 (Introduction to RISC-V Debug)

Video
000

RISC-V Debug - Part - 2 (RISC-V Debug System)

Video
000

RISC-V Debug - Part - 3 (RISC-V Debug CSR's)

Video
000

RISC-V Debug - Part - 4 (Debug CSR's and Debug Process)

Video
000

Knowledge Check : RISC-V Debug

Exercise

RISC-V Software Interfaces and Programming

4 Exercises13 Learning Materials

Application Binary Interface (ABI)

ABI_V1(Introduction to ABI)

Video
000

ABI_V2 (RISC-V Calling Conventions Part-1)

Video
000

ABI_V3 (RISC-V Calling Conventions Part-2)

Video
000

ABI_V4 (RISC-V Calling Conventions Part-3)

Video
000

ABI_V5 (RISC_V ELF Specifications)

Video
000

ABI_V6 (RISC-V Linker Relaxation)

Video
000

Knowledge Check : Application Binary Interface (ABI)

Exercise

Supervisor Binary Interface (SBI)

SBI_V1 (Introduction to SBI)

Video
000

SBI_V2 (Case Study on Open SBI)

Video
000

SBI_V3 (SBI Extensions)

Video
000

Knowledge Check : Supervisor Binary Interface (SBI)

Exercise

RISC-V Assembly Programming

RISC-V Assembly Programming Part-1 (Assembly Syntax)

Video
000

RISC-V Assembly Programming Part-1 (Assembly Examples)

Video
000

Knowledge Check : RISC-V Assembly Programming

Exercise

RISC-V Toolchain

RISC-V Toolchain Part-1 (Introduction to RISC-V GCC Toolchain)

Video
000

RISC-V Toolchain Part-2 (RISC-V Linker Scripts and ISS)

Video
000

Knowledge Check : RISC-V Toolchain

Exercise

RISC-V Caches

1 Exercises5 Learning Materials

Cache Memory

Memory Hierarchy

Video
000

Cache Introduction

Video
000

Cache Associativity

Video
000

Cache Policies

Video
000

Cache Coherency

Video
000

Knowledge Check : Caches

Exercise

Virtual Memory Management

1 Exercises8 Learning Materials

Virtual Memory Management

VMM Introduction

Video
000

Memory Concerns

Video
000

Virtual Memory

Video
000

Page Table

Video
000

Address Translation

Video
000

TLB

Video
000

Summary

Video
000

Knowledge Check : Virtual Memory Management

Exercise

TLB

Video
000

RISC-V Processor IP - RTL Verification

30 Exercises129 Learning Materials

Code Coverage

Definition of Code Coverage

Video
6:54

Statement and branch coverage

Video
7:17

Condition & Expression Coverage

Video
7:6

Toggle & FSM Coverage

Video
7:47

Questasim commands for Code Coverage

Video
11:26

Makefile for Simulations

Video
8:36

Knowledge Check-Code Coverage 1

Exercise

Code Coverage Labs

Adv. Verilog and Code Coverage Labs User Guide

PDF

Advanced Verilog & Code Coverage Lab Manual - Questasim

PDF

Code Coverage Lab Solutions

Video
25:16

Code Coverage - Reference Book

Code Coverage Reference Book

PDF

Verification Methodology Overview

Introduction to Verification Methodology

Video
22:25

Verification Process

Video
21:46

Reusable TB

Video
7:24

Verification Environment Architecture

Video
19:2

Verification Methodologies & Summary

Video
27:11

Constraint Random Coverage Driven Verification

Video
25:37

Knowledge Check : Verification Methodology Overview

Exercise

SystemVerilog Language Concepts

SV Concepts Agenda

Video
6:38

SV Overview

Video
11:16

SV Randomization & Functional Coverage

Video
6:47

SV TB Architecture

Video
10:19

SV Interface

Video
14:51

SV Virtual Interface

Video
11:40

SV OOP

Video
13:56

SV Transactions

Video
14:46

Knowledge Check : SV language Concepts Overview

Exercise

SystemVerilog Reference Book

SystemVerilog - Quick Reference Guide

PDF

SystemVerilog Datatypes

SystemVerilog Introduction & Logic Data Type

Video
10:50

SV Data Types - 2 State, Struct & Enum

Video
15:27

SV Data Types - Strings,Packages & Summary

Video
9:4

Knowledge Check : Data Types

Exercise

SystemVerilog Memories

SV Memories - Introduction, Packed and Multi Dimensional Arrays

Video
9:45

SV Memories - Dynamic Arrays & Queues

Video
7:41

SV Memories - Associative Arrays, Array Methods & Summary

Video
13:19

Knowledge Check:Memories

Exercise

SystemVerilog Tasks & Functions

SV Tasks & Functions - Introduction, Void Functions, Fun return & Automatic Task

Video
11:32

SV Tasks & Functions - Pass by value & ref and Summary

Video
9:52

Knowledge Check : Tasks & Functions

Exercise

SystemVerilog Interfaces

SV Interfaces - Introduction & Verilog ports Vs SV Interface

Video
18:44

SV Interfaces - Modports & Clocking Block

Video
18:30

SV Interfaces - Examples & Summary

Video
20:49

Knowledge Check:Interface & Clocking Block

Exercise

SystemVerilog Object Oriented Programming - Basics

SV OOP - Introduction, Class Data Type & Objects

Video
15:5

SV OOP - Constructor, Null Object, Object assignments and copy

Video
17:00

SV OOP - Shallow Vs Deep Copy & Summary

Video
17:30

Knowledge Check: Basic OOP

Exercise

SystemVerilog Object Oriented Programming - Advanced

SV OOP - Introduction, Inheritance & Super

Video
20:50

SV OOP - Static properties & methods and Pass by ref

Video
15:23

SV OOP - Polymorphism, cast, Virtual & Parametrised classes, Summary

Video
21:53

Knowledge Check: Advanced OOP

Exercise

SystemVerilog Randomization

SV Randomization - Introduction, rand and randc

Video
10:58

SV Randomization - Randomize, Pre and Post randomize & Constraints

Video
12:52

SV Randomization - Set Membership, Constraints & Summary

Video
13:22

Knowledge Check: Randomization

Exercise

SystemVerilog Threads, Mailboxes and Semaphores

SV Threads , Events, Mailbox and Semaphores

Video
23:11

Knowledge Check : Threads , Events, Semaphore & Mailbox

Exercise

SystemVerilog Virtual Interface

SV Virtual Interface - Introduction, Implementation & Examples

Video
17:21

Knowledge Check : Virtual Interface

Exercise

SystemVerilog Functional Coverage

SV Functional Coverage - Introduction & CRCDV

Video
15:51

SV Functional Coverage - Covergroup, Coverpoint, Bins, Cross, Methods & Summary

Video
17:30

Knowledge Check : Functional Coverage

Exercise

Case Study 1 : Dual Port RAM - SystemVerilog TB

Verification Plan

Video
10:18

Testbench Architecture and Verification Flow

Video
8:12

Transaction and Generator

Video
10:55

Interface and Drivers

Video
13:10

Monitors

Video
8:56

Scoreboard and Reference Model

Video
12:59

Environment and Testcases

Video
13:16

Case Study 2 : Maven SoC - SystemVerilog TB

Maven SoC SystemVerilog Verification Environment

Video
10:45

SystemVerilog Labs

SystemVerilog Lab Manual

PDF

Lab 1 Solution : Data Types

Video
17:56

Lab 2 Solution : Interfaces

Video
9:26

Lab 3 Solution : OOP Basics

Video
8:51

Lab 4 Solution : Advanced OOP

Video
18:9

Lab 5 Solution : Randomization

Video
5:41

Lab 6 Solution : Threads, Mailbox & Semaphores

Video
22:2

Lab 7 Solution : Transaction

Video
9:43

Lab 8 Solution : Transactors

Video
9:1

Lab 9 Solution : Scoreboard & Reference Model

Video
10:59

Lab 10 Solution : Environment & Testcases

Video
11:20

SVA Introduction & Types of Assertions

What are Assertions?

Video
13:7

Necessity of using SystemVerilog Assertions

Video
14:46

Types of Assertions

Video
14:55

SVA - Knowledge Check - 1

Exercise

SVA Building Blocks, System Functions

SVA Building Blocks

Video
17:34

System Functions

Video
11:48

SVA - Knowledge Check - 2

Exercise

Writing Sequences and Implication Operators

How to write sequences?

Video
11:21

Implication Operators

Video
24:34

Exercise based on Implication Operators and Timing Windows

Video
14:18

SVA - Knowledge Check - 3

Exercise

Repetition Operators and Sequence Composition

Repetition Operators

Video
21:46

Sequence Composition

Video
19:46

Methods for Sequences

Video
7:21

SVA - Knowledge Check - 4

Exercise

Miscellaneous Concepts and Connecting Assertions to DUT

Miscellaneous Concepts in SVA

Video
7:27

Connecting Assertions to DUT

Video
7:59

SVA - Knowledge Check - 5

Exercise

SVA Labs

SVA Labs User Guide

PDF

SVA Lab Solution

Video
12:5

SVA Lab Manual

PDF

SVA Reference Book

SVA Reference Book

PDF

Universal Verification Methodology Overview

Introduction to UVM

Video
10:47

UVM Concepts

Video
4:37

UVM SoC TB

Video
8:49

UVM AHB UVC

Video
7:8

UVM SoC TB Examples

Video
5:31

Knowledge Check : Introduction to UVM

Exercise

UVM Reference Book

UVM - Quick Reference Guide

PDF

UVM TB Architecture and Base Class Hierarchy

UVM Testbench Architecture

Video
13:48

UVM Base Class Hierarchy

Video
14:31

Knowledge Check - UVM TB Architecture and Base Class Hierarchy

Exercise

UVM Factory

UVM Factory - Importance of using factory

Video
11:19

UVM Factory - Registration Process

Video
6:2

UVM Factory - Create Method and Factory Overriding

Video
11:47

Knowledge Check - UVM Factory

Exercise

UVM - Stimulus Modelling & Testbench Overview

UVM Stimulus Modelling - Predefined Methods and Field Registration Process

Video
10:22

UVM Stimulus Modelling - Overriding the predefined do_ methods

Video
10:41

UVM - TB Overview

Video
10:44

Knowledge Check - UVM Stimulus Modelling & TB Overview

Exercise

UVM Phases & Reporting Mechanism

UVM Phases - Necessity of Phases & pre-run Phases

Video
16:27

UVM Phases - Run Phase, post-run Phases and Objection Mechanism

Video
13:13

UVM Reporting Mechanism

Video
15:1

Knowledge Check - UVM Phases & Reporting Mechanism

Exercise

UVM TLM Ports and Configuration

UVM TLM Ports - Blocking put and get ports

Video
11:35

UVM TLM Ports - TLM FIFO and Analysis Ports

Video
13:1

UVM Configuration - Introduction to Configuration Facility

Video
13:2

UVM Configuration - Configuration class and Configuration of Virtual Interface

Video
9:31

Knowledge Check - UVM TLM Ports and Configuration

Exercise

UVM - Creating UVM Testbench Components

Creating UVM TB Components - Sequencers & Drivers

Video
15:1

Creating UVM TB Components - Monitor, Agents, Env and Testcases

Video
16:30

Knowledge Check - UVM - Creating UVM Testbench Components

Exercise

UVM Sequences

UVM Sequences - Introduction and Sequence item flow

Video
11:35

UVM Sequences - Starting the sequences and Default Sequence

Video
15:17

Knowledge Check - UVM Sequences

Exercise

UVM - Virtual Sequences & Virtual Sequencers

UVM Virtual Sequences & Virtual Sequencers - Introduction

Video
13:33

UVM Virtual Sequences & Virtual Sequencers - implementation

Video
8:22

Knowledge Check - UVM - Virtual Sequences & Virtual Sequencers

Exercise

UVM Callbacks & Events

UVM Callbacks

Video
9:23

UVM Events

Video
9:6

Knowledge Check - UVM Callbacks & Events

Exercise

UVM - Creating Scoreboard

UVM Creating Scoreboard

Video
9:20

Knowledge Check - UVM - Creating Scoreboard

Exercise

UVM Labs

UVM Lab Manual

PDF

Lab1 Solution : Stimulus Modeling

Video
16:2

Lab2 Solution : Factory Overriding

Video
8:19

Lab3 Solution : UVM Phases

Video
10:22

Lab4 Solution : Creating UVM agent

Video
11:44

Lab5 Solution : UVM Sequences

Video
13:22

Lab6 Solution : Virtual Interface

Video
5:50

Lab7 Solution : Agent Integration

Video
8:12

Lab8 Solution : UVM Scoreboard

Video
6:39

Lab9 Solution : SoC - UVM VE implementation

Video
8:41

Lab10 Solution : Coverage & Regression

Video
4:33

UVM - Register Abstraction Layer

UVM RAL - Intro & Definition of Register Block

Video
15:55

UVM RAL - Adapter, Predictor and Integration

Video
20:36

UVM RAL - Definition of Register Sequences

Video
11:55

Knowledge Check - UVM RAL

Exercise

RISC-V Processor Verification - Project

7 Learning Materials

RISC-V RV32I Quick reference Guides

RISC-V RV32I reference Card for V-Plan

PDF

RISC-V RV32I - Quick Reference Guide for Instrcutions

PDF

RISC-V Specification

The RISC-V Instruction Set Manual

PDF

MSRV32I Core Design Specification

PDF

RISC-V Processor Verification

RISC-V Verification Plan-1

Video
000

RISC-V Verification Plan -2

Video
000

RISC-V TB Architecture

Video
000

Course Instructor

tutor image

Maven Silicon

1 Courses   •   1 Students


Ratings & Reviews

5 /5

1 ratings

1 reviews

5

100%

4

0%

3

0%

2

0%

1

0%
NH
Nithin H

2 months ago

This RISC-V course is well-structured and highly beneficial for my career.