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

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

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

Full description

Saved in:

Bibliographic Details
Main Authors:	Dmitry Nagibin, Alexey Petrenko, Vladislav Davydenko, Igor Kotenko, Elena Fedorchenko
Format:	Article
Language:	English
Published:	Russian Academy of Sciences, St. Petersburg Federal Research Center 2025-04-01
Series:	Информатика и автоматизация
Subjects:	заказная интегральная схема идентификация верификация функционально-структурная спецификация алгоритм шифрования
Online Access:	https://ia.spcras.ru/index.php/sp/article/view/16772
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

ГЕНЕРАЦИЯ ВЫПОЛНИМЫХ СПЕЦИФИКАЦИЙ ЦИФРОВЫХ СИСТЕМ ИЗ СТРУКТУРНЫХ ОПИСАНИЙ FPGA-ПРОЕКТОВ
Published: (2018-02-01)

THE AVALANCHE EFFECT IN ENCRYPTION ALGORITHMS BASED ON THE DISCRETE CHAOTIC MAPS
by: K. S. Mulyarchik
Published: (2019-06-01)

SYNTHESIS AND SIMULATION OF ELECTRIC DRIVES CONTROL SYSTEM OF ROLLING MILL CONVEYORS
by: D. N. Tsapko, et al.
Published: (2019-06-01)

RESEARCH OF THE PERFORMANCE OF SOCIAL PROCESSES ON THE EXAMPLE OF REGISTRATION OF ENROLLEES FOR STATE EXAMS
by: I. V. Kovalenko, et al.
Published: (2019-06-01)

РАЗРАБОТКА ТЕХНОЛОГИИ ПОЛИКОМПОНЕНТНЫХ МЯСНЫХ РУБЛЕНЫХ ИЗДЕЛИЙ С КОНОПЛЯНОЙ МУКОЙ
by: Марина Александровна Вайтанис, et al.
Published: (2025-04-01)

РАЗРАБОТКА РЕЦЕПТУРЫ И СРАВНИТЕЛЬНАЯ ОЦЕНКА КОНДИТЕРСКИХ ПАСТ
by: Лариса Егоровна Мелёшкина, et al.
Published: (2022-06-01)

METHOD OF DISPLAYING AN EXECUTABLE BUSINESS PROCESS MODELS INTO PETRI NETS
by: Igor G. Fedorov
Published: (2016-08-01)

METHOD OT DATA AND KNOWLEDGE PROCESSING IN INTERNET WITH CIPHERING SUPPORT
by: V. A. Vishniakov, et al.
Published: (2019-06-01)

МЕТОД ВЕРОЯТНОСТНО-АЛГЕБРАИЧЕСКОГО МОДЕЛИРОВАНИЯ НАДЕЖНОСТИ ФУНКЦИОНАЛЬНО-СЛОЖНЫХ СИСТЕМ
Published: (2018-05-01)

MODELING OF HARDWARE AND ALGORITHMIC STRUCTURE OF MOBILE MULTIPOSITIONING RADIO RANGEFINDING NAVIGATION AND LANDING AEROSYSTEM IN ITS SPATIAL CONFIGURATION
by: Ya. V. Kondrashov, et al.
Published: (2016-11-01)

Features of the financial and economic analysis of the motor transport enterprises’ activity
by: T. V. Konovalova, et al.
Published: (2017-08-01)

The safest point method as an efficient tool for reliability-based design optimization applied to free vibrated composite structures
by: Ghias Kharmanda
Published: (2017-06-01)

Перспективы применения образовательно-технологического задания при формировании информационных моделей университетских кампусов
by: Ilya Alexandrovich Zvonov
Published: (2024-12-01)

Подход к численной оценке адекватности трехмерной клеточно-автоматной модели процесса диффузии вещества
by: Саруханян, С.К.
Published: (2025-04-01)

Motion translation devices in dyad structure of mechanical oscillatory system
by: Sergey Eliseev, et al.
Published: (2017-10-01)

МИНИМИЗАЦИЯ ПЛОЩАДИ РЕГУЛЯРНЫХ МАТРИЧНЫХ СТРУКТУР ЗАКАЗНЫХ СБИС МЕТОДОМ СВЕРТКИ
Published: (2019-02-01)

СВЕРТКА РЕГУЛЯРНЫХ МАТРИЧНЫХ СТРУКТУР ЗАКАЗНЫХ СБИС МЕТОДОМ МОДЕЛИРОВАНИЯ ОТЖИГА
Published: (2018-02-01)

