Design For Testability (DFT) Alberto Scandurra



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

Collaudo (testing) dei sistemi digitali

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

Sintesi logica - Constraints Alberto Scandurra

Design for Testability (DFT): Scan

CORSO DI ELETTRONICA DEI SISTEMI DIGITALI

IC Test & Design for Testability

Test e design for testability

Xilinx ISE Tutorial File -> New Project...

Macchine sequenziali sincrone. Macchine sincrone

Simulazione di guasto

Esercitazione sul programma XILINX ISE 4.2i.

Verificare il funzionamento delle memorie RAM Saper effettuare misure di collaudo. Dip switch Pulsante n.a. Octal tri-state buffer IC2 = MM 2114

Reti sequenziali. Esempio di rete sequenziale: distributore automatico.

Circuiti sequenziali e elementi di memoria

Reti sequenziali sincrone

Ciclo di Istruzione. Ciclo di Istruzione. Controllo. Ciclo di Istruzione (diagramma di flusso) Lezione 5 e 6

I metodi formali nel processo di sviluppo del software

Architettura del computer (C.Busso)

21-Mar-03-2 ETLCE - B DDC. 21-Mar-03-4 ETLCE - B DDC. segnale modulato. transiszioni. finestra per trans fisse.

Flip-flop, registri, la macchina a stati finiti

Elettronica dei Sistemi Digitali Dispositivi logici programmabili

LABORATORIO DI SISTEMI

Esame di INFORMATICA

VLSI Testing. Motivazioni

7.16 Funzioni ed FB gestione modem

Laboratorio di Architettura degli Elaboratori - A.A. 2012/13

Calcolo numerico e programmazione Architettura dei calcolatori

L interruttore Microfonico

Flip-flop Macchine sequenziali

I componenti di un Sistema di elaborazione. Memoria centrale. È costituita da una serie di CHIP disposti su una scheda elettronica

1.4b: Hardware. (Memoria Centrale)

La tecnica proporzionale

All interno del computer si possono individuare 5 componenti principali: SCHEDA MADRE. MICROPROCESSORE che contiene la CPU MEMORIA RAM MEMORIA ROM

Macchine a stati finiti G. MARSELLA UNIVERSITÀ DEL SALENTO

Latch pseudo-statico. Caratteristiche:

Capitolo 2 Tecnologie dei circuiti integrati 33

Architettura degli Elaboratori

ISTITUTO ISTRUZIONE SUPERIORE "L. EINAUDI" ALBA ANNO SCOLASTICO 2015/2016

Famiglie logiche. Abbiamo visto come, diversi anni fa, venivano realizzate in concreto le funzioni

Per scrivere una procedura che non deve restituire nessun valore e deve solo contenere le informazioni per le modalità delle porte e controlli

Tipi primitivi. Ad esempio, il codice seguente dichiara una variabile di tipo intero, le assegna il valore 5 e stampa a schermo il suo contenuto:

DI COSA SI PARLERÀ. La struttura di ORCAD ORCAD Capture Il disegno elettrico, la lista componenti, la Netlist ORCAD Layout

Collegamento al sistema

Macchine sequenziali

Consumo di Potenza nell inverter CMOS. Courtesy of Massimo Barbaro

Architettura hardware

Nozione di algoritmo. Gabriella Trucco

Registri. «a2» Copyright Daniele Giacomini --

Macchine a stati finiti. Sommario. Sommario. M. Favalli. 5th June 2007

FSM: Macchine a Stati Finiti

Macchine a stati finiti. Sommario. Sommario. M. Favalli. Le macchine a stati si utilizzano per modellare di sistemi fisici caratterizzabili mediante:

Sintesi di Reti Sequenziali Sincrone

PROF. Filippo CAPUANI. Amministrazione di una rete con Active Directory

Introduzione al VHDL. Alcuni concetti introduttivi

Calcolatori Elettronici B a.a. 2006/2007

DISPLAY REMOTO PILOTATO DALLA SERIALE. LCD_SERv10

MYCONNECT 2015 R4I. Manuale Utente

Informatica di base. Hardware: CPU SCHEDA MADRE. Informatica Hardware di un PC Prof. Corrado Lai

