2023/2024
Поддержка особенностей архитектуры при разработке операционных систем
Статус:
Маго-лего
Кто читает:
Департамент компьютерной инженерии
Когда читается:
1, 2 модуль
Охват аудитории:
для своего кампуса
Преподаватели:
Фролов Павел Викторович
Язык:
русский
Кредиты:
6
Контактные часы:
48
Программа дисциплины
Аннотация
В данном курсе изучаются следующие вопросы: Классические оптимизации и
анализы, Оптимизации и анализы для VLIW, Разработка высоко-производительных приложений, Вопросы разработки оптимизирующего компилятора
Цель освоения дисциплины
- изучение студентами базовых понятий и методов, применяемых при логической верификации аппаратуры, границ их применимости, подходов к оценке полноты верификации, а также роли логической верификации в современном маршруте проектирования цифровых устройств.
Планируемые результаты обучения
- знать методы контроля полноты верификации,
- знать современные методы и инструменты, применяемые при логической верификации аппаратуры в парадигме моделирования: средства моделирования, разработки тестовых окружений, сопряжения RTL-модели с внешним ПО,
- знать основные понятия логической верификации аппаратуры,
Содержание учебной дисциплины
- Логическая верификация в маршруте проектирования цифровой аппаратуры.
- Базовые принципы верификации.
- 3. Программное моделирование RTL-описания цифровой схемы.
- Организация тестового окружения.
- Проверка правильности поведения тестируемой схемы.
- Сопряжение RTL-модели на языке SystemVerilog с внешним ПО.
- Оценка полноты верификации.
- Формальные методы в логической верификации.
- Верификация с использованием утверждений (Assertion-Based Verification).
Список литературы
Рекомендуемая основная литература
- Карпов Ю. - MODEL СHECKING. Верификация параллельных и распределенных программных систем - 978-5-9775-0404-1 - Санкт-Петербург: БХВ-Петербург - 2010 - 26319 - https://ibooks.ru/bookshelf/26319/reading - iBOOKS
- Основы конструирования и технологии производства радиоэлектронных средств. Интегральные схемы : учебник для вузов / Ю. В. Гуляев [и др.] ; под редакцией Ю. В. Гуляева. — Москва : Издательство Юрайт, 2020. — 460 с. — (Высшее образование). — ISBN 978-5-534-03170-6. — Текст : электронный // Образовательная платформа Юрайт [сайт]. — URL: https://urait.ru/bcode/451330 (дата обращения: 28.08.2023).
- Эсетов, Ф. Э. Архитектура компьютера : учебное пособие / Ф. Э. Эсетов. — Махачкала : ДГПУ, 2021. — 84 с. — Текст : электронный // Лань : электронно-библиотечная система. — URL: https://e.lanbook.com/book/330080 (дата обращения: 00.00.0000). — Режим доступа: для авториз. пользователей.
Рекомендуемая дополнительная литература
- Основы конструирования и технологии производства радиоэлектронных средств. Интегральные схемы : учебник для вузов / Ю. В. Гуляев [и др.] ; под редакцией Ю. В. Гуляева. — Москва : Издательство Юрайт, 2023. — 460 с. — (Высшее образование). — ISBN 978-5-534-03170-6. — Текст : электронный // Образовательная платформа Юрайт [сайт]. — URL: https://urait.ru/bcode/512259 (дата обращения: 28.08.2023).
- Таненбаум Э., Остин Т. - Архитектура компьютера 6-е изд. - 978-5-4461-1103-9 - Санкт-Петербург: Питер - 2020 - 361850 - https://ibooks.ru/bookshelf/361850/reading - iBOOKS