RUS  ENG ЖУРНАЛЫ   ПЕРСОНАЛИИ   ОРГАНИЗАЦИИ   КОНФЕРЕНЦИИ   СЕМИНАРЫ   ВИДЕОТЕКА   ПАКЕТ AMSBIB
Общая информация
Последний выпуск
Архив

Поиск публикаций
Поиск ссылок

RSS
Последний выпуск
Текущие выпуски
Архивные выпуски
Что такое RSS



Научно-технические ведомости СПбГПУ. Информатика. Телекоммуникации. Управление:
Год:
Том:
Выпуск:
Страница:
Найти






Персональный вход:
Логин:
Пароль:
Запомнить пароль
Войти
Забыли пароль?
Регистрация


Научно-технические ведомости СПбГПУ. Информатика. Телекоммуникации. Управление, 2014, выпуск 2(193), страницы 130–142 (Mi ntitu28)  

Конференция «Инструменты и методы анализа программ – 2013»

Проверка корректности поведения HDL-моделей цифровой аппаратуры на основе динамического сопоставления трасс

В. П. Иванников, А. С. Камкин, М. М. Чупилко

Институт системного программирования РАН

Аннотация: Проверка корректности поведения HDL-моделей является неотъемлемой частью динамической верификации аппаратуры. Как правило, она основана на сравнении поведения HDL-модели с поведением эталонной модели, разработанной на языке программирования. В процессе верификации на обе модели подается одна и та же последовательность стимулов; реакции перехватываются и сравниваются друг с другом. Из-за абстрактности эталонной модели сопоставление трасс не является тривиальной задачей: порядок событий может не совпадать, а некоторые события одной трассы могут отсутствовать в другой. Рассмотрен метод динамического сопоставления трасс для моделей аппаратуры разного уровня абстракции. Метод успешно применен в нескольких промышленных проектах по верификации модулей микропроцессоров.

Ключевые слова: динамическая верификация, модульная верификация, сопостав- ление трасс, частично-упорядоченные мультимножества.

Полный текст: PDF файл (521 kB)
Полный текст: http://ntv.spbstu.ru/telecom/article/T2.193.2014_14/
Тип публикации: Статья
УДК: 004.415.53

Образец цитирования: В. П. Иванников, А. С. Камкин, М. М. Чупилко, “Проверка корректности поведения HDL-моделей цифровой аппаратуры на основе динамического сопоставления трасс”, Научно-технические ведомости СПбГПУ. Информатика. Телекоммуникации. Управление, 2014, № 2(193), 130–142

Цитирование в формате AMSBIB
\RBibitem{IvaKamChu14}
\by В.~П.~Иванников, А.~С.~Камкин, М.~М.~Чупилко
\paper Проверка корректности поведения HDL-моделей цифровой аппаратуры на основе динамического сопоставления трасс
\jour Научно-технические ведомости СПбГПУ. Информатика. Телекоммуникации. Управление
\yr 2014
\issue 2(193)
\pages 130--142
\mathnet{http://mi.mathnet.ru/ntitu28}


Образцы ссылок на эту страницу:
  • http://mi.mathnet.ru/ntitu28
  • http://mi.mathnet.ru/rus/ntitu/y2014/i2/p130

    ОТПРАВИТЬ: VKontakte.ru FaceBook Twitter Mail.ru Livejournal Memori.ru


    Citing articles on Google Scholar: Russian citations, English citations
    Related articles on Google Scholar: Russian articles, English articles
  • Научно-технические ведомости Санкт-Петербургского государственного политехнического университета. Информатика. Телекоммуникации. Управление
    Просмотров:
    Эта страница:88
    Полный текст:34
     
    Обратная связь:
     Пользовательское соглашение  Регистрация  Логотипы © Математический институт им. В. А. Стеклова РАН, 2020