tlc
Главная О компании Услуги AlphaSim Вакансии Контакты tw English  Russian
trc
  Alphachip logo  

Функциональная верификация

В настоящее время системы на кристалле становятся все более функционально насыщенными. В то время как количество элементов нарастает линейно, количество взаимосвязей возрастает экспоненциально, и в связи с этим функциональная верификация системы становится доминантной задачей в процессе дизайна систем на кристалле.

Научно доказано, что автор не может проверить более 85 процентов своего дизайна, поэтому во всем мире функциональной верификацией занимается отдельная команда профессионалов.

Наша верификационная команда:

  • имеет большой опыт функциональной верификации IP- блоков разнообразного функционального назначения и различных уровней сложности, от небольших модулей до систем на кристалле, имеющих большое количество внешних интерфейсов;
  • верификационный процесс полностью автоматизирован, нет необходимости визуального просмотра временных диаграмм, соответственно вероятность пропуска ошибки минимальна;
  • имеется библиотека верификационных компонентов для верификации стандартных интерфейсов;
  • результаты моделирования записываются в различные файлы отчета, в том числе ведется статистика количества обменов по интерфейсам, мониторинг основных процессов и параметров, запись временных диаграмм;
  • ведется статистика кодового покрытия: верификация считается выполненной при условии кодового покрытия не менее 95 процентов RTL кода.

Процесс функциональной верификации состоит из следующих этапов:

  • разработка верификационного плана и согласование его с заказчиком;
  • создание верификационного окружения, включающего в себя функциональные модели интерфейсов, тесты, Verilog файл верхнего уровня для моделирования, скрипты для формирования файлов отчетов;
  • моделирование системы, анализ результатов, предварительный анализ ошибочных ситуаций;
  • формирование верификационного отчета, включающего в себя таблицу результатов выполнения тестов, количество (в процентах) тестового покрытия RTL кода, таблицу с перечислением фрагментов RTL кода, которые никогда не могут быть выполнены.
 
blc
  bw (495) 657-98-80
brc