Digital Circuit Design



Similar documents
VLSI Design Verification and Testing

Design Verification and Test of Digital VLSI Circuits NPTEL Video Course. Module-VII Lecture-I Introduction to Digital VLSI Testing

Introduction to VLSI Testing

CHAPTER 3 Boolean Algebra and Digital Logic

Yaffs NAND Flash Failure Mitigation

Aims and Objectives. E 3.05 Digital System Design. Course Syllabus. Course Syllabus (1) Programmable Logic

Fault Modeling. Why model faults? Some real defects in VLSI and PCB Common fault models Stuck-at faults. Transistor faults Summary

Digital Logic Design. Basics Combinational Circuits Sequential Circuits. Pu-Jen Cheng

Introduction to Digital System Design

INTRODUCTION TO DIGITAL SYSTEMS. IMPLEMENTATION: MODULES (ICs) AND NETWORKS IMPLEMENTATION OF ALGORITHMS IN HARDWARE

Lecture 12: More on Registers, Multiplexers, Decoders, Comparators and Wot- Nots

What is a System on a Chip?

Area 3: Analog and Digital Electronics. D.A. Johns

Module-I Lecture-I Introduction to Digital VLSI Design Flow

Gates, Circuits, and Boolean Algebra

ESP-CV Custom Design Formal Equivalence Checking Based on Symbolic Simulation

Solution: start more than one instruction in the same clock cycle CPI < 1 (or IPC > 1, Instructions per Cycle) Two approaches:

Memory Testing. Memory testing.1

SLC vs. MLC: An Analysis of Flash Memory

Objective. Testing Principle. Types of Testing. Characterization Test. Verification Testing. VLSI Design Verification and Testing.

1. True or False? A voltage level in the range 0 to 2 volts is interpreted as a binary 1.

ECE 0142 Computer Organization. Lecture 3 Floating Point Representations

7a. System-on-chip design and prototyping platforms

Agenda. Michele Taliercio, Il circuito Integrato, Novembre 2001

Model Checking based Software Verification

ELEC EXPERIMENT 1 Basic Digital Logic Circuits

Testing & Verification of Digital Circuits ECE/CS 5745/6745. Hardware Verification using Symbolic Computation

Introduction ABOUT THIS CHAPTER CHAPTER

Testing Low Power Designs with Power-Aware Test Manage Manufacturing Test Power Issues with DFTMAX and TetraMAX

Digital Integrated Circuit (IC) Layout and Design

The Emerging Trends in Electrical and Computer Engineering

Binary Adders: Half Adders and Full Adders

Design and Development of Virtual Instrument (VI) Modules for an Introductory Digital Logic Course

Curriculum for a Master s Degree in ECE with focus on Mixed Signal SOC Design

At-Speed Test Considering Deep Submicron Effects. D. M. H. Walker Dept. of Computer Science Texas A&M University

Floating Point Fused Add-Subtract and Fused Dot-Product Units

An Effective Deterministic BIST Scheme for Shifter/Accumulator Pairs in Datapaths

CSCI 4717 Computer Architecture. Function. Data Storage. Data Processing. Data movement to a peripheral. Data Movement

What is this course is about? Design of Digital Circuitsit. Digital Integrated Circuits. What is this course is about?

Digital Systems. Role of the Digital Engineer

Design Cycle for Microprocessors

International Journal of Electronics and Computer Science Engineering 1482

RAM & ROM Based Digital Design. ECE 152A Winter 2012

Computer Graphics Hardware An Overview

FORDHAM UNIVERSITY CISC Dept. of Computer and Info. Science Spring, Lab 2. The Full-Adder

ONLINE TESTING IN TERNARY REVERSIBLE LOGIC

Introducción. Diseño de sistemas digitales.1

ECE 510 Lecture 15 Manufacturing Test Methods. Glenn Shirley Scott Johnson

what operations can it perform? how does it perform them? on what kind of data? where are instructions and data stored?

earlier in the semester: The Full adder above adds two bits and the output is at the end. So if we do this eight times, we would have an 8-bit adder.

Intel s Revolutionary 22 nm Transistor Technology

Programming NAND devices

The Bus (PCI and PCI-Express)

Binary Division. Decimal Division. Hardware for Binary Division. Simple 16-bit Divider Circuit

The Evolution of ICT: PCB Technologies, Test Philosophies, and Manufacturing Business Models Are Driving In-Circuit Test Evolution and Innovations

