681.518.54
С 40
 .
Верифікація моделей цифрових пристроїв, які подано мовами опису апаратури [Текст] : автореф. дис. на здобуття наук. ступеня канд. техн. наук : за спец. 05.13.12 Системи автоматизації проектувальних робіт : захищена 20.11.2007 / Є. Ю. Сиревич ; наук. керівник Г. Ф. Кривуля ; Харків. нац. ун-т радіоелектроніки. - Харків : [б. в.], . - 20 с. - Бібліогр.: с. 15-17. - Б. ц.

УДК
681.518.54
004.9

Ключові слова: верифікація -- мова опису апаратури -- генерація тестів -- активізація шляхів -- графова модель -- розрізнюючі послідовності -- верификация -- язык описания аппаратуры -- генерация тестов -- активизация путей -- графовая модель -- различающие последовательности -- verification -- hardware description language -- test generation -- path sensitization -- graph model -- distinguishing sequences --
Додаткові точки доступу: