АВТОНОМНАЯ ВЕРИФИКАЦИЯ КОНТРОЛЛЕРОВ СОПРЯЖЕНИЯ ИНТЕРФЕЙСОВ НА ОСНОВЕ ЭТАЛОННЫХ ФУНКЦИОНАЛЬНЫХ МОДЕЛЕЙ
Аннотация
Рассмотрены вопросы автономной верификации контроллеров сопряжения интерфейсов, участвующих в передаче и преобразовании потока данных в современных микропроцессорных системах. Для корректного функционирования системы такие преобразования должны проходить быстро и без потерь. Точность функционирования контроллера подтверждается при проведении верификации. Приведена классификация методов верификации модулей микропроцессорных систем. Описан подход к построению автономного тестового окружения для контроллеров сопряжения интерфейсов при помощи методологии 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.)
Просмотров: 16
Послать статью по эл. почте 