Функционально-семантические различия служебных компонентов именного и глагольного сказуемого
by: Larysa Popowa
Published: (2018-07-01)

Аудит нефинансовой отчетности в фокусе устойчивого развития российских компаний
by: Елена Владимировна Анисимова
Published: (2023-12-01)

Аудит нефинансовой отчетности в фокусе устойчивого развития российских компаний
by: Елена Владимировна Анисимова
Published: (2023-12-01)

Feasibility study of genetic algorithms application for implementation of block cryptosystem cryptanalysis
by: Yury O. Chernyshev, et al.
Published: (2015-09-01)

Фазовые искажения измерительных усилителей на интегральных схема
Published: (2000-08-01)

О процессах при передаче электроэнергии и схемах замещения ЛЭП
Published: (2002-04-01)

Structural synthesis of discrete adaptive tracking systems based on the combined maximum principle
by: Andrey A Kostoglotov, et al.
Published: (2017-03-01)

ТРЕДМИЛ-ТЕСТ В ВЕРИФИКАЦИИ ИШЕМИЧЕСКОЙ БОЛЕЗНИ СЕРДЦА
Published: (2017-09-01)

ОБ ИНТЕРПРЕТАЦИИ ВРЕМЕННОЙ ЛОГИКИ ПРИ СИМВОЛИЧЕСКОЙ ВЕРИФИКАЦИИ
Published: (2019-02-01)

ЗНАЧЕНИЕ ЭЛЕКТРОКАРДИОГРАФИИ ДЛЯ ВЕРИФИКАЦИИ КОНТУЗИОННОГО ПОВРЕЖДЕНИЯ СЕРДЦА
by: D. P. Zamyatin
Published: (2017-07-01)

ВЛИЯНИЕ ГАММА-ИЗЛУЧЕНИЯ НА ЭЛЕМЕНТЫ АНАЛОГОВЫХ ИНТЕГРАЛЬНЫХ СХЕМ
Published: (2019-06-01)

Дослідження ефективності алгоритмів оброблення зображень у схемах нульового водяного знака
by: Вадим Поддубний, et al.
Published: (2025-03-01)

EFFECTIVENESS OF THE MINIMALLY INVASIVE MYOCARDIAL REVASCULARIZATION WITH AORTIC NO-TOUCH TECHNIQUE
by: A. A. Zenkov
Published: (2014-09-01)

МОДЕЛИРОВАНИЕ СТРУКТУРНЫХ ПРЕВРАЩЕНИЙ В СТАЛЬНЫХ ДЕТАЛЯХ ПРИ ИНДУКЦИОННОЙ ЗАКАЛКЕ
Published: (2018-10-01)

Использование структурных закономерностей ценологических систем для определения электропотребления предприятия
Published: (2002-02-01)

НОВЫЕ ПОДХОДЫ К ИЗУЧЕНИЮ СТРУКТУРНЫХ ОСНОВ КОНСТИТУЦИОНАЛЬНОГО АДДИКТИВНОГО ПОВЕДЕНИЯ
Published: (2005-12-01)

Опыт применения препарата Глутоксим в схемах лечения туберкулеза в ГУЗ «ЛОПТД»
Published: (2015-05-01)

Indentation of rough-surfaced spherical punch into elastic transversely isotropic half-space with functionally-graded coating
by: Andrey S. Vasiliev, et al.
Published: (2016-12-01)

ИНФОРМАТИВНОСТЬ МЕТОДОВ ЭТИОЛОГИЧЕСКОЙ ВЕРИФИКАЦИИ КОСТНО-СУСТАВНОГО ТУБЕРКУЛЕЗА У ДЕТЕЙ
Published: (2014-08-01)

СиВер – СИСТЕМА СИНТЕЗА И ВЕРИФИКАЦИИ КОМБИНАЦИОННЫХ ЛОГИЧЕСКИХ СХЕМ
Published: (2018-12-01)

Theoretical and practical aspects of biotechnology meat with micro-particle whey protein
by: Olga Nikolaevna Nazarova, et al.
Published: (2022-09-01)

КОМПЛЕКС ПРОГРАММ СИНТЕЗА ЛОГИЧЕСКИХ СХЕМ НА БАЗЕ ПРОГРАММИРУЕМЫХ ЛОГИЧЕСКИХ ИНТЕГРАЛЬНЫХ СХЕМ
Published: (2018-12-01)

Корреляция интегральных гемодинамических показателей кровотока в персонально-специфических моделях каротидной бифуркации
by: Владимир Геральдович Борисов, et al.
Published: (2025-04-01)