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

Cijeli opis

Bibliografski detalji

Glavni autori:	M. S. Lebedev, S. A. Smolov
Format:	Artigo
Jezik:	Inglês
Izdano:	Russian Academy of Sciences, Ivannikov Institute for System Programming 2018-10-01
Serija:	Труды Института системного программирования РАН
Teme:	цифровая аппаратура функциональная верификация статический анализ генерация тестов охраняемое действие высокоуровневая решающая диаграмма расширенный конечный автомат проверка модели
Online pristup:	https://ispranproceedings.elpub.ru/jour/article/view/138
Oznake:	Dodaj oznaku Bez oznaka, Budi prvi tko označuje ovaj zapis!