yinzh_ATS12

Automatic Test Program Generation for Out-of-Order Superscalar Processors

Ying Zhang
 
Ahmed Rezine
Petru Eles Author homepage
 
Zebo Peng Author homepage

21st IEEE Asian Test Symposium (ATS 2012), Niigata, Japan, November 19-22, 2012.

ABSTRACT
This paper presents a high-level automatic test instruction generation (HATIG) technical that allows, for the first time, to test the scheduling unit of an out-of-order super scalar processor. This technique leverages on existing bounded model checking tools in order to generate software-based self-testing programs from a global EFSM model of the processor under test. The experimental results have demonstrated the efficiency of the proposed technique.


Related files:
yinzh_ATS12.pdfAdobe Acrobat portable document

Copyright note for papers published by the IEEE Computer Society:
Copyright IEEE. Personal use of this material is permitted. However, permission to reprint/republish this material for advertising or promotional purposes or for creating new collective works for resale or redistribution to servers or lists, or to reuse any copyrighted component of this work in other works, must be obtained from the IEEE.


[ZREP12] Ying Zhang, Ahmed Rezine, Petru Eles, Zebo Peng, "Automatic Test Program Generation for Out-of-Order Superscalar Processors", 21st IEEE Asian Test Symposium (ATS 2012), Niigata, Japan, November 19-22, 2012.
( ! ) perl script by Giovanni Squillero with modifications from Gert Jervan   (v3.1, p5.2, September-2002-)
Last modified on Monday December 04, 2006 by Gert Jervan