Программа для верификационного окружения СФ-блока вычисления свертки нейронных сетей
| Наименование РИД | Программа для верификационного окружения СФ-блока вычисления свертки нейронных сетей |
|---|---|
| Реферат | Программа предназначена для функциональной верификации специализированного вычислительного блока (СФ-блока), реализующего операцию свертки в нейронных сетях. Программа выполняет автоматизированную генерацию тестовых стимулов, мониторинг шин взаимодействия, предсказание корректного поведения устройства под тестом (DUT), сравнение полученных результатов с эталонными значениями, а также сбор функционального покрытия для оценки полноты верификации. |
| Возможные направления использования | Программа для верификационного окружения СФ-блока вычисления свертки нейронных сетей может использоваться при проектировании и тестировании сложных цифровых систем. |
| Количество опытных образцов | 0 |
| Количество просмотров | 1 |
| Наличие дополнительных файлов | False |
| Использование РИД правообладателем | False |
| Внешнее использование РИД | False |
| НИОКТР (JSON) | {} |
| ИКСИ (JSON) | [] |
| ИКСПО (JSON) | [] |
| ОЭСР (JSON) | [] |
| Дата первого статуса | 2026-01-22T14:30:30.308789+00:00 |
| Предполагаемый тип результата | Программа для ЭВМ |
| Ожидаемая роль | Исполнитель |
| Заказчик | МИНИСТЕРСТВО НАУКИ И ВЫСШЕГО ОБРАЗОВАНИЯ РОССИЙСКОЙ ФЕДЕРАЦИИ |
| Руководитель работы | Коршунов Андрей Владимирович |
| Руководитель организации | Дронов Алексей Алексеевич |
| Регистрационный номер НИОКТР | 125060506786-2 |
| Последний статус | Подтверждена, 626020300283-2, 2026-02-03 07:20:37 UTC |
| ОКПД | Услуги по проектированию и разработке информационных технологий для прикладных задач и тестированию программного обеспечения |
| Ключевые слова | верификационное окружение; свертка |
| Исполнители | ФЕДЕРАЛЬНОЕ ГОСУДАРСТВЕННОЕ АВТОНОМНОЕ ОБРАЗОВАТЕЛЬНОЕ УЧРЕЖДЕНИЕ ВЫСШЕГО ОБРАЗОВАНИЯ "НАЦИОНАЛЬНЫЙ ИССЛЕДОВАТЕЛЬСКИЙ УНИВЕРСИТЕТ "МОСКОВСКИЙ ИНСТИТУТ ЭЛЕКТРОННОЙ ТЕХНИКИ" |
| Авторы | Филиппов Герман Алексеевич |
| Коды тематических рубрик | 50.07.07 - Диагностика средств вычислительной техники |
| OESR | Информатика – архитектура и аппаратное обеспечение |
| Приоритеты научно-технического развития | Отсутствует |