Главная         Авторы   Статьи   Год проведения   Тематика   Организации        Конференция МЭС

Моделирование и верификация коммуникационных фабрик при проектировании систем на кристалле
Авторы
	Готманов А.Н.
	Кишинёвский М.А.
	Чэттерджи С.
Год публикации
	2012
УДК
	004.942
Аннотация
	Один из способов убедиться в правильной работе системы на ранних этапах проектирования – построить абстрактную модель и провести формальное доказательство ее корректности. В статье рассмотрена задача верификации моделей коммуникационных фабрик, получающихся композицией небольшого числа базовых микроархитектурных блоков с простой семантикой. Мы покажем, что структурный анализ модели существенно упрощает доказательство ее свойств, в том числе свойства отсутствия зависаний. Предлагаемые методы успешно использовались для верификации микроархитектур промышленных систем на кристалле, тогда как другие подходы не дали результата или оказались слишком трудоемкими.
Ключевые слова
	моделирование, формальная верификация, xMAS, инварианты, зависания, тупиковые ситуации, коммуникационные фабрики, микроархитектура, системы на кристалле
Ссылка на статью
	Готманов А.Н., Кишинёвский М.А., Чэттерджи С. Моделирование и верификация коммуникационных фабрик при проектировании систем на кристалле // Проблемы разработки перспективных микро- и наноэлектронных систем - 2012. Сборник трудов / под общ. ред. академика РАН А.Л. Стемпковского. М.: ИППМ РАН, 2012. С. 61-66.
Адрес статьи
	http://www.mes-conference.ru/data/year2012/pdf/D28.pdf