dots bg

VLSI Verification

Optimize your VLSI designs with effective verification at Maven Silicon. Explore proven strategies and methodologies for robust VLSI verification processes.

4.8
(150 ratings)
Course Instructor Maven Silicon

₹18900.00 ₹24900.00 24% OFF

dots bg

Course Overview

Welcome to the VLSI Verification course – your comprehensive journey into mastering verification methodologies in VLSI design. This course covers a range of modules, from introducing the basics to in-depth discussions on SystemVerilog language concepts, memories, interfaces, object-oriented programming, randomization, functional coverage, and more. Engage in case studies involving Dual Port RAM and Maven SoC using SystemVerilog testbenches. Conclude with an overview of the Universal Verification Methodology. Join us on this insightful exploration into the world of VLSI Verification!

Course Instructor

tutor image

Maven Silicon

262 Courses   •   326037 Students


Ratings & Reviews

4.8 /5

150 ratings

96 reviews

5

82%

4

18%

3

0%

2

0%

1

0%
S
Susmitha

a year ago

GB
g b sidda umamaheswara reddy

a year ago

Informative, Easy to understand.
V
V.Sirisha

a year ago

great

Course Curriculum

1 Subject

VLSI Verification

13 Exercises51 Learning Materials

Introduction

Getting Familiar with VLSI Verification course

Video
13:14
FREE

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

Constraint Random Coverage Driven Verification

Video
25:37

Verification Methodologies & Summary

Video
27:11

Knowledge Check : Verification Methodology Overview

Exercise

SystemVerilog Language Concepts

SV Concepts Agenda

Video
6:38

SV Overview

Video
11:16

SV Transactions

Video
14:46

SV Interface

Video
14:51

SV Virtual Interface

Video
11:40

SV OOP

Video
13:56

SV Randomization & Functional Coverage

Video
6:47

SV TB Architecture

Video
10:19

Knowledge Check : SV language Concepts Overview

Exercise

SystemVerilog Reference Book - Download FYR

SystemVerilog - Quick Reference Guide

PDF

SystemVerilog Datatypes

SystemVerilog Introduction & Logic Data Type

Video
10:50

SV Data Types - Strings,Packages & Summary

Video
9:4

SV Data Types - 2 State, Struct & Enum

Video
15:27

Knowledge Check : Data Types

Exercise

SystemVerilog Memories

SV Memories - Introduction, Packed and Multi Dimensional Arrays

Video
9:45

SV Memories - Associative Arrays, Array Methods & Summary

Video
13:19

SV Memories - Dynamic Arrays & Queues

Video
7:41

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 - Shallow Vs Deep Copy & Summary

Video
17:30

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

Video
17:00

Knowledge Check: Basic OOP

Exercise

SystemVerilog Object Oriented Programming - Advanced

SV OOP - Introduction, Inheritance & Super

Video
20:50

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

Video
21:53

SV OOP - Static properties & methods and Pass by ref

Video
15:23

Knowledge Check: Advanced OOP

Exercise

SystemVerilog Randomization

SV Randomization - Introduction, rand and randc

Video
10:58

SV Randomization - Set Membership, Constraints & Summary

Video
13:22

SV Randomization - Randomize, Pre and Post randomize & Constraints

Video
12:52

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 Paln

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

Feedback Form

Feedback Form

External Link

Universal Verification Methodology Overview

UVM_Introduction

Video
43:18

Advanced_UVM_CaseStudies

Video
48:13

Knowledge Check : Introduction to UVM

Exercise

FAQs

1. What is formal verification in VLSI?

Formal verification in VLSI is a process that uses mathematical techniques to prove the correctness of designs, ensuring that the hardware behaves as expected in all possible scenarios. It helps detect design errors early in the development phase, making the design process more reliable and efficient.

2. What are the tools used for VLSI verification?

VLSI verification tools are software tools that assist in checking and validating the functionality of VLSI designs. Some common tools include simulation-based tools, formal verification tools, and coverage analysis tools, all aimed at ensuring the correctness and reliability of the design.

3. What does a VLSI verification course cover?

A VLSI verification course covers key concepts like digital design verification, verification methodologies (such as UVM and SystemVerilog), testbenches, assertion-based verification, and the usage of tools like ModelSim, Questa, and others to verify VLSI designs.

4. What is included in the advanced VLSI design and verification course?

An advanced VLSI design and verification course focuses on in-depth topics such as advanced verification techniques, formal verification, assertion-based verification, and VLSI design methodologies. It is designed for professionals seeking to enhance their skills in VLSI verification and design.

5. What is the VLSI design verification course about?

The VLSI design verification course provides training on verifying the functionality of VLSI designs through simulation and formal verification techniques. It covers topics like creating testbenches, verification methodologies, and working with VLSI design tools to ensure the designs meet their specifications.

6. What are design verification tools used in VLSI?

Design verification tools in VLSI are specialized software tools used to verify that the designs meet their functional specifications. These include simulation tools like ModelSim, Questa, and formal verification tools that help detect design flaws and ensure correctness in VLSI designs.

7. What are formal verification tools in VLSI?

Formal verification tools in VLSI use mathematical proofs to check the correctness of a design, ensuring that all possible design paths are verified. These tools help in identifying potential design issues that may be missed during traditional simulation-based verification.

8. What is the physical verification flow in VLSI?

The physical verification flow in VLSI is a set of processes that ensure the physical design meets the required specifications and constraints. This includes checks for DRC (Design Rule Checking), LVS (Layout vs. Schematic), and ERC (Electrical Rule Checking) to confirm the design's physical integrity.

9. How does VLSI testing and verification work?

VLSI testing and verification involve a series of steps to ensure that the design functions correctly. This includes creating and running testbenches, simulating the design, performing formal verification, and using coverage analysis tools to measure the completeness of the tests.

Get in touch

We'd love to hear from you!

Email us

Our support team is here to help.


elearn@maven-silicon.com

Visit us

Come say hello at our office.

# 21/1A, III Floor, MS Plaza, Gottigere, 
Bannerghatta Road, Bangalore - 560076

Call us

Mon - Sat from 8am to 7pm

080 6909 6300