Preview

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

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

АВТОНОМНАЯ ВЕРИФИКАЦИЯ КОНТРОЛЛЕРОВ СОПРЯЖЕНИЯ ИНТЕРФЕЙСОВ НА ОСНОВЕ ЭТАЛОННЫХ ФУНКЦИОНАЛЬНЫХ МОДЕЛЕЙ

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

Аннотация

Рассмотрены вопросы автономной верификации контроллеров сопряжения интерфейсов, участвующих в передаче и преобразовании потока данных в современных микропроцессорных системах. Для корректного функционирования системы такие преобразования должны проходить быстро и без потерь. Точность функционирования контроллера подтверждается при проведении верификации. Приведена классификация методов верификации модулей микропроцессорных систем. Описан подход к построению автономного тестового окружения для контроллеров сопряжения интерфейсов при помощи методологии UVM. Обоснован выбор проверяющего модуля тестового окружения. Рассмотрены основные особенности автономной верификации аппаратных контроллеров сопряжения с использованием функциональных эталонных моделей, позволяющих проводить комплексную проверку этих устройств. Описаны сложности, возникшие в процессе разработки тестовой системы на основе методологии UVM, и способы их разрешения. Приведены результаты применения таких решений при верификации контроллеров микропроцессоров и дальнейший план наращивания тестовой системы.

Об авторах

Д. А. Лебедев
АО «МЦСТ»
Россия

инженер 2-й категории

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


И. А. Стотланд
АО «МЦСТ»
Россия

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

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



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

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

2. Шмелев В. А., Стотланд И. А. Автономная верификация микропроцессоров на основе эталонных моделей разного уровня абстракции // Проблемы разработки перспективных микро- и наноэлектронных систем (МЭС). 2012. № 1. С. 435–440.

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

4. Standard Universal Verification Methodology. Available at: http://accellera.org/downloads/standards/uvm (accessed 08.10.2017).

5. Кельтон В., Лоу А. Имитационное моделирование: 3-е изд. СПб.: Питер, 2004. 847 с.


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


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

For citation:


Lebedev D.A., Stotland I.A. STANDALONE VERIFICATION OF COMMUNICATION CONTROLLERS BASED ON REFERENCE FUNCTIONAL MODELS. Issues of radio electronics. 2018;(2):81-86. (In Russ.)

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


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


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