http://simhard.com/wiki/api.php?action=feedcontributions&feedformat=atom&user=164.177.209.52
Wiki - Вклад участника [ru]
2026-04-18T19:35:06Z
Вклад участника
MediaWiki 1.21.3
http://simhard.com/wiki/index.php/%D0%A1%D0%BF%D0%B5%D1%86_%D0%BA%D1%83%D1%80%D1%81_(%D0%98%D0%B7%D0%B1%D1%80%D0%B0%D0%BD%D0%BD%D1%8B%D0%B5_%D0%B3%D0%BB%D0%B0%D0%B2%D1%8B_VHDL)/%D0%92%D0%B5%D1%80%D0%B8%D1%84%D0%B8%D0%BA%D0%B0%D1%86%D0%B8%D1%8F_%D0%BE%D0%BF%D0%B8%D1%81%D0%B0%D0%BD%D0%B8%D1%8F
Спец курс (Избранные главы VHDL)/Верификация описания
2012-11-21T10:24:20Z
<p>164.177.209.52: /* Слайд: Метрики в ModelSim */</p>
<hr />
<div><slideshow style="custis" headingmark="Слайд:" incmark=":step" scaled="true" ><br />
;title: '''Верификация описания.'''<br />
;author: Зайцев В.С.<br />
</slideshow><br />
<br />
[[Файл:Функциональная_верификация.mm]]<br />
<br />
==Слайд:Методы верификации проекта==<br />
* {{Сн|'''<big>Имитационная верификация</big>'''}} - верификация с использованием моделирования<br />
* {{Сн|'''<big>Формальная верификация</big>'''}} -проверка модели с целью доказательства ее корректности и эквивалентности спецификации <br />
(Пример: пакет FormulPro ф. MentorGraphics, пакеты фирмы Verplex, www.verplex.com)<br />
<br />
<br />
==Слайд:Верификация описания==<br />
[[Файл:Процевв_верификации.png]]<br />
<br />
==Слайд:Верификация описания:step==<br />
* {{Гол|''' <big>Среда моделирования</big>'''}}<br />
** Active-HDL™<br />
** Riviera-PRO™<br />
** NC-Sim®<br />
** ModelSim®<br />
** QuestaSim®<br />
** VCS-MX®<br />
* {{Гол|'''<big>Структура проекта</big>'''}}<br />
** Тестовое окружение<br />
** RTL-модель (Verilog,VHDL)<br />
** Эталонная модель (SystemC)<br />
** Assert'ы (psl, OVVM, UVM)<br />
** Отчеты и базы по результатам моделирования<br />
<br />
==Слайд: Типы тестов ФК==<br />
На что проверяем:<br />
* {{Гол|'''<big>Детерминистский</big>'''}} - Проверяет обычные режимы работы системы, а также функционирование в граничных условиях на основе фиксированного набора тестов<br />
* {{Гол|'''<big>Случайный</big>'''}} - Предполагает наличие генератора случайных входных воздействий<br />
* {{Гол|'''<big>Транзакционный</big>'''}} - Фиксирует внимание на проверке интерфейсов и прохождению пакетов данных через них<br />
<br />
Способ проведения проверки:<br />
* {{Сн|'''<big>"Черный ящик"</big>'''}} <br />
* {{Сн|'''<big>"Серый ящик"</big>'''}}<br />
* {{Сн|'''<big>"Прозрачный ящик"</big>'''}}<br />
<br />
==Слайд: Полнота тестов ==<br />
<br />
* {{X|24px}}В реальных условия обычно полный перебор {{Кр|'''<big>невозможен</big>'''}}<br />
* {{V|24px}}Поэтому поступают следующим образом. Например для сумматора:<br />
# Тестируют как {{Фио|'''"Серый ящик"'''}} и проверяют простейшие случаи 0+0, 0+1, FFFF+FFFF, 0+FFFF<br />
# Затем целенаправленно проверяют граничные условия - переполнение, перенос<br />
# Затем тестирую как {{Фио|'''"Черный ящик"'''}} на случайном наборе тестов<br />
# Оценивают полноту проверки модели<br />
<br />
==Слайд: Метрики оценки полноты тестов==<br />
Необходимое условие : Управляемость (выполняется строка или переход)<br />
Достаточное условие : Наблюдаемость (результат исполнения влияет на выход сравниваемый с эталоном)<br />
* {{Сн|'''<big>Эвристические метрики </big>'''}} - основанные на статистике появления ошибок<br />
* {{Сн|'''<big>Программные метрики </big>'''}}<br />
** '''Полнота покрытия тестом строк кода модели'''<br />
** '''Полнота покрытия переходов''' (число пополнений ветвей оператора if и case )<br />
** '''Полнота покрытия путей''' (все пути в графе программы)<br />
** '''Полнота покрытия выражений''' (оценка числа вычислений выражения по различных наборах)<br />
** '''Полнота переключений из 0 в 1 и из 1 в 0 каждого бита'''<br />
* {{Сн|'''<big>Автоматно-метрический подход </big>'''}}(лучший вариант использовать формальную верификацию для автоматов)<br />
* {{Сн|'''<big>Моделирование неисправностей </big>'''}}(в модель вносится неисправность)<br />
* {{Сн|'''<big>Мониторинг событий</big>'''}}<br />
<br />
== Слайд: Включение контроля метрик в ModelSim ==<br />
{{V|24px}} В '''ModelSim''' для учета метрик покрытия при компиляции проекта нужно задать в меню '''Compile->Compiler option'''<br />
<br />
<slides split="-----" width="600" ><br />
[[Файл:Опции компиляции покрытия.jpg]]<br />
<br />
</slides><br />
== Слайд: Метрики в ModelSim ==<br />
<br />
==Слайд:Эталонная модель на языке ''{{Зел| <big>SystemC</big>}}''==<br />
<br />
# Высокий уровень абстракции<br />
# Скорость моделирования<br />
# Возможности языка C++<br />
# Инструменты для автоматизации <br />
# Совместное моделирование с другими HDL-языками</div>
164.177.209.52