Спец курс (Избранные главы VHDL)/Верификация описания — различия между версиями
Материал из Wiki
(→Слайд:Верификация описания:step) |
Vidokq (обсуждение | вклад) (→Слайд:Верификация описания) |
||
Строка 7: | Строка 7: | ||
==Слайд:Верификация описания== | ==Слайд:Верификация описания== | ||
+ | [[Файл:Процевв_верификации.png]] | ||
==Слайд:Верификация описания:step== | ==Слайд:Верификация описания:step== |
Версия 14:25, 14 ноября 2012
- Заголовок
- Верификация описания.
- Автор
- Зайцев В.С.
- Нижний колонтитул
- Спец курс (Избранные главы VHDL)/Верификация описания
- Дополнительный нижний колонтитул
- Зайцев В.С., 13:16, 2 декабря 2013
Слайд:Верификация описания
Слайд:Верификация описания:step
- Среда моделирования
- Active-HDL™
- Riviera-PRO™
- NC-Sim®
- ModelSim®
- QuestaSim®
- VCS-MX®
- Структура проекта
- Тестовое окружение
- RTL-модель (Verilog,VHDL)
- Эталонная модель (SystemC)
- Assert'ы (psl, OVVM, UVM)
- Отчеты и базы по результатам моделирования
Слайд:Эталонная модель на языке SystemC
- Высокий уровень абстракции
- Скорость моделирования
- Возможности языка C++
- Инструменты для автоматизации
- Совместное моделирование с другими HDL-языками