A Model Checking-Based Method of Functional Test Generation for HDL Descriptions

Automated test generation is a promising direction in hardware verification research area. Functional test generation methods based on models are widespread at the moment. In this paper, a functional test generation method based on model checking is proposed and compared to existing solutions. Autom...

Descripció completa

Dades bibliogràfiques

Autors principals:	M. S. Lebedev, S. A. Smolov
Format:	Artigo
Idioma:	Inglês
Publicat:	Russian Academy of Sciences, Ivannikov Institute for System Programming 2018-10-01
Col·lecció:	Труды Института системного программирования РАН
Matèries:	цифровая аппаратура функциональная верификация статический анализ генерация тестов охраняемое действие высокоуровневая решающая диаграмма расширенный конечный автомат проверка модели
Accés en línia:	https://ispranproceedings.elpub.ru/jour/article/view/138
Etiquetes:	Afegir etiqueta Sense etiquetes, Sigues el primer a etiquetar aquest registre!