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

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

Ausführliche Beschreibung

Gespeichert in:

Bibliographische Detailangaben
Veröffentlicht in:	Informatika i avtomatizaciâ (Online) Jg. 24; H. 2; S. 526 - 555
Hauptverfasser:	Dmitry Nagibin, Alexey Petrenko, Vladislav Davydenko, Igor Kotenko, Elena Fedorchenko
Format:	Journal Article
Sprache:	Englisch Russisch
Veröffentlicht:	Russian Academy of Sciences, St. Petersburg Federal Research Center 01.04.2025
Schlagworte:	алгоритм шифрования верификация заказная интегральная схема идентификация функционально-структурная спецификация
ISSN:	2713-3192, 2713-3206
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Schreiben Sie den ersten Kommentar!