Вы здесь

Проблемы верификации микропроцессоров

10 апреля сотрудники ЗАО "МЦСТ" и Института системного программирования РАН провели совместный семинар на тему: "Проблемы верификации микропроцессоров"

В ходе семинара прозвучали доклады:

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

Завершил семинар Круглый стол на тему: "Особенности представленных подходов к верификации, практический опыт и пути их использования в перспективных ОКР по созданию отечественных высокопроизводительных микропроцессоров". Круглый стол вели директор Института системного программирования РАН, академик В.П. Иванников и заместитель генерального директора по направлению "системное программирование" ЗАО "МЦСТ" В.Ю. Волконский.