Главная         Авторы   Статьи   Год проведения   Тематика   Организации        Конференция МЭС

Практические аспекты верификации проектов СБИС  

Авторы
 Сохацкий А.А.
Год публикации
 2016
УДК
 519.714

Аннотация
 В статье рассматриваются практические аспекты функциональной верификации проектов на основе опыта работы автора в компании Сиско Системс Инк. Акцентируется внимание на верификации СБИС на уровне блоков и их функциональных групп (кластеров) путем моделирования на псевдослучайных входных последовательностях с учетом ограничений и достижением покрытия тестами конструкций и функций проекта. При моделировании используются отраслевые стандарты: язык моделирования SystemVerilog и универсальная верификационная библиотека классов UVM (Universal Verification Methodology)[1]. Тезисно излагаются следующие аспекты:
1) Основы построения окружения для верификации проекта – элементы инфраструктуры, построенные на основе UVM классов: состав и структура верификационного окружения, кофигурационное дерево, дополнительные фазы моделирования, набор базовых классов, производных от классов UVM, компоненты общего назначения;
2) Вопросы автоматизации создания верификационного окружения, включая генерацию структуры и начального кода для базовых компонентов; создания структур данных, обеспечивающих программный доступ к регистрам и памяти тестируемого устройства, его инициализации, обработки прерываний. В качестве общего источника данных выступает спецификация регистров устройства, выполненная на языке описания регистров System RDL (Register Description Language)[2];
3) Технологические этапы верификации проектов и используемый инструментарий, включая поддержку подготовки и сопровождения плана тестирования, статической проверки кода, моделирования, выполнения регрессионных тестов, хранения и совместного использования кода.
Кляючевые слова — СБИС, верификация, моделирование, RTL, SystemVerilog, UVM, SVA, System RDL.
Ключевые слова
 СБИС, верификация, моделирование, RTL, SystemVerilog, UVM, SVA, System RDL.
Ссылка на статью
 Сохацкий А.А. Практические аспекты верификации проектов СБИС // Проблемы разработки перспективных микро- и наноэлектронных систем - 2016. Сборник трудов / под общ. ред. академика РАН А.Л. Стемпковского. М.: ИППМ РАН, 2016. Часть II. С. 16-23.
Адрес статьи
 http://www.mes-conference.ru/data/year2016/pdf/D198.pdf

Copyright © 2009-2018 ИППМ РАН. All Rights Reserved.

Разработка сайта - ИППМ РАН