Исследование и анализ современных методов динамической верификации hdl-проектов цифровых устройств
Електронний архів E-archive DonNTU – (Electronic archive Donetsk National Technical University)
Переглянути архів Інформація| Поле | Співвідношення | |
| Title |
Исследование и анализ современных методов динамической верификации hdl-проектов цифровых устройств
|
|
| Creator |
Горохов, И.В.
Шерекин, А.А. Волошин, Д.Н. Зинченко, Ю.Е. |
|
| Description |
В данной статье рассматриваются наиболее известные методы динамической верификации HDL-проектов цифровых устройств (ЦУ), применяемые ведущими компаниями в области автоматизации проектирования ЦУ. По каждому методу проведен обзорный анализ, выявлены недостатки и преимущества использования того или иного метода верификации. С целью подтверждения характеристик данных методов был произведен ряд экспериментов по верификации одного и того же проекта различными методами, были запротоколированы данные о производительности, которые позволяют судить о целесообразности применения конкретного метода при отладке проектов ЦУ. Данная работа была выполнена в ходе научного сотрудничества между ДонНТУ и Aldec- Poland, ведущей компанией в области верификации ЦУ. |
|
| Date |
2012-10-17T11:47:31Z
2012-10-17T11:47:31Z 2012-09-19 |
|
| Type |
Article
|
|
| Identifier |
http://ea.donntu.edu.ua/handle/123456789/15572
|
|
| Relation |
Информатика и компьютерные технологии;VIII
|
|
| Publisher |
Донецкий национальный технический университет
|
|