Test Generation for Digital Hardware Based on High-Level Models

Труды Института системного программирования РАН

M. S. Lebedev¹  S. A. Smolov²  M. M. Chupilko³  A. S. Kamkin³ 

[1] Московский государственный университет им. М.В. Ломоносова;Московский физико-технический институт;Институт системного программирования РАН;

关键词: цифровая аппаратура;    язык описания аппаратуры;    производственное тестирование;    константная ошибка;    высокоуровневая решающая диаграмма;    расширенный конечный автомат;    проверка модели;    дерево распространения;   

DOI  :  10.15514/ISPRAS-2017-29(4)-16

来源: DOAJ

【 摘 要 】

Hardware testing is a process aimed at detecting manufacturing faults in integrated circuits. To measure test quality, two main metrics are in use: fault detection abilities (fault coverage) and test application time (test length). Many algorithms have been suggested for test generation; however, no scalable solution exists. In this paper, we analyze applicability of functional tests generated from high-level models for low-level manufacturing testing. A particular test generation method is considered. The input information is an HDL description. The key steps of the method are system model construction and coverage model construction. Both models are automatically extracted from the given description. The system model is a representation of the design in the form of high-level decision diagrams. The coverage model is a set of LTL formulae defining reachability conditions for the transitions of the extended finite state machine. The models are translated into the input format of a model checker. For each coverage model formula the model checker generates a counterexample, i.e. an execution that violates the formula (makes the corresponding transition to fire). The approach is intended for covering of all possible execution paths of the input HDL description and detecting dead code. Experimental comparison with the existing analogues has shown that it produces shorter tests, but they achieve lower stuck-at fault coverage comparing with the dedicated approach. An improvement has been proposed to overcome the issue.

【 授权许可】

Unknown