Инвазивный подход к верификации функционально-структурных спецификаций, реализованных в заказных интегральных схемах

Представлен подход к верификации функционально-структурных спецификаций, реализованных в заказных интегральных схемах, основанный на инвазивных методах исследования. Актуальность проведённого исследования обусловлена необходимостью проведения верификации функционально-структурных спецификаций, поста...

Descripció completa

Dades bibliogràfiques

Autors principals:	Dmitry Nagibin, Alexey Petrenko, Vladislav Davydenko, Igor Kotenko, Elena Fedorchenko
Format:	Artigo
Idioma:	Inglês
Publicat:	Russian Academy of Sciences, St. Petersburg Federal Research Center 2025-04-01
Col·lecció:	Информатика и автоматизация
Matèries:	заказная интегральная схема идентификация верификация функционально-структурная спецификация алгоритм шифрования
Accés en línia:	https://ia.spcras.ru/index.php/sp/article/view/16772
Etiquetes:	Afegir etiqueta Sense etiquetes, Sigues el primer a etiquetar aquest registre!