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

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

முழு விளக்கம்

நூற்பட்டியல் விவரங்கள்

முதன்மை ஆசிரியர்கள்:	Dmitry Nagibin, Alexey Petrenko, Vladislav Davydenko, Igor Kotenko, Elena Fedorchenko
வடிவம்:	Artigo
மொழி:	Inglês
வெளியிடப்பட்டது:	Russian Academy of Sciences, St. Petersburg Federal Research Center 2025-04-01
தொடர்:	Информатика и автоматизация
பொருள்கள்:	заказная интегральная схема идентификация верификация функционально-структурная спецификация алгоритм шифрования
ஆன்லைன் அணுகல்:	https://ia.spcras.ru/index.php/sp/article/view/16772
குறிச்சொற்கள்:	குறிச்சொல்லை சேர்க்கவும் டாக்‌ஸ் இல்லை, இந்த பதிவுக்கு குறிச்சொல் சேர்க்கும் முதல் நபராக இருங்கள்!