1. Главная
  2. Ресурсы
  3. Библиотечный поиск
  4. Журнал «Датчики и системы»
  5. Выпуск 2018 г. № 2
Методика гибриднойверификации СБИС"система-на-кристалле" Андрианов Андрей ВладимировичШагурин Игорь Иванович2018 год

Методика гибридной верификации СБИС "система-на-кристалле"
статья из журнала

Заказать копию статьи
База данных: Каталог библиотеки СФУ (А 659)
Библиографическое описание: Андрианов, Андрей Владимирович. Методика гибридной верификации СБИС "система-на-кристалле" / Андрианов Андрей Владимирович, Шагурин Игорь Иванович. - (Национальному исследовательскому ядерному университету "МИФИ" - 75 лет). - Текст : непосредственный // Датчики и системы. - 2018. - № 2. - С. 14-18 : ил. - Библиогр.: с. 18 (5 назв.). - Заглавие, аннотация, ключевые слова на русском и английском языках. - ISSN 1992-7185.
Аннотация: Предложена методика гибридной верификации СБИС, состоящая в разработке и исполнении тестовых сценариев с использованием гибридного окружения, в котором одновременно с моделированием СБИС работает программа, готовящая тестовое воздействие и передающая его процессу моделирования через интерфейс vpi (verilog procedural interface). Данная методика позволяет упростить и ускорить процедуру верификации путем использования для написания тестов высокоуровневых языков программирования (например lua) и эффективного применения инструментов пошаговой и интерактивной отладки.
Год издания: 2018
Авторы: Андрианов Андрей Владимирович , Шагурин Игорь Иванович
Источник: Датчики и системы
Выпуск: № 2
Номера страниц: 14-18
Количество экземпляров:
  • Абонемент научной литературы (пр. Свободный, 79, Б1-14): свободно 1 из 1 экземпляров

Похожие публикации

Высокопроизводительные криптоблоки дляиспользования всоставе "систем накристалле" Шагурин Игорь ИвановичЖихарев Григорий Юрьевич2016 год

Высокопроизводительные криптоблоки для использования в составе "систем на кристалле"

  • Шагурин Игорь Иванович и др.
  • 2016 год
Система сбора данныхна базе модулей FX2LPи DDS - генератора Ангелов Т.2020 год

Система сбора данных на базе модулей FX2LP и DDS - генератора

  • Ангелов Т.
  • 2020 год
Сравнение времениреагирования насобытиеинформационнойбезопасности прииспользовании DLP иSIEM-систем Тихомиров А. А.Поремский А. Р.2024 год

Сравнение времени реагирования на событие информационной безопасности при использовании DLP и…

  • Тихомиров А. А. и др.
  • 2024 год
Метод проверки намодели(model-checking) дляопределениякорректности сложныхсистем Алексеева М. М.Дашкова Е. А.2011 год

Метод проверки на модели (model-checking) для определения корректности сложных систем

  • Алексеева М. М. и др.
  • 2011 год
Изучениеперспективныхзащищенныхинформационных системна основемоделированиясигналов Сизов Валерий АлександровичМалиничев Дмитрий МихайловичКучмезов Хамзат Хакимович2019 год

Изучение перспективных защищенных информационных систем на основе моделирования сигналов

  • Сизов Валерий Александрович и др.
  • 2019 год
Исследование сетей накристалле стопологией mesh спомощью моделиNoCTweak Романов А. Ю.2016 год

Исследование сетей на кристалле с топологией mesh с помощью модели NoCTweak

  • Романов А. Ю.
  • 2016 год
Моделированиепотоковых системобработки мобильныхобъектов наиндикаторных сетях Юдицкий С. А.Магергут В. З.Чуев А. В.2015 год

Моделирование потоковых систем обработки мобильных объектов на индикаторных сетях

  • Юдицкий С. А. и др.
  • 2015 год
Тематическая модельподсистемыаутентификации наоснове графическихобразов воперационных системах Громов Ю. Ю.Яковлев А. В.Васюкова Е. О.2015 год

Тематическая модель подсистемы аутентификации на основе графических образов в операционных системах

  • Громов Ю. Ю. и др.
  • 2015 год

Показать ещё

Системыавтоматическогоуправления на основепрограммируемыхлогическихконтроллеров Деменков Н. П.2013 год

Системы автоматического управления на основе программируемых логических контроллеров

  • Деменков Н. П.
  • 2013 год
Системыавтоматическогоуправления на основепрограммируемыхлогическихконтроллеров Деменков Н. П.2013 год

Системы автоматического управления на основе программируемых логических контроллеров

  • Деменков Н. П.
  • 2013 год
Архитектуравиртуальной потоковойвычислительнойсистемы на основеинформационной моделинейросети Мышев А. В.2014 год

Архитектура виртуальной потоковой вычислительной системы на основе информационной модели нейросети

  • Мышев А. В.
  • 2014 год
Системыавтоматическогоуправления на основепрограммируемыхлогическихконтроллеров Деменков Н. П.2013 год

Системы автоматического управления на основе программируемых логических контроллеров

  • Деменков Н. П.
  • 2013 год
ИнтеграцияSQL-ориентированныхСУБД и NoSQL-системна уровне объектногоотображения Посконин А. В.2015 год

Интеграция SQL-ориентированных СУБД и NoSQL-систем на уровне объектного отображения

  • Посконин А. В.
  • 2015 год
Информационнаясистема поддержкинаучных исследованийпри разработкеметодикрентгенофлуоресцентного анализа вещества Черкашин Е. А.Воробьева О. ППарамонов В. В.2012 год

Информационная система поддержки научных исследований при разработке методик…

  • Черкашин Е. А. и др.
  • 2012 год
Применениегорно-геологическихинформационных системна примерезолоторудногоместорожденияКызылалма, Узбекистан Исоков М. У.Салиев Т. Р.2014 год

Применение горно-геологических информационных систем на примере золоторудного месторождения…

  • Исоков М. У. и др.
  • 2014 год
Распознаваниепользователейкомпьютерных системпо клавиатурномупочерку идополнительнымпризнакам с помощью… Еременко Александр ВалерьевичСулавко Алексей ЕвгеньевичМишин Денис Вячеславович2017 год

Распознавание пользователей компьютерных систем по клавиатурному почерку и дополнительным…

  • Еременко Александр Валерьевич и др.
  • 2017 год