Software-based self-test generation for microprocessors with high-level decision diagrams

Proceedings of the Estonian Academy of Sciences

Artjom Jasnetski¹  Anton Tsertov¹  Marina Brik¹  Raimund Ubar¹ 

[1] $$

关键词: microprocessor;    software-based self-test;    test program generation;    high-level decision diagrams;   

DOI  :  10.3176/proc.2014.1.08

学科分类：化学（综合）

来源: Teaduste Akadeemia Kirjastus

【 摘 要 】

This paper presents a novel approach to automated behavioural level test program generation for microprocessors using the model of high-level decision diagrams (HLDD) for representing instruction sets. The methodology of using HLDDs for modelling of microprocessors, and a new HLDD-based fault model are developed. The procedures for automated test program generation are presented using a formal model of HLDDs. The feasibility and efficiency of the new methodology are demonstrated by carrying out experimental research on test generation for a 8-bit microprocessor. The results are promising, showing the advantages of the new method and demonstrating better quality of tests compared to previous results.

【 授权许可】

Unknown