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

Использование формальных методов для решения актуальных проблем верификации проектов СБИС
Авторы
	Сохацкий А.А.
Год публикации
	2020
DOI
	10.31114/2078-7707-2020-3-22-27
УДК
	519.714
Аннотация
	Моделирование остается основным методом функциональной проверки проектов СБИС и систем на кристалле. Однако этот метод не справляется с проблемами, связанными с растущей функиональной сложностью систем и их блоков. К числу основных проблем относятся: - Жесткие требования к срокам разработки, проверки и выпуска, нарушение этих сроков - Неполнота функциональной проверки проектов; необнаруженные ошибки проектов приводят к необходимости перепроектирования и повторного изготовления Применение метода и инструментов формальной верификации может помочь в решении этих проблем. В статье рассматриваются следубшие вопросы: 1) Как применение метода формальной верификации может помочь в решении проблемы сокращения сроков разработки и проверки проектов путем использования инструментов формальной верификации разработчиками блоков для начальной проверки с использованием специальных отладочных режимов формальных инструментов и с применением формальных приложений автоматически создающих утвержления (assertions); 2) Как применение метода формальной векрификации позволяет обнаружить ошибки проекта, которые сложно обнаружить путем моделирования, так называемые “simulation resistant bugs”; 3) Рассматривается пример блока поиска и для него примеры ошибок проекта, которые сложно обнаружить путем моделирования; также рассатривается стратегия формальной проверки и использыемые подходы, включая использование символических переменных, сиволического выбора элемента последовательности, абстрактной модели памяти; приводится код на языке SystemVerilog
Ключевые слова
	СБИС, система на кристалле, формальная верификация, моделирование, RTL, SystemVerilog, SVA.
Ссылка на статью
	Сохацкий А.А. Использование формальных методов для решения актуальных проблем верификации проектов СБИС // Проблемы разработки перспективных микро- и наноэлектронных систем (МЭС). 2020. Выпуск 3. С. 22-27. doi:10.31114/2078-7707-2020-3-22-27
Адрес статьи
	http://www.mes-conference.ru/data/year2020/pdf/D106.pdf