#Информационные технологии
Верификация систем на кристалле
Описание факультатива: что такое система на кристалле и зачем ее верифицируют?
Записывайтесь на наш факультатив, разработанный компанией Yadro, все расскажем! Занятия проводят эксперты компании Yadro.
Вы погрузитесь в мир низкоуровневого программирования на С, разработаете фреймворк для верификации СнК, вычислительных ядер RISC-V и периферии, вплотную прикоснетесь к миру цифрового проектирования современных микросхем. Полученные навыки позволят выполнять работу в современных дизайн-центрах проектирования систем на кристалле.
Кому подойдёт этот курс: студенты ФИТ, ФФ, ММФ, других факультетов. Предусмотрено входное тестирование. Входные требования:
- Python на базовом уровне
- опыт практической работы с базовыми утилитами Linux (знает и умеет запускать и устанавливать программы, имеет навыки программирования в bash)
- опыт программирования на языке С (использование make, знание компиляторов)
Зарегистрироваться на факультатив можно только после прохождения предварительного отбора, для этого необходимо записаться на сайте компании.
Чему вы научитесь: изучите, что такое функциональная верификация, один из обязательных этапов разработки цифровых устройств, проверка устройства на соответствие заявленной спецификации: выполняет ли оно все заложенные в него функции и ведет ли себя полностью предсказуемо. Разработаете собственный проект.
Как проходит обучение: занятия на русском языке, предусмотрены лекции, 6 часов, и практические занятия, 18 часов. Общее количество зачётных единиц – 2.
Формат проведения занятий смешанный. Лекции и практические занятия проводятся онлайн, сдача итогового проекта – аудиторно. Для сдачи итогового зачёта необходимо выполнить и защитить итоговый проект.
Содержание курса: маршрут проектирования Систем на кристалле (СнК). Роль верификации в маршруте проектирования СнК. Функциональная верификация СнК.
Знакомство с Renode. Robot Framework Функциональная верификация CPU.
Обзор аппаратуры современных CPU кластеров. Подходы к верификации и системному тестированию. HDL-Симуляторы и Совместная симуляция.
Инструменты моделирования. Интерфейсы взаимодействия DPI и VPI. Обработка прерываний в Timer & UART.
Расписание
Записывайтесь на наш факультатив, разработанный компанией Yadro, все расскажем! Занятия проводят эксперты компании Yadro.
Вы погрузитесь в мир низкоуровневого программирования на С, разработаете фреймворк для верификации СнК, вычислительных ядер RISC-V и периферии, вплотную прикоснетесь к миру цифрового проектирования современных микросхем. Полученные навыки позволят выполнять работу в современных дизайн-центрах проектирования систем на кристалле.
Кому подойдёт этот курс: студенты ФИТ, ФФ, ММФ, других факультетов. Предусмотрено входное тестирование. Входные требования:
- Python на базовом уровне
- опыт практической работы с базовыми утилитами Linux (знает и умеет запускать и устанавливать программы, имеет навыки программирования в bash)
- опыт программирования на языке С (использование make, знание компиляторов)
Зарегистрироваться на факультатив можно только после прохождения предварительного отбора, для этого необходимо записаться на сайте компании.
Чему вы научитесь: изучите, что такое функциональная верификация, один из обязательных этапов разработки цифровых устройств, проверка устройства на соответствие заявленной спецификации: выполняет ли оно все заложенные в него функции и ведет ли себя полностью предсказуемо. Разработаете собственный проект.
Как проходит обучение: занятия на русском языке, предусмотрены лекции, 6 часов, и практические занятия, 18 часов. Общее количество зачётных единиц – 2.
Формат проведения занятий смешанный. Лекции и практические занятия проводятся онлайн, сдача итогового проекта – аудиторно. Для сдачи итогового зачёта необходимо выполнить и защитить итоговый проект.
Содержание курса: маршрут проектирования Систем на кристалле (СнК). Роль верификации в маршруте проектирования СнК. Функциональная верификация СнК.
Знакомство с Renode. Robot Framework Функциональная верификация CPU.
Обзор аппаратуры современных CPU кластеров. Подходы к верификации и системному тестированию. HDL-Симуляторы и Совместная симуляция.
Инструменты моделирования. Интерфейсы взаимодействия DPI и VPI. Обработка прерываний в Timer & UART.
Расписание
Занятия проводит
- Власов Александр Александровичк.т.н., доцент кафедры систем информатики факультета информационных технологий НГУ, заместитель декана ФИТ по магистратуре.