Chapter 2 Logic Gates and Introduction to Computer Architecture

FAULT TOLERANCE FOR MULTIPROCESSOR SYSTEMS VIA TIME REDUNDANT TASK SCHEDULING

System on Chip Design. Michael Nydegger

CSE140 Homework #7 - Solution

Guru Ghasidas Vishwavidyalaya, Bilaspur (C.G.) Institute of Technology. Electronics & Communication Engineering. B.

Digital Electronics Detailed Outline

Chapter 1 Introduction to The Semiconductor Industry 2005 VLSI TECH. 1

CSEE 3827: Fundamentals of Computer Systems. Standard Forms and Simplification with Karnaugh Maps

Introduction to CMOS VLSI Design

Karnaugh Maps & Combinational Logic Design. ECE 152A Winter 2012

A NEW TEST STRATEGY FOR COMPLEX PRINTED CIRCUIT BOARD ASSEMBLIES

Design Verification & Testing Design for Testability and Scan

ISSN: ISO 9001:2008 Certified International Journal of Engineering Science and Innovative Technology (IJESIT) Volume 2, Issue 3, May 2013

Securing Host Operations with a Dedicated Cryptographic IC - CryptoCompanion

Thomas Jefferson High School for Science and Technology Program of Studies Foundations of Computer Science. Unit of Study / Textbook Correlation

EE360: Digital Design I Course Syllabus

Introduction to Programmable Logic Devices. John Coughlan RAL Technology Department Detector & Electronics Division

EE411: Introduction to VLSI Design Course Syllabus

System-on-Chip Design Verification: Challenges and State-of-the-art

1.Introduction. Introduction. Most of slides come from Semiconductor Manufacturing Technology by Michael Quirk and Julian Serda.

Read-only memory Implementing logic with ROM Programmable logic devices Implementing logic with PLDs Static hazards

Two's Complement Adder/Subtractor Lab L03

Charles Dierbach. Wiley

Introduction to Xilinx System Generator Part II. Evan Everett and Michael Wu ELEC Spring 2013

CMOS Binary Full Adder

ELECTRICAL ENGINEERING

Lab 1: Full Adder 0.0

Course Requirements & Evaluation Methods

Lecture 5: Gate Logic Logic Optimization

CSE140: Midterm 1 Solution and Rubric

University of St. Thomas ENGR Digital Design 4 Credit Course Monday, Wednesday, Friday from 1:35 p.m. to 2:40 p.m. Lecture: Room OWS LL54

PC2400 EEPROM PROGRAMMER INSTRUCTION MANUAL

Combinational Logic Design Process

Computer Systems Structure Main Memory Organization

ON SUITABILITY OF FPGA BASED EVOLVABLE HARDWARE SYSTEMS TO INTEGRATE RECONFIGURABLE CIRCUITS WITH HOST PROCESSING UNIT

Digital circuits make up all computers and computer systems. The operation of digital circuits is based on

