Зведений каталог бібліотек Харкова

 
Пошук Відібрані Опис документа
Початкова сторінка Сайт УФД

Головир, В. А.
    Верификация цифровых систем на базе программируемых логических интегральных схем, выполняющих функции безопасности в критических приложениях [Текст] / В.А. Головир, Ю.В. Розен, В.В. Скляр, В.С. Харченко // Успехи современной радиоэлектроники. — 2005. — №10. — С. 59-76.

- Анотація:

Рассмотрен формализованный и структурированный процесс проведения верификации цифровых систем на базе программируемых логических интегральных схем (ПЛИС). Изложены порядок проведения и методы верификациицифровых систем на базе ПЛИС. В качестве примера рассмотрено цифровое устройство на базе ПЛИС, реализующее алгоритмы формирования сигналов защиты в програмно-техническом комплексе системы аварийной и предупредительной защиты реактора АЭС.

- Є складовою частиною документа:

- Теми документа

  • УДК // Об'єктно орієнтована



Наявність
Установа Кількість Документ на сайті установи
Науково-технічна бібліотека Національного аерокосмічного університету ім. М.Є. Жуковського   Перейти на сайт