цифрові системи на кристалах, цифровые системы на кристаллах, Systems on Chip- SoC ; програмовані логічні інтегральні схеми, ПЛІС, программируемые логические интегралные схемы, ПЛИС ; верифікація, верификация ; Active-HDL ; SW/HW ; Intellectual Property Cores ; HES ; GDB ; COVER

Диссертация посвящена вопросам функциональной верификации сложных проектируемых цифровых систем на кристаллах. В работе разработана структурная модель и метод совместной верификации аппаратных и программных составляющих системы на кристалле. Усовершенствована архитектура системы моделирования цифровой системы (ЦС) для обеспечения возможности совместной верификации программных блоков, неоднократно используемых низкоуровневых представлений аппаратных блоков, моделей разрабатываемых аппаратных блоков. Основные результаты теоретико-экспериментальных исследований реализованы в виде программно-аппаратного комплекса CoVer функциональной верификации сложных цифровых систем на кристалле, который нашел промышленное применение при проектировании сложных процессорных систем на ПЛИС.

• УДК // Гарантії якості програмного забезпечення. Верифікація і оцінка (V&V)
• УДК // Стійкість. Надійність. Контроль. Синтез. Корегуючі системи. Тести