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

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

Full description

Bibliographic Details

Published in:	Informatika i avtomatizaciâ (Online) Vol. 24; no. 2; pp. 526 - 555
Main Authors:	Dmitry Nagibin, Alexey Petrenko, Vladislav Davydenko, Igor Kotenko, Elena Fedorchenko
Format:	Journal Article
Language:	English Russian
Published:	Russian Academy of Sciences, St. Petersburg Federal Research Center 01.04.2025
Subjects:	алгоритм шифрования верификация заказная интегральная схема идентификация функционально-структурная спецификация
ISSN:	2713-3192, 2713-3206
Online Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!