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

Full description

Bibliographic Details

Published in:	Труды Института системного программирования РАН
Main Authors:	M. S. Lebedev, S. A. Smolov
Format:	Article
Language:	English
Published:	Russian Academy of Sciences, Ivannikov Institute for System Programming 2018-10-01
Subjects:	цифровая аппаратура функциональная верификация статический анализ генерация тестов охраняемое действие высокоуровневая решающая диаграмма расширенный конечный автомат проверка модели
Online Access:	https://ispranproceedings.elpub.ru/jour/article/view/138