|
ИСТИНА |
Войти в систему Регистрация |
ИСТИНА ЦЭМИ РАН |
||
Языки описания схем. Проблемы верификацииучебный курс
- Авторы: Корухова Ю.С., Захаров В.А.
- Год создания: 2010
- Организация: МГУ имени М.В. Ломоносова
- Описание: Курс лекций предназначен для ознакомления слушателей с назначением, устройством и основными возможностями языков высокого уровня, используемых для описания микроэлектронных схем (VHDL и Verilog), а также с математическими методами и алгоритмами, применяемыми для автоматической проверки правильности программ и схем (формальная верификация моделей). В первой части курса представлен учебный материал о языках описания схем, их основных конструкциях, о функциональных и декларативных возможностях этих языков. Во второй части курса слушатели будут ознакомлены с общими принципами формальной верификации вычислительных систем, с темпоральными логиками, используемыми для спецификации программ и схем, а также с математическими методами и алгоритмами верификации моделей программ и схем на основе темпоральных логик.
- Добавил в систему: Корухова Юлия Станиславовна
Преподавание курса
- 8 февраля 2010 - 31 мая 2010 Корухова Юлия Станиславовна
- МГУ имени М.В. Ломоносова, Факультет вычислительной математики и кибернетики
- обязательная, по выбору (спецкурс), лекции, 16 часов
- Авторы: Корухова Ю.С., Захаров В.А.
- 10 октября 2008 - 20 декабря 2013 Захаров Владимир Анатольевич
- МГУ имени М.В. Ломоносова, Факультет вычислительной математики и кибернетики, Кафедра математической кибернетики
- обязательная, вариативной части, лекции, 16 часов
- Авторы: Корухова Ю.С., Захаров В.А.