C. P. U. MEMORIA CENTRALE

Pronto Esecuzione Attesa Terminazione

1. Manuale d uso per l interfaccia web di Gestione PEC

Introduzione ai microcontrollori

L architettura di riferimento

Arduino: Programmazione

Laboratorio di Architettura degli Elaboratori A.A. 2015/16 Circuiti Logici

Autoware Ladder Tool (per Arduino ) Basic Tutorial

Tecniche per il progetto di sistemi elettronici tolleranti ai guasti

PROGRAMMAZIONE MODULARE

Conoscere i diversi tipi di memoria centrale presenti nel computer, quali: RAM (randomaccess memory), ROM (read-only memory)

Istruzioni per l utilizzo 06/2015. LOGO! App V3.0. LOGO! 8 e LOGO! 7

Testing: basato su analisi dinamica del codice. Metodi Formali: basato su analisi statica del codice.

Introduzione alla programmazione in C

Modifiche costruttive e sostituzione di una macchina facente parte di un insieme complesso

Struttura del calcolatore

Capitolo. Interfacciamento di periferiche I/O con il PC. 1.1 Il BUS di espansione del PC

Il linguaggio di specifica formale Z

POLIFEMO LIGHT Manuale di Riferimento Release 2.0

Trasformazione dei Processi in Progetti DIB 1

Configurazione Modem ROBUSTEL M1000 SMS Direct

L analisi dei rischi: l aspetto statistico Ing. Pier Giorgio DELLA ROLE Six Sigma Master Black Belt

Dall Algoritmo al Programma. Prof. Francesco Accarino IIS Altiero Spinelli Sesto San Giovanni

L organizzazione interna della memoria e del banco di registri prevedono generalmente che le uscite di 2 o più componenti

Transcript:

Design For Testability (DFT) Alberto Scandurra Physical Layer & Back-End group, On Chip Communication Systems STMicroelectronics Catania, Italy

Agenda Testabilità dei sistemi VLSI Fault models Multiplexed flip flop Scan chain Level Sensistive Scan Design Fix di violazioni di DFT Built-In Self Test Boundary scan IDDQ test Ambiente di DFT con RC Flusso di DFT con RC Flusso di sintesi low power con DFT 2

Testabilità dei sistemi VLSI (1) Possibili cause di difetti Corto circuito (short) tra diversi livelli di metal Discontinuità dei wire Corto circuito tra ossido e substrato o well Effetti della presenza di difetti Nodi del chip cortocircuitati a Vdd o Gnd Nodi del chip cortocircuitati tra loro Ingressi fluttuanti (floating) e uscite sconnesse 3

Testabilità dei sistemi VLSI (2) Test dell I/O Test dei livelli logici (margine di rumore per i pad TTL, ECL, CMOS) Test a diverse velocità (alta/bassa) Test della I DD 4

Testabilità dei sistemi VLSI (3) N ingressi Logica K uscite N ingressi Logica K uscite (a) Circuito combinatorio M variabili di stato (b) Circuito sequenziale 2 N combinazioni 2 N+M combinazioni 5

Testabilità dei sistemi VLSI (4) U RCU Y X RCE τ F dalla teoria dei sistemi X(k+1) = AX(k) + BU(k) Y(k) = CX(k) + DU(k) CK Occorre trasformare un circuito sequenziale in circuito combinatorio per poterlo testare 6

Fault models Il più popolare: Stuck-at model SA0 (output) I vari nodisa1 del chip devono essere (input) controllabili e osservabili Altri modelli: Stuck-open model shorted model 7

Multiplexed flip flop (1) 8

Multiplexed flip flop (2) 9

Scan chain (1) 10

Scan chain (2) 11

Scan chain (3) 12

Scan chain (4) 13

Level Sensitive Scan Design (1) Metodologia di DFT sviluppata da IBM che usa fasi di clock separate per pilotare gli elementi delle scan chain 14

Level Sensitive Scan Design (2) 15

Fix di violazioni di DFT (1) 16

Fix di violazioni di DFT (2) 17

