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

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

Celý popis

Podrobná bibliografie

Vydáno v:	Informatika i avtomatizaciâ (Online) Ročník 24; číslo 2; s. 526 - 555
Hlavní autoři:	Dmitry Nagibin, Alexey Petrenko, Vladislav Davydenko, Igor Kotenko, Elena Fedorchenko
Médium:	Journal Article
Jazyk:	angličtina ruština
Vydáno:	Russian Academy of Sciences, St. Petersburg Federal Research Center 01.04.2025
Témata:	алгоритм шифрования верификация заказная интегральная схема идентификация функционально-структурная спецификация
ISSN:	2713-3192, 2713-3206
On-line přístup:	Získat plný text
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!