Методы верификации RISC-V процессорных ядер с использованием ПЛИС для оценки соответствия требованиям Zkt
| Направление | Информатика и управление в технических системах и ВТ |
|---|---|
| ФИО авторов | Ларионов Михаил Владимирович |
| Организация | Федеральное государственное автономное образовательное учреждение высшего образования «Национальный исследовательский университет «Высшая школа экономики» |
| Доклад | Просмотреть доклад |