Терминал для доверенной видео-конференц-связи

Использованные технологии

Проектирование ПЛИС

Целевая технология:

  • Xilinx Spartan-6

Языки описания аппаратуры:

  • VHDL

Методики и технологии верификации:

  • задание правил соответствия (assertion-based verification)
  • моделирование отдельных составных узлов (block-level simulation)
  • генерация воздействий на основе генераторов случайных чисел (random/constrained random)