Верификация моделей цифровых устройств, представленных на языке описания аппаратуры — Електронна бібліотека НУ «Запорізька політехніка»

•

[На рівень вище] [Головна] [Результати пошуку]

Кривуля Г.Ф., Сыревич Е.Е., Карасев А.Л.
Верификация моделей цифровых устройств, представленных на языке описания аппаратуры

УДК: 681.32
Автори: Кривуля Г.Ф., Сыревич Е.Е., Карасев А.Л.
Джерело: Радіоелектроніка. Інформатика. Управління
Номер журнала: № 2
Рік видання: 2005
Мова: Російська
Вид документа: Стаття періодики

Анотація:

Предлагается процедура верификации моделей цифровых устройств, описанных с помощью языков описания аппаратуры. Основная идея состоит в генерации различающих псевдоисчерпывающих тестов для отдельных функциональных элементов, суперпозиции этих тестов и в интерактивном вычислении эталонных реакций.

Ключові слова:

моделі, модели, цифрові системи передачі даних, цифровые системы передачи данных, верифікація, верификация

Файл документа доступний читачам бібліотеки: увійдіть або зареєструйтесь.