Introduction to VLSI Programming. TU/e course 2IN30. Prof.dr.ir. Kees van Berkel Dr. Johan Lukkien [Dr.ir. Ad Peeters, Philips Nat.

All Programmable Logic. Hans-Joachim Gelke Institute of Embedded Systems. Zürcher Fachhochschule

CS 61C: Great Ideas in Computer Architecture. Dependability: Parity, RAID, ECC

Nanocomputer & Architecture

NVM memory: A Critical Design Consideration for IoT Applications

A 1-GSPS CMOS Flash A/D Converter for System-on-Chip Applications

FPGA-based MapReduce Framework for Machine Learning

W03 Analysis of DC Circuits. Yrd. Doç. Dr. Aytaç Gören

Transcription:

Test and Diagnosis of of ICs Fault coverage (%) 95 9 85 8 75 7 65 97.92 SSL 4,246 Shawn Blanton Professor Department of ECE Center for Silicon System Implementation CMU Laboratory for Integrated Systems Test http://www.ece.cmu.edu/~blanton 99.46 99.93 99.54 99.49 74,5 74,5 74,5 Bridging 94.78 28,564 Gate delay Defect modeling Test methodology development CAD tool development Defect diagnosis 79. Test grading with FAult Tuple SIMulator 74,5 44,798 TSO Courses: 8-24: Fundamentals of Computer Engineering 8-34: Digital Computation 8-44: Verification of Computer Hardware Systems 8-765: Digital Systems Testing and Testable Design µmechanical structure MEMS Test µmechanical structure affected by a defect Defect modeling Built-in self test (BIST) design Test methodology development

Digital Circuit Design Emerging Trends in Electrical and Computer Engineering Shawn Blanton Fall 24 blanton@ece.cmu.edu

Components of Digital Design Function Correctness Digital design Cost Power Speed

Function When we design a circuit to do a particular function, we assume we have primitive gates like AND, OR, etc. So we build bigger things from smaller things. And we have systematic methods (i.e., CAD tools) for building bigger things. y y2 y2 A B C D x = A, B, C, D, x = B, C, D, A, K-maps Quine-McCluskey Boolean Algebra Synplicity etc.

Function cont But what if you wanted to build a fast, 64-bit adder? What about using a ripple-carry adder? Systematic techniques cannot handle some things we want to build. How many rows are in the truth table for a 64-bit adder?..................... : : : : : : : : : :...

Function cont There are many known adder architectures. To learn how to design an adder for your given application, you must see these adders and understand how they work. 32-bit carry-skip adder 4 FAs 4 FAs 4 FAs 4 FAs 4 FAs 4 FAs 4 FAs 4 FAs The same is true for other data-processing circuits: multipliers, dividers, filters, etc.

Customized Floating Point Unit 64-bit floating point 3-bit custom floating Courtesy of Prof. Rob Rutebnar

Cost $$$ Many ideas you may have are likely possible. But as engineers, it must be possible at a reasonable cost. One type of cost has to do with design size. Ideally, you want a circuit implementation to take very little area for a number of reasons: Small circuits means more can fit onto a wafer. Small circuits have a higher yield. wafer Yield = good chips Total chips

Cost $$$ cont Log scale The number of gates available in the same area is doubling every 8 months ( Moore s Law ). Designer productivity is not increasing at the same rate. This leads to the design gap. Solution: Better CAD tools for design and analysis!

Speed Your new adder design may add, but does it add fast enough? Digital design requires you to understand how to accurately predict the speed of your circuit. Lots of factors affect speed: Design structure Fabrication technology Environment Actually, you cannot really predict speed that accurately. 4GHz 3.66GHz 3.GHz 2.6GHz

Power Power is now the number one challenge for digital circuit designers! Why? Many electronic systems are portable. Low power means longer battery life. High power generates lots of heat so designs must be cooled.

Correctness Designers make mistakes. How do you find errors in a design? In 8-24, your method for finding mistakes is either ad hoc or impractical. You need systematic approaches that utilize CAD tools that include simulators, equivalence checkers, model checkers, etc. Big companies still make mistakes. Intel made an error designing a divider circuit. It cost Intel $47M.

Correctness cont Manufacturing is not perfect. How do you find imperfections in the fabricated design? You must test each and every chip to ensure it works.

Test and Diagnosis Test is a binary endeavor Chip doesn t work trash it! Chip works ship it! Diagnosis Why doesn t the chip work??? Required for silicon debug, process tuning, etc.

What do you test for? Test the chip function? Portions of the chip are tested this way. Too costly however for the entire chip. It is more cost-effective to test for the things that can go wrong.

What can go wrong? One or more defects can occur! A defect can be extra or missing material or changes in material properties Defects can affect wires and vias Defects can affect transistors Defect-based test is impractical Too many possible locations (billions) Too many different types (N billions) To keep test manageable, abstraction is necessary

Defect Abstraction Abstraction involves Moving from physical level to higher level Reducing number of defects Simplifying defect behavior Defect abstraction fault model

SSL Fault Model The most widely-use abstraction is single stuck-line (SSL) fault model. First published use was for vacuum tube test in 957 by R. Eldred. SSL fault model properties: a gate-level model assumes gates are unaffected only a single logic line can be faulty faulty line is permanently stuck-at or

Stuck-at Testing The circuit above has 9 logical lines. Each line is susceptible to either a stuck-at- or stuck-at- fault, for a total of 8 faults. Must find tests that distinguish the 8 faulty circuits from the good circuit.

Stuck-at Testing cont d Test set. 2. 3. 4. 2 3 9 9/ 7/ 2/ 9/ 7/ 5/ 8/ / 2/ 3/ 6/

Digital Design Courses Learn more by taking various courses in digital design. 8-24 Fundamentals Advanced digital design 8-34 8-36 Computer-aided design tools and correctness Computer architecture Correctness 8-447 8-44 8-76 Advanced computer-aided design tools 8-765 Testing