Power Conscious Test Synthesis and Scheduling for BIST RTL Data Paths Nicola Nicolici and Bashir M. Al-Hashimi.

Slides:



Advertisements
Similar presentations
Boolean Algebra Variables: only 2 values (0,1)
Advertisements

Register Transfer and Microoperations Part2
1 Instituto de Sistemas e Robótica 10th IEEE MEDITERRANEAN CONFERENCE ON CONTROL AND AUTOMATION Instituto Superior Técnico – Instituto de Sistemas e Robótica.
Warunki w sieciach liniowych
Prediction of Xenobiotic Metabolism and Major Metabolites György Pirok Solutions for Cheminformatics.
International Technology Alliance In Network & Information Sciences International Technology Alliance In Network & Information Sciences 1 Interference.
Importance-Driven Focus of Attention and Meister Eduard Gröller 1 1 Vienna University of Technology, Austria 2 University of Girona, Spain 3 University.
1GR2-00 GR2 Advanced Computer Graphics AGR Lecture 2 Basic Modelling.
Reducing Synchronization Overhead in Test Data Compression Environments Paul Theo Gonciari Bashir Al-Hashimi Electronic Systems Design Group University.
Improving Compression Ratio, Area Overhead, and Test Application Time in System-on-a-chip Test Data Compression/Decompression Paul Theo Gonciari*, Bashir.
Lab 8 : Multiplexer and Demultiplexer Systems:
CSE 5317/4305 L9: Instruction Selection1 Instruction Selection Leonidas Fegaras.
A Flow Graph Technique for DFT Controller Modification
Digital Integrated Circuits© Prentice Hall 1995 Design Methodologies Design for Test.
Basic Laws of Electric Circuits Kirchhoff’s Voltage Law
Testing “Multiple Conditions” with Decision Table Technique
Z34Bio: A Framework for Analyzing Biological Computation
Backward Checking Search BT, BM, BJ, CBJ. An example problem Colour each of the 5 nodes, such that if they are adjacent, they take different colours 12.
1 Testing Stochastic Processes Through Reinforcement Learning François Laviolette Sami Zhioua Nips-Workshop December 9 th, 2006 Josée Desharnais.
Situational Leadership: Raising The Performance Level of Others
Error Handling A compiler should: detect errors locate errors recover from errors Errors may occur in any of the three main analysis phases of compiling:
Address comments to FPGA Area Reduction by Multi-Output Sequential Resynthesis Yu Hu 1, Victor Shih 2, Rupak Majumdar 2 and Lei He 1 1.
Synthesis For Finite State Machines. FSM (Finite State Machine) Optimization State tables State minimization State assignment Combinational logic optimization.
Today’s agenda: Potential Changes Around a Circuit. You must be able to calculate potential changes around a closed loop. Emf, Terminal Voltage, and Internal.
Modular Processings based on Unfoldings Eric Fabre & Agnes Madalinski DistribCom Team Irisa/Inria UFO workshop - June 26, 2007.
RAT R1 R2 R3 R4 R5 R6 R7 Fetch Q RS MOB ROB Execute Retire.
MIPS Assembly Tutorial
Copyright 2001, Agrawal & BushnellLecture 12: DFT and Scan1 VLSI Testing Lecture 10: DFT and Scan n Definitions n Ad-hoc methods n Scan design  Design.
ECE Synthesis & Verification - Lecture 2 1 ECE 667 Spring 2011 ECE 667 Spring 2011 Synthesis and Verification of Digital Circuits High-Level (Architectural)
Copyright 2001, Agrawal & BushnellVLSI Test: Lecture 261 Lecture 26 Logic BIST Architectures n Motivation n Built-in Logic Block Observer (BILBO) n Test.
NCHUCS1 Scan Chain Reorder Sying-Jyan Wang Department of Computer Science National Chung-Hsing University.
Modern VLSI Design 2e: Chapter 8 Copyright  1998 Prentice Hall PTR Topics n High-level synthesis. n Architectures for low power. n Testability and architecture.
1 EE 587 SoC Design & Test Partha Pande School of EECS Washington State University
CSE241 Formal Verification.1Cichy, UCSD ©2003 CSE241A VLSI Digital Circuits Winter 2003 Recitation 6: Formal Verification.
Nitin Yogi and Vishwani D. Agrawal Auburn University Auburn, AL 36849
Dynamic Scan Clock Control In BIST Circuits Priyadharshini Shanmugasundaram Vishwani D. Agrawal
Externally Tested Scan Circuit with Built-In Activity Monitor and Adaptive Test Clock Priyadharshini Shanmugasundaram Vishwani D. Agrawal.
X-Compaction Itamar Feldman. Before we begin… Let’s talk about some DFT history: Design For Testability (DFT) has been around since the 1960s. The technology.
11/17/05ELEC / Lecture 201 ELEC / (Fall 2005) Special Topics in Electrical Engineering Low-Power Design of Electronic Circuits.
1 Lecture 23 Design for Testability (DFT): Full-Scan n Definition n Ad-hoc methods n Scan design Design rules Scan register Scan flip-flops Scan test sequences.
Design for Testability Theory and Practice Lecture 11: BIST
ELEN 468 Lecture 241 ELEN 468 Advanced Logic Design Lecture 24 Design for Testability.
Fall 2006, Nov. 30 ELEC / Lecture 12 1 ELEC / (Fall 2006) Low-Power Design of Electronic Circuits Test Power Vishwani D.
Simulated-Annealing-Based Solution By Gonzalo Zea s Shih-Fu Liu s
Iterative Algorithms for Low Power VLSI Placement Sadiq M. Sait, Ph.D Department of Computer Engineering King Fahd University of Petroleum.
IC-SOC STEAC: An SOC Test Integration Platform Cheng-Wen Wu.
ELEN 468 Lecture 251 ELEN 468 Advanced Logic Design Lecture 25 Built-in Self Test.
TOPIC : BILBO BIST Architectures UNIT 5 : BIST and BIST Architectures Module 5.2 BIST.
Spring 07, Jan 30 ELEC 7770: Advanced VLSI Design (Agrawal) 1 ELEC 7770 Advanced VLSI Design Spring 2007 SOC Test Scheduling Vishwani D. Agrawal James.
Petros OikonomakosBashir M. Al-Hashimi Mark Zwolinski Versatile High-Level Synthesis of Self-Checking Datapaths Using an On-line Testability Metric Electronics.
Modern VLSI Design 4e: Chapter 8 Copyright  2008 Wayne Wolf Topics Testability and architecture. Design methodologies. Multiprocessor system-on-chip.
CSE477 L28 DFT.1Irwin&Vijay, PSU, 2003 CSE477 VLSI Digital Circuits Fall 2003 Lecture 28: Design for Test Mary Jane Irwin ( )
1 2-Hardware Design Basics of Embedded Processors (cont.)
Logic BIST Logic BIST.
ECE 553: TESTING AND TESTABLE DESIGN OF DIGITAL SYSTEMS
A Robust Pulse-triggered Flip-Flop and Enhanced Scan Cell Design
Northeastern U N I V E R S I T Y 1 Design and Test of Fault Tolerant Quantum Dot Cellular Automata Electrical and Computer Department.
TOPIC : Controllability and Observability
Mixed-Mode BIST Based on Column Matching Petr Fišer.
Manufacture Testing of Digital Circuits
Power Problems in VLSI Circuit Testing Keynote Talk Vishwani D. Agrawal James J. Danaher Professor Electrical and Computer Engineering Auburn University,
TOPIC : RTD, SST UNIT 5 : BIST and BIST Architectures Module 5.2 Specific BIST Architectures.
ASIC Design Methodology
Hardware Testing and Designing for Testability
COUPING WITH THE INTERCONNECT
Lecture 23 Design for Testability (DFT): Full-Scan (chapter14)
ECE 553: TESTING AND TESTABLE DESIGN OF DIGITAL SYSTEMS
Sungho Kang Yonsei University
Lecture 26 Logic BIST Architectures
Presentation transcript:

