An Extended Finite State Machine-Based Approach to Code Coverage-Directed Test Generation for Hardware Designs

An Extended Finite State Machine-Based Approach to Code Coverage-Directed Test Generation for Hardware Designs

Model-based test generation is widely spread in functional verification of hardware designs. The extended finite state machine (EFSM) is known to be a powerful formalism for modelling digital hardware. As opposed to conventional finite state machines, EFSM models separate datapath and control, which...

Full description

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

Internet

https://ispranproceedings.elpub.ru/jour/article/view/644

Similar Items