Open Source VHDL Verification Methodology/Описание примеров

Ссылки сюда (26) →

Проект OS-VVM

• Руководство пользователя (eng)
• Описание пакета CoveragePkg (eng)
• Описание пакета RandomPkg (eng)
  • Примеры распределений

---

Исходные коды

• CoveragePkg.vhd
• RandomPkg.vhd
  • RandomBasePkg.vhd
  • SortListPkg_int.vhd
• Примеры

---

Описание примеров

• Пример использования OS-VVM
  • Пример 2 (Интеллектуальный ТБ)

---

Презентации

• Верификация в VHDL
• Презентация (eng)
• Better Coverage in VHDL (eng)

---

Coverage

• Code Coverage (en)
• Functional Coverage (en)

---

• Словарь терминов
• Дневник
• История проекта

* VHDL * PSL *

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 с помощью пакета CoveragePkg, используя перекрёстное покрытие т.е. интеллектуальный тестбенч для перебора всех пар
  • tstb_tb4a.vhd — тесбенч для sxema, Случайным образом генерит входные A и B с помощью пакета RandomPkg, тестбенч для перебора всех пар, проверка перекрёстного покрытия
  • tstb_tb5.vhd — тестбенч для проверки того что uniform возвращает значение из диапазона (0, 1), не включая граничные значения 0.0 и 1.0
  • tstb_tb5-to_article.vhd — простой пример для генерации 100 чисел с помощью uniform из ieee.math_real

---

• vhd2/
  • tstb_tb1.vhd — тесбенч для 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 (управление весом)