Preview

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

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

ЭТАПЫ МАРШРУТА ВЕРИФИКАЦИИ И ВАЛИДАЦИИ СИСТЕМЫ, ОРИЕНТИРОВАННЫЕ НА ПОЛУЧЕНИЕ МОДЕЛИ СНК, СПОСОБНОЙ ГАРАНТИРОВАННО ИСПОЛНЯТЬ ЦЕЛЕВЫЕ ЗАДАЧИ И АЛГОРИТМЫ С ЗАДАННЫМИ ХАРАКТЕРИСТИКАМИ

https://doi.org/10.21778/2218-5453-2018-8-64-72

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

Аннотация

Для обеспечения сходимости проекта СнК по критерию эффективности на реальных задачах весь маршрут разработки СнК, начиная с архитектурного проектирования и заканчивая квалификационными тестами топологического списка цепей, должен быть ориентирован на раннюю локализацию проблем с производительностью и подтверждение потребительских характеристик СнК перед ее выпуском на фабрику (tapeout). В статье раскрываются некоторые детали маршрута верификации СнК, ориентированного на сходимость по требованиям задания по производительности, и приводятся результаты работы инструментария, используемого при исследованиях СнК и ее компонент на различных уровнях абстракции. В основе маршрута лежит использование шаблонных тестовых окружений и унифицированных средств анализа производительности. В статье предложен метод описания входных воздействий на основе графов, позволяющий точно восстановить сценарии, при которых возникла ошибка, а также смоделировать реальный трафик. Описаны этапы маршрута верификации и валидации системы, ориентированные на получение модели СнК, способной гарантированно исполнять целевые задачи и алгоритмы с заданными характеристиками, и приведен пример системы, верифицированной по принципу контроля метрик производительности.

Об авторах

К. А. Жезлов
АО «Научно-производственный центр “ЭЛВИС”»
Россия

инженер

124498, Москва, Зеленоград, проезд № 4922, д. 4, стр. 2, тел.: 8 (985) 272-44-38



Я. С. Колбасов
АО «Научно-производственный центр “ЭЛВИС”»
Россия

инженер

124498, Москва, Зеленоград, проезд № 4922, д. 4, стр. 2, тел.: 8 (926) 100-39-59



А. В. Николаев
АО «Научно-производственный центр “ЭЛВИС”»
Россия

к. т. н., старший научный сотрудник

124498, Москва, Зеленоград, проезд № 4922, д. 4, стр. 2, тел.: 8 (906) 078-01-29



Ф. М. Путря
АО «Научно-производственный центр “ЭЛВИС”»
Россия

к. т. н., начальник лаборатории

124498, Москва, Зеленоград, проезд № 4922, д. 4, стр. 2, тел.: 8 (916) 572-60-52



С. Е. Фролова
АО «Научно-производственный центр “ЭЛВИС”»
Россия

руководитель группы

124498, Москва, Зеленоград, проезд № 4922, д. 4, стр. 2, тел.: 8 (910) 453-18-34



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

1. Wilcox P. Professional Verification: A Guide to Advanced Functional Verification. Kluwer Academic Publishers, 2004, 225 с.

2. Автоматизация верификации СНК на основе платформенного подхода / К. А. Жезлов, Я. С. Колбасов, А. В. Николаев, Ф. М. Путря, С. Е. Фролова // Электронные компоненты, 2016. С. 30–35.

3. Lim Z. N., Loh S. H., Lee S. W., Yap V. V., Ng M. S., Tang C. M. A Reconfigurable and Scalable Verification Environment for NoC Design. New Media Studies, 2013, pp. 1–5.

4. Requirements-driven Verification Methodology (for Standards Compliance). Available at: www.accellera.orq (accessed 01.05.2018)

5. Мешков А. Н., Рыжов М. П., Шмелев В. А. Развитие средств верификации микропроцессора «ЭЛЬБРУС» // Вопросы радиоэлектроники. 2014. Т. 4. № 3. С. 5–17.


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


Жезлов К.А., Колбасов Я.С., Николаев А.В., Путря Ф.М., Фролова С.Е. ЭТАПЫ МАРШРУТА ВЕРИФИКАЦИИ И ВАЛИДАЦИИ СИСТЕМЫ, ОРИЕНТИРОВАННЫЕ НА ПОЛУЧЕНИЕ МОДЕЛИ СНК, СПОСОБНОЙ ГАРАНТИРОВАННО ИСПОЛНЯТЬ ЦЕЛЕВЫЕ ЗАДАЧИ И АЛГОРИТМЫ С ЗАДАННЫМИ ХАРАКТЕРИСТИКАМИ. Вопросы радиоэлектроники. 2018;(8):64-72. https://doi.org/10.21778/2218-5453-2018-8-64-72

For citation:


Zhezlov K.A., Kolbasov Y.S., Nikolaev A.V., Putrya F.M., Frolova S.E. STEPS OF VERIFICATION AND VALIDATION ROUTE AIMED AT OBTAINING THE SOC MODEL ABLE TO PERFORM TARGET TASKS AND ALGORITHMS WITH SPECIFIED CHARACTERISTICS. Issues of radio electronics. 2018;(8):64-72. (In Russ.) https://doi.org/10.21778/2218-5453-2018-8-64-72

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


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


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