Design for Testability (DFT): Scan

Documenti analoghi
Design For Testability (DFT) Alberto Scandurra

CORSO DI ELETTRONICA DEI SISTEMI DIGITALI

Collaudo (testing) dei sistemi digitali

Elettronica dei Sistemi Digitali Il test nei sistemi elettronici: guasti catastrofici e modelli di guasto (parte II)

Simulazione di guasto

I bistabili ed il register file

VLSI Testing. Motivazioni

Tecniche di Progettazione Digitale Logiche programmabili; standard cells; generazione automatica del layout: algoritmi di partitioning p.

Circuiti sincroni Circuiti sequenziali: i bistabili

Field programmable Gate array

Circuiti sequenziali e elementi di memoria

Calcolatori Elettronici B a.a. 2006/2007

Elettronica dei Sistemi Digitali Dispositivi logici programmabili

Flip-flop Macchine sequenziali

I Bistabili. Maurizio Palesi. Maurizio Palesi 1

Sintesi logica - Constraints Alberto Scandurra

Un linguaggio per la descrizione dello hardware: il VHDL

Sistemi Operativi. Gianluca Della Vedova. Sistemi Operativi. Gianluca Della Vedova. Sistemi Operativi. Gianluca Della Vedova.

Il Sottosistema di Memoria

Flusso di Progetto Mixed Signal in ambiente CADENCE. Approccio Analog Centric. Corso di Progettazione Mixed Signal 19/12/2013 Prof.

Esercizi Logica Digitale,Circuiti e Bus

Flip-flop e loro applicazioni

PIANO DI LAVORO DEI DOCENTI

Università degli Studi del Sannio. Facoltà di Ingegneria

Sequential Logic. 2 storage mechanisms positive feedback charge-based. Inputs. Outputs COMBINATIONAL LOGIC. Current State. Next state.

PSPICE Circuiti sequenziali principali

Circuiti sequenziali

Flip-flop, registri, la macchina a stati finiti

Circuiti di Indirizzamento della Memoria

Architettura dei Calcolatori Reti Sequenziali Sincrone

Esercitazioni di Reti Logiche. Lezione 5

Flip flop: tempificazione latch ed edge-triggered

IL VHDL. Perché si usa un linguaggio di descrizione dell'hardware? Permette di formalizzare il progetto di sistemi digitali complessi

Laboratorio di metodi di acquisizione dati. Giorgio Maggi

interfacciamento statico e dinamico analisi di interconnessioni, driver e receiver

A.C. Neve Esercizi Digitali 1

T9 REGISTRI, CONTATORI, MEMORIE A SEMICONDUTTORE

Appunti di reti logiche. Ing. Luca Martini

Jan M. Rabaey Anantha Chandrakasan Borivoje Nikolic. Design Methodologies. December 10, 2002

Calcolatori Elettronici T. Complementi ed Esercizi di Reti Logiche

Minimizzazione di Reti Logiche Combinatorie Multi-livello

Il sistema di I/O. Calcolatori Elettronici 1. Architettura a bus singolo. Memoria. Unità di I/O. Interfaccia. Unità di I/O.

RETI DI CALCOLATORI II

Progetto di Contatori sincroni. Mariagiovanna Sami Corso di reti Logiche 8 Anno

Struttura del calcolatore

Circuiti integrati. Circuiti integrati

Architettura dei calcolatori

Macchine sequenziali sincrone. Macchine sincrone

FPGA: Introduzione. Dispositivi Programmabili. FPGA - Flessibilità e prestazioni. FPGA - Caratteristiche

IIS Via Silvestri ITIS Volta Programma svolto di Tecnologie Informatiche A.S. 2015/16 Classe 1 A

Generazione di Impulsi Digitali. Antonio Affinito

La memoria: tecnologie di memorizzazione

Calcolatori Elettronici

Livello logico digitale. bus e memorie

Marco Cesati Dipartimento di Ingegneria Civile e Ingegneria Informatica Università degli Studi di Roma Tor Vergata

Flip-flop, registri, la macchina a stati finiti

