свежие новости
Alexander S. Kulikov
1. Информация о докладе Ариста Кожевникова.
Время: 25 ноября 2009 г. (среда), 11:15.
Место: СПбГУ, 10–я линия Васильевского острова, д. 33 (географический
ф–т), ауд. 66.
Аннотация: В первой части будет рассказано о языках проектирования
аппаратного обеспечения (на примере Verilog) и о математической
модели, которая лежит в основе этих языков. Основное их отличие от
языков для создания программного обеспечения заключается в
параллелизме: базовые операции по умолчанию происходят не
последовательно, а одновременно.
Вторая часть будет посвящена формальным методам проверки спецификаций
железа. Для описания спецификаций будут определены несколько языков
темпоральных логик. Также будет рассказано о языках System Verilog
Assertions (SVA) и ITL, используемых на практике.
2. Дима выложил задачи по своему курсу. См. страницу курса:
http://logic.pdmi.ras.ru/~infclub/?q=courses/mfcs
3. На странице расписания появились ссылки на видео по всем лекциям.
Саша