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

Authors: I. . Melnichenko, A. . Kamkin, S. . Smolov

Source: Труды Института системного программирования РАН, Vol 27, Iss 3, Pp 161-182 (2018)

Subject Terms: проектирование аппаратуры, язык описания аппаратуры, имитационная верификация, генерация тестов, моделирование, расширенный конечный автомат, обход графа, случайный обход, поиск с возвратами, символическое исполнение, разрешение ограничений, Electronic computers. Computer science, QA75.5-76.95

File Description: electronic resource

Relation: https://ispranproceedings.elpub.ru/jour/article/view/644; https://doaj.org/toc/2079-8156; https://doaj.org/toc/2220-6426

Access URL: https://doaj.org/article/f458ed7a4f804d708ac53b93c9240478

Mechanisms for functional testing of hardware models at different levels of abstraction

Authors: A. S. Kamkin, M. M. Chupilko

Source: Труды Института системного программирования РАН, Vol 20, Iss 0 (2018)

Subject Terms: проектирование аппаратуры, функциональное тестирование, моделирование на уровне транзакций, Electronic computers. Computer science, QA75.5-76.95

File Description: electronic resource

Relation: https://ispranproceedings.elpub.ru/jour/article/view/1057; https://doaj.org/toc/2079-8156; https://doaj.org/toc/2220-6426

Access URL: https://doaj.org/article/5519344cab0c40dd88e048b4b17e14d9

AN EXTENDED FINITE STATE MACHINE-BASED APPROACH TO CODE COVERAGE-DIRECTED TEST GENERATION FOR HARDWARE DESIGNS

Authors: MELNICHENKO I., KAMKIN A., SMOLOV S.

Subject Terms: ПРОЕКТИРОВАНИЕ АППАРАТУРЫ, ЯЗЫК ОПИСАНИЯ АППАРАТУРЫ, ИМИТАЦИОННАЯ ВЕРИФИКАЦИЯ, ГЕНЕРАЦИЯ ТЕСТОВ, МОДЕЛИРОВАНИЕ, РАСШИРЕННЫЙ КОНЕЧНЫЙ АВТОМАТ, ОБХОД ГРАФА, СЛУЧАЙНЫЙ ОБХОД, ПОИСК С ВОЗВРАТАМИ, СИМВОЛИЧЕСКОЕ ИСПОЛНЕНИЕ, РАЗРЕШЕНИЕ ОГРАНИЧЕНИЙ

File Description: text/html

Availability: http://cyberleninka.ru/article/n/an-extended-finite-state-machine-based-approach-to-code-coverage-directed-test-generation-for-hardware-designs
http://cyberleninka.ru/article_covers/15899114.png

МЕХАНИЗМЫ ПОДДЕРЖКИ ФУНКЦИОНАЛЬНОГО ТЕСТИРОВАНИЯ МОДЕЛЕЙ АППАРАТУРЫ НА РАЗНЫХ УРОВНЯХ АБСТРАКЦИИ

Authors: Камкин, А., Чупилко, М.

Subject Terms: ПРОЕКТИРОВАНИЕ АППАРАТУРЫ,ФУНКЦИОНАЛЬНОЕ ТЕСТИРОВАНИЕ,МОДЕЛИРОВАНИЕ НА УРОВНЕ ТРАНЗАКЦИЙ

File Description: text/html

Availability: http://cyberleninka.ru/article/n/mehanizmy-podderzhki-funktsionalnogo-testirovaniya-modeley-apparatury-na-raznyh-urovnyah-abstraktsii
http://cyberleninka.ru/article_covers/13961016.png

Механизмы поддержки функционального тестирования моделей аппаратуры на разных уровнях абстракции

Source: Труды Института системного программирования РАН.

Subject Terms: ПРОЕКТИРОВАНИЕ АППАРАТУРЫ,ФУНКЦИОНАЛЬНОЕ ТЕСТИРОВАНИЕ,МОДЕЛИРОВАНИЕ НА УРОВНЕ ТРАНЗАКЦИЙ

File Description: text/html

Access URL: http://cyberleninka.ru/article_covers/13961016.png
http://cyberleninka.ru/article/n/mehanizmy-podderzhki-funktsionalnogo-testirovaniya-modeley-apparatury-na-raznyh-urovnyah-abstraktsii