Выпуск журнала «Вопросы радиоэлектроники», серия ЭВТ

09 апреля 2014 года вышел журнал «Вопросы радиоэлектроники», серия электронная вычислительная техника. В журнале опубликованы статьи специалистов ЗАО «МЦСТ» по нескольким тематикам:

• Верификация

Мешков А.Н. Рыжов М.П., Шмелев В.А. «Развитие средств верификации микропроцессора “Эльбрус-2S”» 

Стотланд И.А., Лагутин А.А. «Применение эталонных событийных моделей для автономной верификации модулей микропроцессоров» 

Камкин А.С., Петроченков М.В. «Система поддержки верификации реализаций протоколов когерентности с использованием формальных методов» 

Фролов П.В. «Генерация случайных тестов системного уровня для микропроцессоров с архитектурой “Эльбрус”» 

Куцевол В.Н., Мешков А.Н., Николаева Е.М., Черных С.В. «Верификация графической подсистемы, интегрированной в процессор» 

Буренков В.С. «Генератор тестов для верификации протокола когерентности кэш-памяти» 

• Архитектура микропроцессоров

Знаменский Д.В. «Выбор вариантов реализации средств аппаратной поддержки виртуализации архитектуры “Эльбрус”» 

• Оптимизирующие компиляторы

Горелов М.А. «Использование аффинных преобразований для автоматического распараллеливания циклов» 

• Энергопотребление микропроцессоров

Волин В.С., Кравцунов Е.М., Семенихин С.В., Фельдман В.М., Черепанов В.М. «Управление энергопотреблением процессорных ядер из операционной системы для прототипа ВК на базе микропроцессоров семейства “Эльбрус”» 

• Цифровое проектирование

Ноздрин И.К., Мальшин А.В., Девликамов Р.Р. «Выбор системы распределения синхросигналов для быстродействующих микропроцессоров» 

Альфонсо Д.М., Исаев М.В., Костенко В.О. «Разработка системы тестирования и повышения выхода годной продукции для кэш-памяти микропроцессора» 

Слесарев М.В., Юрлин С.В. «Определение расчетной частоты эмуляции микропроцессора в прототипе на основе ПЛИС» 

• Электронная компонентная база

Бычков И.Н., Рябцев Ю.С., Трушкин К.А., Халиуллин Ю.Х. «Анализ электронных компонентов для довернного вычислительного оборудования» 

• Информационные системы

Парамонов Н.Б., Морозов Ю.В., Минин И.В., Токарев Д.А., Парамонов Ю.Н. «Моделирование информационных систем на разнесенном стенде» 

• Управляющие системы

Кравцунов Е.М., Мустафин Т.Р., Перекатов В.И. «Коммуникация вычислительных средств семейства “Эльбрус” в распределенных системах управления: проблемы сжатия данных» 

Ознакомиться с полным списком публикаций сотрудников МЦСТ можно перейдя по ссылке.