Corso di Laurea in Informatica Architetture degli Elaboratori

Domande di Reti Logiche compito del 29/1/2016

ASIC CARATTERISTICHE GENERALI INTRODUZIONE

CALCOLATORI ELETTRONICI A cura di Luca Orrù. Lezione n.7. Il moltiplicatore binario e il ciclo di base di una CPU

Progettazione di circuiti integrati

Programmazione modulare a.s

MODULO PREREQUISITI OBIETTIVI CONTENUTI ORE

Circuiti sequenziali e latch

Il protocollo JTAG IEEE Lo standard industriale per il test di schede e circuiti integrati

Introduzione ai microcontrollori

Transcript:

Design for Testability (DFT): Full-Scan Definizioni Metodi ad-hoc Scan design Regole di progetto Registri Flip-flops Scan test sequences Overhead Sistemi di progetto basati sulla scansione Sommario 1 Definizioni Design for testability (DFT) si riferisce a quelle tecniche di progetto che rendono più efficaci la test generation e l applicazione dei test. Metodi di DFT per circuiti digitali: Metodi ad-hoc Metodi strutturati: Scan Partial Scan Built-in self-test (BIST) Boundary scan 2 1

Metodi di DFT Ad-Hoc Buone pratiche di progetto imparate attraverso l esperienza: Evitare retroazioni asincrone (unclocked). Rendere i flip-flops initializzabili. Evitare gate ridondanti o con fan-in grande. Aggiungere segnali di controllo di test per segnali difficili da controllare. Evitare gated clocks. Considerare le richieste degli ATE. Revisioni di progetto condotte da esperti. Svantaggi: Esperti non sempre disponibili. La test generation è spesso fatta a mano => bassa copertura. Iterazioni sul progetto. 3 Scan Design Il circuito è progettato utilizzando regole predefinite. Si aggiungono strutture di test (hardware) al progetto: Aggiunge un segnale di test control () come primary input. Sostituisce i flip-flop con scan flip-flops () e li connette per formare uno o più shift registers in modo test. Rende l input/output di ciascuno scan shift register controllabile/osservabile dai PI/PO. Usa l ATPG combinatorio per ottenere tests per tutti i guasti collaudabili nella logica combinatoria. Aggiunge test per gli shift register tests e converte i test prodotti dall ATPG in sequenze di scan da utilizzare nei test di produzione. 4 2

Regole di Scan Design Utilizzare solo flip-flop clocked di tipo D per tutte le variabili di stato. Almeno un pin di PI pin deve essere disponibile per il test; eventualmente se ne può usare più di uno. Tutti i clock devono essere controllati dai PIs. I clock non devono entrare negli ingressi dati dei flip-flop. 5 Correzioni Tutti i clock devono essere controllati dai PI. comb. D1 CK D2 FF comb. comb. D2 D1 CK FF comb. 6 3

D SD Scan Flip-Flop Flop () Gate aggiuntivi MUX Master latch Slave latch CK D flip-flop CK Master sample Slave sample t Modo normale, seleziona D Scan mode, seleziona SD t 7 Level-Sensitive Scan-Design Flip-Flop Flop (LSSD-) ) Master latch Slave latch D MCK SCK D flip-flop SD K Logic overhead MCK K MCK K Normal mode Scan mode SCK t 8 4

Strutture di Scan PI PO combinatoria SCANOUT or K SCANIN Non mostra: CK o MCK/SCK feed all s. 9 Test Vector Combinatori PI I1 I2 O1 O2 PO SCANIN combinatoria SCANOUT Present state S1 S2 N1 N2 Next state 10 5

Comb. Test Vectors PI I1 I2 Don t care o random bits SCANIN S1 S2 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 PO O1 O2 SCANOUT N1 N2 Lunghezza = (n comb + 1) n sff + n comb periodi di clock n comb = numero di vettori combinatori n sff = numero di scan flip-flops 11 Testing Scan Register Gli scan register devono essere collaudati prima di applicare scan test sequences. Shiftare una sequenza 00110011... di lunghezza n sff +4 in modo scan (=0) che produce tutte le transizioni 00, 01, 11 e 10 in tutti i flip-flops e osserva i risultati all uscita di SCANOUT. Lunghezza totale della sequenza di test: (n comb + 2) n sff + n comb + 4 periodi di clock. Esempio: 2,000 scan flip-flops, 500 vettori comb., lunghezza totale di test ~ 10 6 periodi di clock. Scan register multipli riducono la lunghezza di test. 12 6

