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

•

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

Сыревич Е.Е.
Верификация высокоуровневых моделей цифровых устройств

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

Анотація:

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

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

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

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