Automated software-based self-test generation for microprocessors
| Autor: | Anton Tsertov, Artjom Jasnetski, Raimund Ubar |
|---|---|
| Rok vydání: | 2017 |
| Předmět: |
010302 applied physics
business.industry Computer science 02 engineering and technology 01 natural sciences Experimental research 020202 computer hardware & architecture law.invention Instruction set Microprocessor Formalism (philosophy of mathematics) Software Built-in self-test law Logic gate Embedded system 0103 physical sciences 0202 electrical engineering electronic engineering information engineering business Self test |
| Zdroj: | MIXDES 2017 MIXDES-24th International Conference "Mixed Design of Integrated Circuits and Systems "2017 MIXDES-24th International Conference ""Mixed Design of Integrated Circuits and Systems" """2017 MIXDES-24th International Conference """"Mixed Design of Integrated Circuits and Systems""" |
| DOI: | 10.23919/mixdes.2017.8005252 |
| Popis: | Software-based self-testing (SBST) is a well-known non-intrusive method for testing microprocessors. This paper presents a tool for automated Software-Based Self-Test program generation. The tool is based on the previously published methodology of using High-Level Decision Diagrams (HLDD) for modeling microprocessors and faults. The tool generates from the Instruction Set Architecture of the processor its HLDD model and using the formalism of the HLDD model, together with beforehand prepared code templates, generates the final self-test program. The functionality of the tool is demonstrated by carrying out experimental research on test generation for the 8-bit microprocessor PARWAN and the 32-bit SPARCv8 microprocessor Leon 3. In combination with the fault simulation tools, it is a novel solution for SBST program generation. The experimental results demonstrate the advantages of the implemented method in comparison with previously published results. |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|