22
ctronic CAD & Reliability Group ://www.cad.polito.it/

Automatic generation of software -based functional failing test

  • Upload
    kail

  • View
    39

  • Download
    3

Embed Size (px)

DESCRIPTION

Automatic generation of software -based functional failing test. Giovanni Squillero. GOAL. To propose a methodology for automatically devising a functional failing test for a microprocessor, without any information about the underlying microarchitecture. Outline. Background - PowerPoint PPT Presentation

Citation preview

Page 1: Automatic generation of  software -based functional  failing test

Electronic CAD & Reliability Grouphttp://www.cad.polito.it/

Page 2: Automatic generation of  software -based functional  failing test
Page 3: Automatic generation of  software -based functional  failing test
Page 4: Automatic generation of  software -based functional  failing test
Page 5: Automatic generation of  software -based functional  failing test
Page 6: Automatic generation of  software -based functional  failing test

DESIGN

PROTOTYPE

Tape out

Pre-silicon

Post-silicon

Page 7: Automatic generation of  software -based functional  failing test

AF56ED90

AF96FB90

Page 8: Automatic generation of  software -based functional  failing test

µGP

XML

asmasm

Page 9: Automatic generation of  software -based functional  failing test

XML

Page 10: Automatic generation of  software -based functional  failing test

Candidate test

master slave

Frequency/Voltage

Results

optimizationevaluation

Page 11: Automatic generation of  software -based functional  failing test

IEEE Computer, 2004

Page 12: Automatic generation of  software -based functional  failing test
Page 13: Automatic generation of  software -based functional  failing test
Page 14: Automatic generation of  software -based functional  failing test

CORE [V] Prime95 IBT LinX OCCT µGP1.2625 1” 2’ 2’ 3” ≤ 1”1.2750 6” 2’ 2’ 4” 2”1.2875 4’ 4’ 2’ 7’ 2”1.3000 7’ 7’ 10”1.3125 8’1.3250

Page 15: Automatic generation of  software -based functional  failing test

CORE [V] Prime95 IBT LinX OCCT µGP1.21250 6’ 1’ 2’ 4’ <1’’1.21875 4’ 5’ <1’’1.22500 <1’’1.23125 <1’’1.23750 <1’’1.24375 <1’’1.25000 <1’’1.25625 1’’1.26250 1’’1.26875 3’’1.27500 3’’1.28125 3’’1.28750 5’’1.29375 30’’1.30000 2’1.30625 5’1.31875 1.32500

Page 16: Automatic generation of  software -based functional  failing test

CPU Freq. [GHz] IBT LinX OCCT Prime95 µGP3.827 2’ 3’ 5’ 30” 29”3.803 10’ 4’ 9’ 29”3.783 5’ 29”3.758 6’ 29”3.737 30”3.721 30”3.691 30”3.666 30”3.645 77”3.622

Page 17: Automatic generation of  software -based functional  failing test

CPU Freq. [GHz] IBT LinX OCCT Prime95 µGP3.827 6’ 6’ 8’ 3’ 28”3.803 6’ 28”3.783 29”3.758 29”3.737 29”3.721 30”3.691 30”3.666 30”3.645 3.622

Page 18: Automatic generation of  software -based functional  failing test

CPUFrequency

V-Core IBT LinX OCCT µGPN A

i7 860 2.80 4.25 1.4 - FAIL - PASSi7 860 2.80 4.30 1.4 - FAIL - FAILi7 920 2.66 4.02 1.27 - PASS - FAILi7 920 2.67 2.65 1.27 - - - PASSi7 920 2.67 3.20 1.0 PASS - - FAILi7 920 2.67 3.20 1.044 PASS - - PASSi7 920 2.67 3.20 1.0312 FAIL - - FAILi7 920 2.67 3.20 1.0375 FAIL - - FAILi7 920 2.67 4.20 1.35 - - - PASSi7 920 2.67 4.33 1.385 - PASS - FAILi7 920 2.67 4.40 1.45 - - - PASSi7 930 2.80 3.80 1.2 - - - PASSi7 950 3.06 4.03 1.31 PASS - - PASSi7 950 3.06 4.03 1.28 FAIL - - FAILi7 950 3.06 4.03 1.328 PASS - PASS FAILi7 950 3.06 4.20 1.34 PASS PASS - FAILi7 950 3.06 4.20 1.31 PASS PASS - FAILi7 965 3.20 3.46 1.21 - - - PASS

Page 19: Automatic generation of  software -based functional  failing test
Page 20: Automatic generation of  software -based functional  failing test
Page 21: Automatic generation of  software -based functional  failing test
Page 22: Automatic generation of  software -based functional  failing test

Giovanni Squillero

Politecnico di TorinoDipartimento di Automatica e InformaticaCorso Duca degli Abruzzi, 24I-10129 TorinoITALY

Tel: +39-011564.7186Fax: +39-011564.7099

http://www.cad.polito.it/staff/squillero/[email protected]