Preview

Вопросы радиоэлектроники

Расширенный поиск

СИСТЕМА ИНТЕГРАЦИИ ИНЖЕНЕРНЫХ ТЕСТОВ НА ОСНОВЕ СТАТИЧЕСКОГО РАСПРЕДЕЛЕНИЯ РЕСУРСОВ

Полный текст:

Аннотация

Существует практическая необходимость интеграции отдельных решений для системной логической верификации микропроцессоров. В статье представлен подход, позволяющий формировать системные тесты из отдельных подтестов путем распараллеливания их исполнения на разных вычислительных ядрах верифицируемого многоядерного микропроцессора. При этом распределение доступных системных ресурсов осуществляется статически на основе заранее сформированных ресурсных требований подтестов. Полученные значения ресурсных параметров передаются в подтесты на стадии компоновки системного теста. Программная среда исполнения при запуске моделирования осуществляет инициализацию системных ресурсов и передает управление подтестам. В статье описаны структура программного комплекса, реализующего представленный подход, алгоритм формирования системного теста и используемый для этого инструментарий. Приведены основные сценарии применения на примере маршрута логической верификации микропроцессора «Эльбрус-8C2».

Об авторе

П. В. Фролов
ПАО «ИНЭУМ им. И.С. Брука»; АО «МЦСТ»; МФТИ (ГУ)
Россия

начальник сектора, АО «МЦСТ», ПАО «ИНЭУМ им. И. С. Брука»;

ассистент, МФТИ (ГУ)

119334, Москва, ул. Вавилова, д. 24, тел: 8 (499) 135-70-89



Список литературы

1. Мешков А. Н., Рыжов М. П., Шмелев В. А. Развитие средств верификации микропроцессора «Эльбрус-2S» // Вопросы радиоэлектроники. 2014. Т. 4. № 3. С. 5–17.

2. Средства функциональной верификации микропроцессоров / А. С. Камкин, А. М. Коцыняк, С. А. Смолов, А. Д. Татарников, М. М. Чупилко, А. А Сортов // Труды Института системного программирования РАН. 2014. Т. 26. № 1. С. 149–200.

3. Юрлин С. В. Бычков И. Н. Прототипирование на основе ПЛИС для верификации многоядерных микропроцессоров // Проблемы разработки перспективных микро- и наноэлектронных систем (МЭС). 2014. № 4. С. 45–50.

4. Фролов П. В. Генерация случайных тестов системного уровня для микропроцессоров с архитектурой «Эльбрус» // Вопросы радиоэлектроники. 2014. Т. 4. № 3. С. 38–46.

5. GNU Binutils. Available at: https://sourceware.org/binutils/ (accessed 07.11.2017)

6. Документация редактора связей ld. Скрипты редактора связей [Электронный ресурс]. URL: https://sourceware.org/binutils/docs/ld/Scripts.html#Scripts (дата обращения: 07.11.2017)


Для цитирования:


Фролов П.В. СИСТЕМА ИНТЕГРАЦИИ ИНЖЕНЕРНЫХ ТЕСТОВ НА ОСНОВЕ СТАТИЧЕСКОГО РАСПРЕДЕЛЕНИЯ РЕСУРСОВ. Вопросы радиоэлектроники. 2018;(2):76-80.

For citation:


Frolov P.V. SYSTEM-LEVEL TEST INTEGRATION BASED ON STATIC RESOURCE ALLOCATION. Issues of radio electronics. 2018;(2):76-80. (In Russ.)

Просмотров: 29


Creative Commons License
Контент доступен под лицензией Creative Commons Attribution 4.0 License.


ISSN 2218-5453 (Print)
ISSN 2686-7680 (Online)