Power Conscious Test Synthesis and Scheduling for BIST RTL Data Paths Nicola Nicolici and Bashir M. Al-Hashimi

Purpose Investigate power dissipation during testing Propose novel power conscious –Test synthesis algorithms –Test scheduling algorithms

Outline Motivation Built-in self-test (BIST) –Register-transfer level (RTL) data paths Power dissipation classification Power conscious design space exploration: –Test synthesis –Test scheduling Experimental results Conclusion

Motivation Low power synthesis assumptions –Primary input transition probabilities –State transition probabilities High power dissipation during testing –High temperature => reliability decrease –Power/ground noise => yield loss

Motivation (cont) S1 S2S5 C S S3S4 State Code S1 000 S2 011 S3 001 S4 010 S Functional Transitions transition nt scan sequential circuit transition nt Scan Transitions Shift out S5=100 Shift in S4=010 NO correlation PROBLEM!

Motivation (cont) Scan BIST environment –Test vector inhibiting techniques –Modified scan cell design –Low transition test pattern generator Standard scan design for test (DFT) –Test vector / scan latch ordering –Extra primary input vectors –New test application strategies

Motivation (cont) * *2 +1 v1 v2 v3v4v5v6 v7v8v9 v10 v11v12 v13 Register Variables R1 v1,v11 R2 v2,v12 R3 v7 R4 v5 R5 v6, v8 R6 v3 R7 v9 R8 v4,v10,v13 Clock 1 Clock 2 Clock 3 Clock 4 Clock 5

