Просмотр исходного текста страницы Open Source VHDL Verification Methodology/Описание примеров

{{OS-VVM TOC}}

vvm/exp
* packages/ — пакеты OS-VVM
** packages/CoveragePkg.vhd
** packages/RandomBasePkg.vhd
** packages/RandomPkg.vhd
** packages/SortListPkg_int.vhd
----
* vhd/test.vhd — тестбенч для проверки разных распределений в RandomPkg
----
* vhd/
** sxema.vhd — схема умножителя (→mult)
** tstb.vhd — тесбенч для sxema, архитектура tstb(BEHAVIOR) генерит 100 случайных значений с помощью uiform, архитектура tstb(tb) – тоже самое но с помощью RandomPkg
** tstb_tb2.vhd — тесбенч для sxema, случайным образом генерит числа A и B до тех пор пока не переберёт все возможные входные значения (используя RandomPkg)
** tstb_tb3.vhd — тесбенч для sxema, случайным образом генерит входные A и B с помощью пакета CoveragePkg т.е. интеллектуальный тестбенч
** tstb_tb4.vhd — тесбенч для sxema, случайным образом генерит входные A и B с помощью пакета <u>CoveragePkg</u>, используя перекрёстное покрытие т.е. интеллектуальный тестбенч для перебора всех пар
** tstb_tb4a.vhd — тесбенч для sxema, Случайным образом генерит входные A и B с помощью пакета <u>RandomPkg</u>, тестбенч для перебора всех пар, проверка перекрёстного покрытия
** tstb_tb5.vhd — тестбенч для проверки того что uniform возвращает значение из диапазона (0, 1), не включая граничные значения 0.0 и 1.0
** tstb_tb5-to_article.vhd — простой пример для генерации 100 чисел с помощью uniform из ieee.math_real
----
* vhd2/
** <code>tstb_tb1.vhd</code> — тесбенч для sxema, использует uniform и CoveragePkg
** tstb_tb1a.vhd — тесбенч для sxema, использует uniform и массивы для сбора покрытия (без OS-vvm)
** tstb_tb2.vhd — тесбенч для sxema, использует RandomPkg и CoveragePkg
** tstb_tb2a.vhd — производная от tstb_tb2.vhd, для проверки назначения веса у корзин
** tstb_tb3.vhd — интеллектуальный тесбенч для sxema
** tstb_tb3a.vhd — производна tstb_tb3.vhd для проверки веса в корзинах. Выводит промежуточное заполнение корзин
** tstb_tb3b.vhd — производна tstb_tb3.vhd для проверки RandCovPoint. Выводит промежуточное заполнение корзин
----
* vhd3/osvvm_tb.vhd — пример для проверки возможностей CoveragePkg (управление весом)