Найдено научных статей и публикаций: 2, для научной тематики: TLM
1.
Шмелёв В.А., Стотланд И.А.
, 2013
В статье рассмотрены особенности автономной верификации микропроцессоров. Предложена классификация модулей микропроцессоров с точки зрения их функциональной верификации. Обозначены два основных подхода к автономной верификации в зависимости от принадлежности верифицируемого модуля к одному из подкла...
В статье рассмотрены особенности автономной верификации микропроцессоров. Предложена классификация модулей микропроцессоров с точки зрения их функциональной верификации. Обозначены два основных подхода к автономной верификации в зависимости от принадлежности верифицируемого модуля к одному из подклассов. Предложены и обоснованы архитектуры тестовых систем на основе потактовых и функциональных эталонных моделей. Описан опыт практического применения предлагаемой методики.
АВТОНОМНАЯ ВЕРИФИКАЦИЯ МИКРОПРОЦЕССОРОВ НА ОСНОВЕ ЭТАЛОННЫХ МОДЕЛЕЙ РАЗНОГО УРОВНЯ АБСТРАКЦИИ
Шмелёв В.А., Стотланд И.А.
Всероссийская научно-техническая конференция "Проблемы разработки перспективных микро- и наноэлектронных систем (МЭС)". Сборник трудов. 2012. № 1. С. 435-440.
2.
Стотланд И.А.
, 2013
В статье введено понятие модулей системного обмена (МСО) микропроцессорных вычислительных комплексов. Предложена формальная модель МСО, на основе которой разработан метод динамической верификации МСО с применением функциональных эталонных моделей уровня транзакций. Обоснована архитектура тестовой си...
В статье введено понятие модулей системного обмена (МСО) микропроцессорных вычислительных комплексов. Предложена формальная модель МСО, на основе которой разработан метод динамической верификации МСО с применением функциональных эталонных моделей уровня транзакций. Обоснована архитектура тестовой системы и ее основные компоненты.
МЕТОД ДИНАМИЧЕСКОЙ ВЕРИФИКАЦИИ МОДУЛЕЙ СИСТЕМНОГО ОБМЕНА МИКРОПРОЦЕССОРНЫХ ВЫЧИСЛИТЕЛЬНЫХ КОМПЛЕКСОВ
Стотланд И.А.
Научно-технический вестник Поволжья. 2012. № 4. С. 191-196.