С40
Сиревич Є. Ю. Верифікація моделей цифрових пристроїв, які подано мовами опису апаратури : автореф. дис. ... канд. техн. наук : 05.13.12 "Системи автоматизації проектувальних робіт" / Сиревич Євгенія Юхимівна ; Харків. нац. ун-т радіоелектроніки. – Харків, 2007. – 20 с.
Сиревич Є. Ю. Верифікація моделей цифрових пристроїв, які подано мовами опису апаратури : автореф. дис. ... канд. техн. наук : 05.13.12 "Системи автоматизації проектувальних робіт" / Сиревич Євгенія Юхимівна ; Харків. нац. ун-т радіоелектроніки. – Харків, 2007. – 20 с.
Статистика використання: Видач: 0
Тема:
- УДК
- 004.415.5 Гарантії якості програмного забезпечення. Верифікація і оцінка (V&V)
- 681.518.54 Системи автоматичної діагностики Ключові слова
- цифрові пристрої, ЦП, цифровые устройства, ЦУ
- верифікація, верификация
- генерація тестів, генерация тестов
- мови опису апаратури, МОА, языки описания аппаратуры, ЯОА
- розрізнюючі послідовності, различающие последовательности