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

Практические аспекты верификации проектов СБИС
Авторы
	Сохацкий А.А.
Год публикации
	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. № 2. С. 16-23.
Адрес статьи
	http://www.mes-conference.ru/data/year2016/pdf/D198.pdf