Scan Register multipli I flip-flop di scan possono essere distribuiti fra ciascun numero of shift registers, ciascuno con scanin e scanout separati. La lunghezza della sequenza di test è determinata dal registro più lungo. Basta solo un pin di test control (). PI/SCANIN Combinational logic M U X PO/ SCANOUT CK 13 Scan Overheads I/O pin: un pin addizionale. Area overhead: Gate overhead = [4 n sff /(n g +10n ff )] x 100%, n g = gate comb.; n ff = flip-flops; Esempio n g = 100k gates, n ff = 2k flip-flops, overhead = 6.7%. Stime più accurate tengono in conto dell area per le interconnessioni. Prestazioni: il ritardo dei multiplexer delay viene aggiunto al critical path; circa due ritardi di gate. Aumento del ritardo dei flip-flop dovuto all aumento di capacità di carico dato dal fanout addizionale; circa 5-6%. 14 7

Scan gerarchico I flip-flop di scan sono concatenati con sottoreti prima di concatenare le sottoreti stesse chaining subnetworks. Vantaggi: Inserzione automatica Mantiene la gerarchia inalterata Svantaggi: layout non-ottimo. Scanin 1 4 Scanout Scanin 1 3 Scanout 2 3 4 2 Hierarchical netlist Flat layout 15 IO pad Scan layout ottimo X cell X Flipflop cell Y Y SCANIN SCAN OUT Routing channels Interconnects Aree attive: XY and X Y 16 8

Esempio: : Scan Layout 2,000-gate CMOS chip Frazione di area delle celle dei flip-flop, s = 0.478 Incremento di width dei scan flip-flop (), α = 0.25 Frazione di area di routing, β = 0.471 Altezza delle celle, T = 10 Overhead calcolato = 17.24% Dati reali misurati: Implementazione Area overhead Clock rate normalizzato dello scan Nessuno 0.0 1.00 Gerarchico 16.93% 0.87 Layout ottimo 11.90% 0.91 17 Esempio di ATPG: S5378 Numero di gate combinatori Numero di flip-flops non-scan (10 gates) Numero di scan flip-flops (14 gates) Gate overhead Numero di guasti PI/PO per ATPG Fault coverage Fault efficiency CPU time su SUN Ultra II, processore a 200MHz Numero di vettori generati Lunghezza della sequenza di test Originale 2,781 179 0 0.0% 4,603 35/49 70.0% 70.9% 5,533 s 414 414 Full-scan 2,781 0 179 15.66% 4,603 214/228 99.1% 100.0% 5 s 585 105,662 18 9

Scan Design automatico Rule violations Combinational vectors Scan design rule audits Combinational ATPG Scan sequence and test program generation Test program Behavior, RTL, and logic Design and verification Gate-level netlist Scan chain order Design and test data for manufacturing Scan hardware insertion Scan netlist Chip layout: Scanchain optimization, timing verification Mask data 19 Timing e consumo di potenza Piccoli ritardi nello scan path e clock skews possono dare luogo a corse. Grandi ritardi nello scan path richiedono un clock più lento. Multiplexers dinamici: skew fra diversi segnali di possono causare selezioni contemporanee di D e SD. L attività casuale nel circuito durante la fase di scan può causare eccessivo consumo di potenza. 20 10

Sommario Scan path è la tecnica più popolare di DFT: Progetto basato sulle regole Inserimento automatico del DFT Combinational ATPG Vantaggi: Design automation Copertura di guasto e diagnosi Possibilità di sfruttare la gerarchia Overhead moderati ( area (~10%) e speed (~5%)) Svantaggi: uantità di dati e tempi di test Impossibilità di applicare test alla velocità operativa del circuito 21 11