Возможности использования виртуальных платформ для верификации RTL-моделей сложно функциональных блоков в составе «систем на кристалле»
14 сентября 2018
206
| Предметная область | — |
| Выходные данные | — |
| Ключевые слова | — |
| Вид публикации | Тематический материал |
| Контактные данные автора публикации | ЛИТВИНОВ Е.И.1, ЖИХАРЕВ Г.Ю.1, ШАГУРИН И.И.1 ; 1 Национальный исследовательский ядерный университет «МИФИ» НИЯУ «МИФИ» |
| Ссылка на публикацию в интернете | elibrary.ru/item.asp?id=22105537 |
Аннотация
ЖУРНАЛ:
ПРОБЛЕМЫ РАЗРАБОТКИ ПЕРСПЕКТИВНЫХ МИКРО- И НАНОЭЛЕКТРОННЫХ СИСТЕМ (МЭС)
Издательство: Институт проблем проектирования в микроэлектронике РАН (Москва, Зеленоград)
КЛЮЧЕВЫЕ СЛОВА:
ВИРТУАЛЬНАЯ ПЛАТФОРМА, VIRTUAL PLATFORMS, СИСТЕМА НА КРИСТАЛЛЕ, СЛОЖНО-ФУНКЦИОНАЛЬНЫЙ БЛОК, ФУНКЦИОНАЛЬНОЕ ТЕСТИРОВАНИЕ, FUNCTIONAL VERIFICATION, RTL-МОДЕЛЬ, ВЕРИФИКАЦИЯ, SOC, CORE, HARDWARE MODELING, RTL
АННОТАЦИЯ:
В докладе описывается использование современных виртуальных платформ для проектирования и моделирования цифровых СБИС класса «система на кристалле» (СнК). Показано, что виртуальные платформы могут не только использоваться в архитектурном моделировании разрабатываемых цифровых систем и создании их программного обеспечения, но и дополнять современные средства верификации моделей сложно-функциональных блоков (СФ-блоков), входящих в состав СнК. Предлагается методика верификации RTL-моделей СФ-блоков с помощью виртуальных платформ. Дается пример применения предложенной методики.
ПодробнееПРОБЛЕМЫ РАЗРАБОТКИ ПЕРСПЕКТИВНЫХ МИКРО- И НАНОЭЛЕКТРОННЫХ СИСТЕМ (МЭС)
Издательство: Институт проблем проектирования в микроэлектронике РАН (Москва, Зеленоград)
КЛЮЧЕВЫЕ СЛОВА:
ВИРТУАЛЬНАЯ ПЛАТФОРМА, VIRTUAL PLATFORMS, СИСТЕМА НА КРИСТАЛЛЕ, СЛОЖНО-ФУНКЦИОНАЛЬНЫЙ БЛОК, ФУНКЦИОНАЛЬНОЕ ТЕСТИРОВАНИЕ, FUNCTIONAL VERIFICATION, RTL-МОДЕЛЬ, ВЕРИФИКАЦИЯ, SOC, CORE, HARDWARE MODELING, RTL
АННОТАЦИЯ:
В докладе описывается использование современных виртуальных платформ для проектирования и моделирования цифровых СБИС класса «система на кристалле» (СнК). Показано, что виртуальные платформы могут не только использоваться в архитектурном моделировании разрабатываемых цифровых систем и создании их программного обеспечения, но и дополнять современные средства верификации моделей сложно-функциональных блоков (СФ-блоков), входящих в состав СнК. Предлагается методика верификации RTL-моделей СФ-блоков с помощью виртуальных платформ. Дается пример применения предложенной методики.
Для того чтобы оставить комментарий необходимо авторизоваться.