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