Пожалуйста, используйте этот идентификатор, чтобы цитировать или ссылаться на этот ресурс: http://ea.donntu.edu.ua:8080/jspui/handle/123456789/15572
Название: Исследование и анализ современных методов динамической верификации hdl-проектов цифровых устройств
Авторы: Горохов, И.В.
Шерекин, А.А.
Волошин, Д.Н.
Зинченко, Ю.Е.
Дата публикации: 19-сен-2012
Издательство: Донецкий национальный технический университет
Серия/номер: Информатика и компьютерные технологии;VIII
Краткий осмотр (реферат): В данной статье рассматриваются наиболее известные методы динамической верификации HDL-проектов цифровых устройств (ЦУ), применяемые ведущими компаниями в области автоматизации проектирования ЦУ. По каждому методу проведен обзорный анализ, выявлены недостатки и преимущества использования того или иного метода верификации. С целью подтверждения характеристик данных методов был произведен ряд экспериментов по верификации одного и того же проекта различными методами, были запротоколированы данные о производительности, которые позволяют судить о целесообразности применения конкретного метода при отладке проектов ЦУ. Данная работа была выполнена в ходе научного сотрудничества между ДонНТУ и Aldec- Poland, ведущей компанией в области верификации ЦУ.
URI (Унифицированный идентификатор ресурса): http://ea.donntu.edu.ua/handle/123456789/15572
Располагается в коллекциях:Наукові публікації кафедри комп'ютерної інженерії

Файлы этого ресурса:
Файл Описание РазмерФормат 
1_Горохов.pdf593,8 kBAdobe PDFПросмотреть/Открыть


Все ресурсы в архиве электронных ресурсов защищены авторским правом, все права сохранены.