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