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 Instructors Maven Silicon Deepika Paramesh Nelavalli Kaveri Chandana Maven Silicon Training Support

₹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 Curriculum

1 Subject

VLSI Verification

13 Exercises51 Learning Materials

Introduction

Getting Familiar with VLSI Verification course

Video
00:13:14
FREE

Verification Methodology Overview

Introduction to Verification Methodology

Video
00:22:25

Verification Process

Video
00:21:46

Reusable TB

Video
00:07:24
FREE

Verification Environment Architecture

Video
00:19:02

Constraint Random Coverage Driven Verification

Video
00:25:37

Verification Methodologies & Summary

Video
00:27:11

Knowledge Check : Verification Methodology Overview

Exercise

SystemVerilog Language Concepts

SV Concepts Agenda

Video
00:06:38
FREE

SV Overview

Video
00:11:16

SV Transactions

Video
00:14:46

SV Interface

Video
00:14:51

SV Virtual Interface

Video
00:11:40

SV OOP

Video
00:13:56

SV Randomization & Functional Coverage

Video
00:06:47

SV TB Architecture

Video
00: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
00:10:50

SV Data Types - Strings,Packages & Summary

Video
00:09:04

SV Data Types - 2 State, Struct & Enum

Video
00:15:27

Knowledge Check : Data Types

Exercise

SystemVerilog Memories

SV Memories - Introduction, Packed and Multi Dimensional Arrays

Video
00:09:45

SV Memories - Associative Arrays, Array Methods & Summary

Video
00:13:19

SV Memories - Dynamic Arrays & Queues

Video
00:07:41

Knowledge Check:Memories

Exercise

SystemVerilog Tasks & Functions

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

Video
00:11:32

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

Video
00:09:52

Knowledge Check : Tasks & Functions

Exercise

SystemVerilog Interfaces

SV Interfaces - Introduction & Verilog ports Vs SV Interface

Video
00:18:44

SV Interfaces - Modports & Clocking Block

Video
00:18:30

SV Interfaces - Examples & Summary

Video
00:20:49

Knowledge Check:Interface & Clocking Block

Exercise

SystemVerilog Object Oriented Programming - Basics

SV OOP - Introduction, Class Data Type & Objects

Video
00:15:05

SV OOP - Shallow Vs Deep Copy & Summary

Video
00:17:30

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

Video
00:17:00

Knowledge Check: Basic OOP

Exercise

SystemVerilog Object Oriented Programming - Advanced

SV OOP - Introduction, Inheritance & Super

Video
00:20:50

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

Video
00:21:53

SV OOP - Static properties & methods and Pass by ref

Video
00:15:23

Knowledge Check: Advanced OOP

Exercise

SystemVerilog Randomization

SV Randomization - Introduction, rand and randc

Video
00:10:58

SV Randomization - Set Membership, Constraints & Summary

Video
00:13:22

SV Randomization - Randomize, Pre and Post randomize & Constraints

Video
00:12:52

Knowledge Check: Randomization

Exercise

SystemVerilog Threads, Mailboxes and Semaphores

SV Threads , Events, Mailbox and Semaphores

Video
00:23:11

Knowledge Check : Threads , Events, Semaphore & Mailbox

Exercise

SystemVerilog Virtual Interface

SV Virtual Interface - Introduction, Implementation & Examples

Video
00:17:21

Knowledge Check : Virtual Interface

Exercise

SystemVerilog Functional Coverage

SV Functional Coverage - Introduction & CRCDV

Video
00:15:51

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

Video
00:17:30

Knowledge Check : Functional Coverage

Exercise

Case Study 1 : Dual Port RAM - SystemVerilog TB

Verification Paln

Video
00:10:18

Testbench Architecture and Verification Flow

Video
00:08:12

Transaction and Generator

Video
00:10:55

Interface and Drivers

Video
00:13:10

Monitors

Video
00:08:56

Scoreboard and Reference Model

Video
00:12:59

Environment and Testcases

Video
00:13:16

Case Study 2 : Maven SoC - SystemVerilog TB

Maven SoC SystemVerilog Verification Environment

Video
00:10:45

Feedback Form

Feedback Form

External Link

Universal Verification Methodology Overview

UVM_Introduction

Video
00:43:18

Advanced_UVM_CaseStudies

Video
00:48:13

Knowledge Check : Introduction to UVM

Exercise

Course Instructor

tutor image

Maven Silicon

306 Courses   •   394483 Students


tutor image

Deepika

1 Courses   •   2 Students

tutor image

Paramesh Nelavalli

tutor image

Kaveri

tutor image

Chandana

tutor image

Maven Silicon Training Support

47 Courses   •   4326 Students

Ratings & Reviews

4.8 /5

150 ratings

96 reviews

5

82%

4

18%

3

0%

2

0%

1

0%
S
Susmitha

2 years ago

GB
g b sidda umamaheswara reddy

2 years ago

Informative, Easy to understand.
V
V.Sirisha

2 years ago

great

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