Спецкурс «Языки описания схем. Проблемы верификации»

Спецкурс «Языки описания схем. Проблемы верификации»
(полугодовой)
лекторы: Ю.С. Корухова и В.А Захаров
(кафедра алгоритмических языков и кафедра математической кибернетики)
для студентов 3-5 курсов и магистратуры
проходит по вторникам в 16-20 в аудитории 671
первая лекция – 16 февраля

Аннотация. Курс лекций предназначен для ознакомления слушателей с назначением, устройством и основными возможностями языков высокого уровня, используемых для описания микроэлектронных схем (VHDL и Verilog), а также с математическими методами и алгоритмами, применяемыми для автоматической проверки правильности программ и схем (формальная верификация моделей). В первой части курса представлен учебный материал о языках описания схем, их основных конструкциях, о функциональных и декларативных возможностях этих языков. Во второй части курса слушатели будут ознакомлены с общими принципами формальной верификации вычислительных систем, с темпоральными логиками, используемыми для спецификации программ и схем, а также с математическими методами и алгоритмами верификации моделей программ и схем на основе темпоральных логик.