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...

ver descrição completa

Detalhes bibliográficos

Principais autores:	M. S. Lebedev, S. A. Smolov
Formato:	Artigo
Idioma:	Inglês
Publicado em:	Russian Academy of Sciences, Ivannikov Institute for System Programming 2018-10-01
coleção:	Труды Института системного программирования РАН
Assuntos:	цифровая аппаратура функциональная верификация статический анализ генерация тестов охраняемое действие высокоуровневая решающая диаграмма расширенный конечный автомат проверка модели
Acesso em linha:	https://ispranproceedings.elpub.ru/jour/article/view/138
Tags:	Adicionar Tag Sem tags, seja o primeiro a adicionar uma tag!