Верифікація моделей цифрових пристроїв, які подано мовами опису апаратури [Текст] : автореф. дис. на здобуття наук. ступеня канд. техн. наук : за спец. 05.13.12 Системи автоматизації проектувальних робіт : захищена 20.11.2007 / Є. Ю. Сиревич ; наук. керівник Г. Ф. Кривуля ; Харків. нац. ун-т радіоелектроніки. - Харків : [б. в.], 2007. - 20 с. - Бібліогр.: с. 15-17. - Б. ц.
УДК
681.518.54
004.9
Кл.слова (ненормированные): верифікація -- мова опису апаратури -- генерація тестів -- активізація шляхів -- графова модель -- розрізнюючі послідовності -- верификация -- язык описания аппаратуры -- генерация тестов -- активизация путей -- графовая модель -- различающие последовательности -- verification -- hardware description language -- test generation -- path sensitization -- graph model -- distinguishing sequences -- Доп. точки доступа: Кривуля, Геннадій Федорович\наук. керівник\ Харків. нац. ун-т радіоелектроніки
#
Відділ
Всього примірників
Вільних примірників
1
Абонемент і читальний зал б. п. №3 (вул. Алчевських, 44)