TEST AND VERIFICATION

ELE5TAV

2015

Credit points: 15

Subject outline

Test and verification techniques for modern integrated circuit and digital system design. Topics covered include: reliability and failure rates, reliability as affected by smaller dimensions and faster devices, thermal considerations. Redundancy and fault tolerance, functional and formal verification and fault modelling. Hardware/software co-design, co-verification and co-simulation. Timing and power analysis. Design for testability and ATPG and fault coverage tools, layout issues for testability. Testing methodologies: in-circuit, built in self test, boundary scan, memory testing, embedded system testing. Board-level interconnect testing. Test bench design.

SchoolSchool Engineering&Mathematical Sciences

Credit points15

Subject Co-ordinatorJim Whittington

Available to Study Abroad StudentsYes

Subject year levelYear Level 5 - Masters

Exchange StudentsYes

Subject particulars

Subject rules

Prerequisites ELE3DDE and ELE5ICD or ELE5DSD. Enrolment in this unit requires the approval of the Subject Co-ordinator.

Co-requisitesN/A

Incompatible subjectsN/A

Equivalent subjects ELE51TAV, ELE52TAV

Special conditions This subject may not be offered in 2015 if there are insufficient student enrolments

Readings

Resource TypeTitleResource RequirementAuthor and YearPublisher
ReadingsDigital Circuit Testing and Testability,RecommendedLala, P K 1997ACADEMIC PRESS
ReadingsDigital System Test and Testable Design: Using HDL Models and ArchitecturesRecommendedNavabi, Z 2010SPRINGER
ReadingsHardware Design Verification: Simulation and Formal Method-Based Approaches,RecommendedLam, W K 2005PRENTICE HALL
ReadingsWriting Testbenches: Functional Verification of HDL ModelsRecommendedBergeron, J 20032ND ED., KLUWER

Graduate capabilities & intended learning outcomes

01. Identify effective test and verification procedures to minimise the faults introduced in the integrated circuit and digital system manufacturing process.

Activities:
Lecture - workshop, Practical Class
Related graduate capabilities and elements:
Literacies and Communication Skills (Quantitative Literacy)
Inquiry and Analytical Skills (Critical Thinking,Creative Problem-solving,Inquiry/Research)
Inquiry and Analytical Skills (Critical Thinking,Creative Problem-solving,Inquiry/Research)
Inquiry and Analytical Skills (Critical Thinking,Creative Problem-solving,Inquiry/Research)
Discipline -Specific Knowledge and Skills (Discipline-Specific Knowledge and Skills)

02. Create advanced simulation test benches to verify the design operation and compliance to the design specification.

Activities:
Practical Class
Related graduate capabilities and elements:
Literacies and Communication Skills (Quantitative Literacy)
Inquiry and Analytical Skills (Critical Thinking,Creative Problem-solving,Inquiry/Research)
Inquiry and Analytical Skills (Critical Thinking,Creative Problem-solving,Inquiry/Research)
Inquiry and Analytical Skills (Critical Thinking,Creative Problem-solving,Inquiry/Research)
Discipline -Specific Knowledge and Skills (Discipline-Specific Knowledge and Skills)

03. Analyse and improve test benches to efficiently detect a digital system deficiencies and shorten the system development life cycle.

Activities:
Lecture - workshop, Practical Class
Related graduate capabilities and elements:
Literacies and Communication Skills (Quantitative Literacy)
Inquiry and Analytical Skills (Critical Thinking,Creative Problem-solving,Inquiry/Research)
Inquiry and Analytical Skills (Critical Thinking,Creative Problem-solving,Inquiry/Research)
Inquiry and Analytical Skills (Critical Thinking,Creative Problem-solving,Inquiry/Research)
Discipline -Specific Knowledge and Skills (Discipline-Specific Knowledge and Skills)

04. Design automated test benches for regression tests.

Activities:
Lecture - workshop, Practical Class
Related graduate capabilities and elements:
Literacies and Communication Skills (Quantitative Literacy)
Inquiry and Analytical Skills (Critical Thinking,Creative Problem-solving,Inquiry/Research)
Inquiry and Analytical Skills (Critical Thinking,Creative Problem-solving,Inquiry/Research)
Inquiry and Analytical Skills (Critical Thinking,Creative Problem-solving,Inquiry/Research)
Discipline -Specific Knowledge and Skills (Discipline-Specific Knowledge and Skills)

05. Design high level transaction based test benches.

Activities:
Lecture - workshop, Practical Class
Related graduate capabilities and elements:
Literacies and Communication Skills (Quantitative Literacy)
Inquiry and Analytical Skills (Critical Thinking,Creative Problem-solving,Inquiry/Research)
Inquiry and Analytical Skills (Critical Thinking,Creative Problem-solving,Inquiry/Research)
Inquiry and Analytical Skills (Critical Thinking,Creative Problem-solving,Inquiry/Research)
Discipline -Specific Knowledge and Skills (Discipline-Specific Knowledge and Skills)

06. Design module built-in self-test (BIST).

Activities:
Lecture - workshop, Practical Class
Related graduate capabilities and elements:
Literacies and Communication Skills (Quantitative Literacy)
Inquiry and Analytical Skills (Critical Thinking,Creative Problem-solving,Inquiry/Research)
Inquiry and Analytical Skills (Critical Thinking,Creative Problem-solving,Inquiry/Research)
Inquiry and Analytical Skills (Critical Thinking,Creative Problem-solving,Inquiry/Research)
Discipline -Specific Knowledge and Skills (Discipline-Specific Knowledge and Skills)

07. Optimise the automated test pattern generation (ATPG) to maximise the fault coverage and minimise the test duration in the integrated circuit and digital system manufacturing process.

Activities:
Lecture - workshop, Practical Class
Related graduate capabilities and elements:
Literacies and Communication Skills (Quantitative Literacy)
Inquiry and Analytical Skills (Critical Thinking,Creative Problem-solving,Inquiry/Research)
Inquiry and Analytical Skills (Critical Thinking,Creative Problem-solving,Inquiry/Research)
Inquiry and Analytical Skills (Critical Thinking,Creative Problem-solving,Inquiry/Research)
Discipline -Specific Knowledge and Skills (Discipline-Specific Knowledge and Skills)

Subject options

Select to view your study options…

Start date between: and    Key dates

Melbourne, 2015, Semester 1, Day

Overview

Online enrolmentNo

Maximum enrolment sizeN/A

Enrolment information

Subject Instance Co-ordinatorJim Whittington

Class requirements

Lecture/Practical Week: 10 - 22
Twelve 4.0 hours lecture/practical per week on weekdays during the day from week 10 to week 22 and delivered via face-to-face.

Assessments

Assessment elementComments% ILO*
one 1,500-word project40 02, 04, 05, 06, 07
one 2-hour examination40 01, 03, 04, 05
one 750-word assignment20 01, 02, 03, 04, 05