Open Source VHDL Verification Methodology/Словарь терминов

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

Проект 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 *

OS-VVM

• Open Source VHDL Verification Methodology
• Randomization — псевдослучайное тестирование
• Stimulus — (входные) воздействия
• not covered — не покрыты (охвачены)
• coverage hole/holes — дырки в покрытии
• regular coverage —
• Coverage driven verification
• Constrained Random — настраиваемая генерация псевдослучайных тестов
• Intelligent Coverage — интеллектуальное покрытие
• Coverage
  • coverage metric — метрики (меры) покрытия
  • coverage space — область покрытия
  • functional coverage — функциональное покрытие
    • Coverage point (or item) — одномерное выражение (или просто переменная) sampled during coverage data collection.
    • Bin — корзина — это поддиапазон значений точки покрытия;
    • cross-coverage — перекрёстное (совместное) покрытие
    • Coverage model (Model the coverage) —
  • property coverage — покрытие свойств/утверждений?
  • code coverage — покрытие кода
    • Statement Coverage — покрытие операторов ?
    • Line Coverage — покрытие строк (=Statement Coverage если в 1 строке 1 оператор) — количество строк исполнений каждой строки описания;
    • Branch Coverage — покрытие ветвей (переходов?) — число исполнений ветвей операторов условных переходов (if, case и др.);
    • Expression Coverage — покрытие выражений — низкоуровневая метрика, основанная на оценке числа вычисленный выражений на различных наборах данных;
    • Condition Coverage — покрытие состояний
    • Path Coverage — покрытие путей — число исполнений всех возможных путей в графе программы;
    • Toggle Coverage — ??? Полнота переключений (1→0 и 0→1) каждого бита данных
      • Integer toggles
      • Enum toggles
      • Register toggles, 2 transition
      • Net toggles
      • Extended register toggles
      • Extended net toggles
    • Finite State Machine (FSM) Coverage — покрытие конечного автомата (состояний и переходов)
• Protected Types — Защищённые типы
• Accumulating Coverage — Накопление покрытия
• Coverage Goals, Weights
• Randomization Thresholds
• Seed — начальное значение псевдослучайного генератора
• shared variable
• cross product — векторное произведение

Другое

• wire — связь
• one-hot select bus —
  • one-hot — это тип кодирования (например, автомата), при котором в слове (например, 8 бит) одновременно может быть установлен в лог. 1 только один бит.
  • bus — шина
• implicit implementation
• Focused Expression Coverage
• Modified Condition/Decision Coverage
• sequential arc coverage
• Typical Code Coverage Flow
• Simulation - моделирование или симуляция?
• design - проект?
• unreachable code

Verification

• OVL (Open Verification Library) — библиотеки открытой верификации [1]
• PSL (Property Specification Language) — язык определённых свойств [2]
• SVA (SystemVerilog Assertion) — подмножество языка SystemVerilog для описания утверждений/свойств.
• ABV (Assertion-Based Verification) —
• Constraint-Based Verification —
• TLM-Based Verification
• TLM (Transaction-level modeling)
• ABD (Assertion-Based Design) —
• OVA (Open Vera Assertion) — язык описания утверждений/свойств
• HVL (Hardware Verification Logic) —
• CTL (Computation Tree Logic) —
• LTL (Linear-time Temporal Logic) — логика линейного времени
• GDL (General Description Language) —
• SERE (Sequential Extended Regular Expressions)
• QVL (Questa Verification Library
• Методология
  • AVM (Advanced Verification Methodology ???)
• OBE properties

Ссылки

• Подходы к применению SVA