АВТОНОМНАЯ ВЕРИФИКАЦИЯ КОНТРОЛЛЕРОВ СОПРЯЖЕНИЯ ИНТЕРФЕЙСОВ НА ОСНОВЕ ЭТАЛОННЫХ ФУНКЦИОНАЛЬНЫХ МОДЕЛЕЙ
Аннотация
Об авторах
Д. А. ЛебедевРоссия
инженер 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.)