Институт системного программирования им. В.П. Иванникова РАН


Верификация микропроцессоров: борьба с ошибками и управление качеством.

Авторы

А. Камкин.

Аннотация

Развитие полупроводниковых технологий и постоянное совершенствование компьютерных архитектур сделали организацию микропроцессоров настолько сложной, что при их разработке делаются тысячи (!) ошибок. Избежать просчетов не удается даже таким крупным компаниям, как Intel и AMD. Ошибки в сложных проектах неизбежны, главное — уметь их быстро обнаруживать и не давать "распространяться" в микросхемы. Это и является основной задачей верификации.

Полный текст статьи в формате pdf

Издание

Электроника: Наука, Технология, Бизнес, №3, 2010. С. 98-104.

Научная группа

Технологии программирования

Все публикации за 2010 год Все публикации