10 апреля сотрудники ЗАО "МЦСТ" и Института системного программирования РАН провели совместный семинар на тему: "Проблемы верификации микропроцессоров"
В ходе семинара прозвучали доклады:
- Верификация микропроцессоров: проблемы и пути решения. Докладчик А.С. Камкин (ИСП РАН).
- Маршрут логической верификации микропроцессоров в проектах ЗАО "МЦСТ". Докладчик А.Н. Мешков (ЗАО "МЦСТ").
- Средства гибридной верификации HDL-описаний. Докладчики: С.А. Смолов, М.М. Чупилко (ИСП РАН).
- Применение методологии UVM для автономной верификации микропроцессоров. Докладчики: И.А. Стотланд, Г.Ю. Жихарев (ЗАО "МЦСТ").
- Среда генерации тестовых программ для микропроцессоров на основе формальных спецификаций. Докладчик А.Д. Татарников (ИСП РАН).
- Поддержка верификации реализаций протоколов когерентности с использованием формальных методов. Докладчики: В.С. Буренков, М.В. Петроченков (ЗАО "МЦСТ").
Завершил семинар Круглый стол на тему: "Особенности представленных подходов к верификации, практический опыт и пути их использования в перспективных ОКР по созданию отечественных высокопроизводительных микропроцессоров". Круглый стол вели директор Института системного программирования РАН, академик В.П. Иванников и заместитель генерального директора по направлению "системное программирование" ЗАО "МЦСТ" В.Ю. Волконский.