К56
Ковалев Е. В. Проектирование моделей цифровых автоматов для генерации тестов в среде ACTIVE-HDL : дис. ... канд. техн. наук : 05.13.12 / Ковалев Евгений Викторович ; Харьк. гос. техн. ун-т радиоэлектроники. – Харьков, 2000. – 228 с. : ил., 38 рис., 6 табл. – Библиогр.: с. 180–193.
Ковалев Е. В. Проектирование моделей цифровых автоматов для генерации тестов в среде ACTIVE-HDL : дис. ... канд. техн. наук : 05.13.12 / Ковалев Евгений Викторович ; Харьк. гос. техн. ун-т радиоэлектроники. – Харьков, 2000. – 228 с. : ил., 38 рис., 6 табл. – Библиогр.: с. 180–193.
Статистика використання: Видач: 0
Анотація:
Цель диссертационной работы - уменьшение временных затрат верификации цифрового проекта путем автоматической генерации тестов на основе модификации моделей управляющего автомата и его компонентов, представленных в среде Activ-HDL.
Тема:
- УДК
- 519.713 Автомати
- 681.32 Цифрові (або переважно цифрові) системи, машини, обладнання Ключові слова
- автоматизоване проектування, автоматизированное проектирование
- цифрові автомати, цифровые автоматы, digital automata
- логічне моделювання, логическое моделирование, logic simulation
- генерація тестів, генерация тестов