ele5tav test and verification
TEST AND VERIFICATION
ELE5TAV
2016
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
Learning resources
Readings
| Resource Type | Title | Resource Requirement | Author and Year | Publisher |
|---|---|---|---|---|
| Readings | Digital Circuit Testing and Testability, | Recommended | Lala, P K 1997 | ACADEMIC PRESS |
| Readings | Digital System Test and Testable Design: Using HDL Models and Architectures | Recommended | Navabi, Z 2010 | SPRINGER |
| Readings | Hardware Design Verification: Simulation and Formal Method-Based Approaches, | Recommended | Lam, W K 2005 | PRENTICE HALL |
| Readings | Writing Testbenches: Functional Verification of HDL Models | Recommended | Bergeron, J 2003 | 2ND 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…
Melbourne, 2016, Semester 1, Day
Overview
Online enrolmentNo
Maximum enrolment sizeN/A
Enrolment information
Subject Instance Co-ordinatorJim Whittington
Class requirements
Lecture/PracticalWeek: 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 element | Comments | % | ILO* |
|---|---|---|---|
| one 1,500-word project | 40 | 02, 04, 05, 06, 07 | |
| one 2-hour examination | 40 | 01, 03, 04, 05 | |
| one 750-word assignment | 20 | 01, 02, 03, 04, 05 |