Výsledky vyhledávání - "функционально-структурная спецификация"

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

Autoři: Dmitry Nagibin Alexey Petrenko Vladislav Davydenko a další

Zdroj: Информатика и автоматизация, Vol 24, Iss 2, Pp 526-555 (2025)

Témata: заказная интегральная схема, идентификация, верификация, функционально-структурная спецификация, алгоритм шифрования, Electronic computers. Computer science, QA75.5-76.95

Popis souboru: electronic resource

Relation: https://ia.spcras.ru/index.php/sp/article/view/16772; https://doaj.org/toc/2713-3192; https://doaj.org/toc/2713-3206

Přístupová URL adresa: https://doaj.org/article/c3d1c09f3c254fbf978d4bb425adfe67