Спец курс (Избранные главы VHDL)/Верификация описания — различия между версиями

Версия 17:44, 13 ноября 2012

Среда моделирования
- Active-HDL™
- Riviera-PRO™
- NC-Sim®
- ModelSim®
- QuestaSim®
- VCS-MX®
Структура проекта
- Тестовое окружение
- RTL-модель (Verilog,VHDL)
- Эталонная модель (SystemC)
- Assert'ы (psl, OVVM, UVM)
- Отчеты и базы по результатам моделирования

@@ Строка 1: / Строка 1: @@
-[[Файл:]]
+<slideshow style="custis" headingmark="Слайд:" incmark=":step" scaled="true" >
-==Верификация описания==
+;title: '''Верификация описания.'''
+;author: Зайцев В.С.
+</slideshow>
+[[Файл:SystemC____(From_the_ground_up).mm]]
+==Слайд:Верификация описания:step==
+*{{Гол|''' <big>Среда моделирования</big>'''}}
+** Active-HDL™
+** Riviera-PRO™
+** NC-Sim®
+** ModelSim®
+** QuestaSim®
+** VCS-MX®
+* {{Гол|'''<big>Структура проекта</big>'''}}
+** Тестовое окружение
+** RTL-модель (Verilog,VHDL)
+** Эталонная модель (SystemC)
+** Assert'ы (psl, OVVM, UVM)
+** Отчеты и базы по результатам моделирования
+==Слайд:Эталонная модель на языке ''{{Зел| <big>SystemC</big>}}''==
+# Высокий уровень абстракции
+# Скорость моделирования
+# Возможности языка C++
+# Инструменты для автоматизации
+# Совместное моделирование с другими HDL-языками
+== Слайд:Основы языка SystemC==