Motivation (cont) R1 * R2 R3 R4 R5 R6 R7 R8 + - Clock 1 and 4 Clock 2 and 3 Clock 2 Clock 3 Note: R8 and – are active in clock 5

BIST for RTL data paths Library HDL RTL synthesis netlist layout logic optimization layout synthesis BIST structures: LFSR MISR BILBO CBILBO + test controller

BIST for RTL data paths (cont) Test register allocation determines test schedule LFSR2 M1M2M1M2 T1T2 T1 T2 INTERRELATION NEEDS TO BE CONSIDERED! Previous power conscious test scheduling – No relation: test scheduling and test synthesis R1 LFSR2LFSR1

Power dissipation classification According to necessity for test efficiency –Necessary power dissipation –Useless power dissipation According to occurrence during testing –Test application power dissipation –Shifting power dissipation

Power dissipation classification (cont) Previous test scheduling approaches assume: – fixed amount of power for each module – not applicable to BIST RTL data paths C0C1 MISR0 R2 MISR1 Necessary power Useless power Inactive resources +0+1

Power conscious exploration Novel power conscious test synthesis Novel power conscious test scheduling Exploration strategies using tabu search –Time and Area oriented – TA-TSS –Power Conscious oriented – PC-TSS

R1 +0 LFSR0 +1 LFSR2 +2 LFSR1 +0 LFSR0 +1 R2 +2 useless power elimination Necessary power Useless power Inactive resources Power conscious exploration (cont) TEST SYNTHESIS

useless power elimination R3R R3R4 Necessary power Useless power Inactive resources Power conscious exploration (cont) TEST SCHEDULING

Power conscious exploration (cont) 2 test sessions: 1 for multiplier *, 1 for ALUs (+,-) R1 * R2 R3 R4 R5 R6 R7 R8 + -

Power conscious exploration (cont) BILBO1 * BILBO2 R3 LFSR4 LFSR7 BILBO8 +- C+ C- C1C2 C8 TA-TSS – test session 1 LFSR5 R6 Necessary power Useless power Inactive resources

Power conscious exploration (cont) LFSR1 * LFSR2 MISR3 LFSR4 LFSR5 BILBO6 MISR7 LFSR8 +- C+ C- C1C2 C8 PC-TSS – test session 1 Necessary power Useless power Inactive resources

Power conscious exploration (cont) BILBO1 * BILBO2 R3 LFSR4 LFSR7 BILBO8 +- C+ C- C1C2 C8 TA-TSS – test session 2 LFSR5 R6 Necessary power Useless power Inactive resources

Power conscious exploration (cont) LFSR1 * LFSR2 MISR3 LFSR4 LFSR5 BILBO6 MISR7 LFSR8 +- C+ C- C1C2 C8 PC-TSS – test session 2 Necessary power Useless power Inactive resources

Experimental results

Experimental results (cont)

Conclusion Testable design space exploration –Interrelation: test synthesis and scheduling –Variable power dissipation for each test Novel algorithms –Power conscious test synthesis –Power conscious test scheduling Ongoing and future work –Test controller: optimise area / performance –2 chips design and manufacturing