Scribd
Upload
12 views

VLSI Testing: Virendra Singh

This document discusses verification of VLSI designs. It begins with an introduction and acknowledgments. It then outlines the VLSI realization process from customer needs to design synthesis, verification, test development, fabrication, and manufacturing test. Definitions are provided for design synthesis and verification. As an example, the verification of a DVD player design is discussed. The large number of possible states that would need to be tested for full verification is calculated to show the complexity and time required. In the end, it is concluded that full verification of the DVD player design would take over 10 quintillion years.

Uploaded by

bigfatdash
Copyright
© Attribution Non-Commercial (BY-NC)
Available Formats
Download as PDF, TXT or read online on Scribd
12 views

VLSI Testing: Virendra Singh

This document discusses verification of VLSI designs. It begins with an introduction and acknowledgments. It then outlines the VLSI realization process from customer needs to design synthesis, verification, test development, fabrication, and manufacturing test. Definitions are provided for design synthesis and verification. As an example, the verification of a DVD player design is discussed. The large number of possible states that would need to be tested for full verification is calculated to show the complexity and time required. In the end, it is concluded that full verification of the DVD player design would take over 10 quintillion years.

Uploaded by

bigfatdash
Copyright
© Attribution Non-Commercial (BY-NC)
Available Formats
Download as PDF, TXT or read online on Scribd
You are on page 1/ 8

VLSI Testing

Introduction I t d ti

Virendra Singh
Indian Institute of Science Bangalore
[email protected]

E0 286: Testing & Verification of SoC Design Lecture 1 (Jan 13, 2011)
1

Acknowledgement
Prof. Hideo Fujiwara, NAIST, Japan Prof. Kewal Saluja, Univ. of Wisconsin Madison Wisconsin-Madison Prof. Vishwani Agrawal, Auburn Univ. Prof. Samiha Mourad, Santa Clara Univ. , Prof. Michiko Inoue, NAIST Prof. Erik Larsson, Linkoping Univ. Dr. Subir Roy, Texas Instruments, India Dr. Rubin Parekhji, TI, India Prof. Masahiro Fujita, Tokyo Univ., Japan Dr. Pradip Thaker, Analog Devices, Bangalore
2

VLSI Realization Process


Customers need Determine requirements Write specifications Design synthesis and Verification Test development Fabrication Manufacturing test Chips to customer
3

Definitions
Design synthesis: Given an I/O function, develop a procedure to manufacture a device using known materials and processes. Verification: Predictive analysis to ensure that the synthesized design, when manufactured, will perform the given I/O function. function Test: A manufacturing step that ensures that the physical device, manufactured from the synthesized design, has no manufacturing defect. defect
4

Verification of DVD Player


DVD Player 6 inputs Nothing is pressed Play, Pause Play Pause, Stop FF, Rew Internal 5 States
Stopped, Paused Play at normal speed Forward at 2X speed Rewind at 2X speed
5

Stop

Rew

Play

FF

Pause

Verification of DVD Player


Assume 1024 x 786 pixels True colour (32 bits) Number of discrete states = (232)(1024x786) Combination of current states to next states [(232)(1024x786)]2 Pixels are independent Bounded number of total states: No. of pixels x number of possible colours x number of internal state machines 1024 786 232x5 = 16,888,498,602,639,360 1024x786x2 5 16 888 498 602 639 360 All transitions from current state to next states are considered
6

Verification of DVD Player


Number of possible next states: No. of pixels x number of possible colours x number of possible inputs 1024x786x232x6 = 20,266,198,323,167,232 Possible current state to possible next states are to be verified 16,888,498,602,639,360 x 20,266,198,323,167,232 = 3.4 x 1032 Assume a simulation engine can verify 1,000,000 g y , , transitions per second

It needs 10,853,172,947,159,498,300 Years to verify


7

Thank You
8

You might also like