Built-In Self Test (BIST) Con la metodologia Built-In Self Test un dato blocco testa se stesso Vengono generati ingressi pseudo-random per la logica combinatoria Le uscite vengono combinate in ciò che è chiamato syndrome Con elevata probabilità, il blocco è fault-free se produce la syndrome attesa (Sub)-Circuit Stimulus Generator Under Test Response Analyzer Test Controller 18

Boundary scan (JTAG) Il boundary scan permette il testing delle board L accesso al boundary scan avviene attraverso 5 pin (Test Access Port): TCK: test clock TMS: test mode select TDI: test data in TDO: test data out TRST: test reset (optional) CHIP B Package Interconnect CHIP C Serial Data Out I chip con scan chain interne possono accedere le chain attraverso il boundary scan per una strategia di test unificata. CHIP A IO pad and Boundary Scan Cell Serial Data In CHIP D 19

IDDQ test 20

Ambiente di DFT con RC 21

Flusso di DFT con RC 22

Tipici comandi RC di DFT (1) 1) set_attribute dft_scan_style muxed_scan / 2) define_dft test_mode active high [-create_port] tst_mode 3) define_dft shift_enable active high create_port tst_se 4) check_dft_rules 5) fix_dft_violations clock test_mode tst_mode 6) set_attribute dft_scan_map_mode tdrc_pass /design/<design> 7) synthesize to_mapped incremental 8) report dft_registers 9) connect_scan_chain auto_create_chains [-preview] 10) report dft_chains 23

Tipici comandi RC di DFT (2) 1) Specifica la tecnica di test da utilizzare 2) Specifica l ingresso di test_mode 3) Specifica l ingresso di abilitazione dello scan test 4) Verifica che tutti gli elementi di memoria siano controllabili 5) Fissa eventuali violazioni 6) Abilita la sostituzione di tutti i flip-flop con equivalenti flip-flop con circuiteria di scan test 7) Sintesi incrementale per eseguire la sostituzione dei flip-flop 8) Riporta l elenco dei flip-flop controllabili e osservabili 9) Esegue la connessione delle catene di scan 10) Riporta l elenco delle catene di scan 24

Altri comandi RC di DFT (1) 1) define_dft scan_chain name <name> -create_ports sdi <tdi> -sdo <tdo> 2) set_attribute dft_min_number_of_scan_chains <N> /design/<design> 3) set_attribute dft_mix_clock_edges_in_scan_chains true /design/<design> 25

Altri comandi RC di DFT (2) 1) Definisce il nome delle scan chain e i pin di scan_in e scan_out 2) Definisce il minimo numero di catene di scan da creare 3) Specifica se le catene di scan possono contenere flip-flop sincronizzati su diversi fronti dello stesso clock 26

Flusso di sintesi low power con DFT Testbench Modify testbench to add PLI tasks Simulate and generate TCF file(s) TCF Enable clock gating insertion Read libraries and HDL Set timing and design constraints, Apply optimization directives Setup DFT constraints Run DFT rule checker and fix DFT violations Apply clock gating directives Synthesize design Run DFT rule checker and Replace Scan Insert and merge clock-gating Insert observability logic Connect scan chains Insert PTAM Insert Compression Run incremental optimization Analyze power and design Export to placement and ATPG Low Power DFT Modify constraints and/or optimization directives Meet constraints? Yes No 27

Tipici comandi RC di LPS-DFT (1) 1) set_attribute lp_insert_clock_gating true / 2) set_attribute lp_insert_operand_isolation true / 3) set_attribute lp_clock_gating_max_flops <M> <design> 4) set_attribute lp_clock_gating_min_flops <m> <design> 5) define_dft test_mode -active high tst_mode 6) set_attribute lp_clock_gating_test_signal tst_mode <design> 7) set_attribute max_leakage_power <value> <design> 28

Tipici comandi RC di LPS-DFT (2) 1) Abilita l inserimento della logica di clock gating 2) Abilita l inserimento della logica di operand isolation 3) Specifica il massimo numero di flip flop controllabili con una singola cella di clock gating 4) Specifica il minimo numero di flip flop controllabili con una singola cella di clock gating 5) Definisce il segnale di DFT test_mode 6) Specifica il segnale test_mode da utilizzare per il clock gating 7) Specifica la massima dissipazione di potenza statica tollerata 29