|
-
Ключові слова:
верифікація, верификация ; генерація тестів, генерация тестов ; мови опису апаратури, МОА, языки описания аппаратуры, ЯОА ; системи автоматизованого проектування радіоелектронної апаратури, САПР РЕА, системы автоматизированного проектирования радиоэлектронной аппаратуры, САПР РЭА ; цифрові пристрої, ЦП, цифровые устройства, ЦУ ; VHDL, мова, язык ; System-on-Chips, SoCs
-
Анотація:
Работа посвящена верификации высокоуровневых моделей цифровых устройств (ЦУ) на языках описания аппаратуры (ЯОА). Целью исследования является разработка методов сокращения объема тестовой информации при верификации моделей ЦУ, представленных на ЯОА.
-
Теми документа
-
УДК // Гарантії якості програмного забезпечення. Верифікація і оцінка (V&V)
-
УДК // Системи автоматичної діагностики
|
