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

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

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



Труды ИСП РАН:
Год:
Том:
Выпуск:
Страница:
Найти






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


Труды института системного программирования РАН, 2017, том 29, выпуск 4, страницы 257–268
DOI: https://doi.org/10.15514/ISPRAS-2017-29(4)-17
(Mi tisp248)
 

Verification of 10 Gigabit Ethernet controllers
[Верификация контроллеров 10 гигабитного Ethernet]

M. V. Petrochenkov, R. E. Mushtakov, I. A. Stotland

MCST
Список литературы:
Аннотация: В статье приведены подходы, использовавшиеся в процессе верификации контроллеров 10 гигабитного Ethernet, разработанных в АО «МЦСТ». Описаны принципы работы устройств - они предоставляют программисту набор регистров, отображаемых в память, а также используют прямой доступ к памяти. Представлен набор подходов, применяемых при верификации подобных устройств — верификация физического прототипа, системная и автономная верификация. Описана мотивация выбора подхода — комбинации системной верификации целого устройства и автономной верификации одного из его компонентов. В статье дано описание тестовых систем, использовавшихся для верификации устройств. Тестовая система всего устройства осуществляет передачу Ethernet пакетов в сеть и их прием из сети. Разработаны и описаны алгоритмы преобразования пакетов в представление, используемое устройством. Для модулей связи между внутренними пакетными шинами и внешним интерфейсом была разработана автономная тестовая система. При разработке тестовых систем использовалась методология UVM. Выбранная методология, а также предложенные структуры тестовых систем позволили использовать одни и те же компоненты в различных тестовых системах. Приведен набор тестовых сценариев, разработанных для тестовых систем. Особо важным является процесс верификации пропускной способности устройства. Описаны методы, использовавшиеся для измерения пропускной способности устройства, а также режимы работы контроллера, в которых проводилось измерение. Представлены текущие значения пропускной способности устройства, которых удалось достигнуть в различных режимах. В заключение приведен список найденных ошибок, а также описаны те функции устройства, на которые они влияли, а также направления дальнейшей работы.
Ключевые слова: 10 гигабитный Ethernet, контроллер сетевых интерфейсов, верификация, пропускная способность, UVM, тестовая система.
Реферативные базы данных:
Тип публикации: Статья
Язык публикации: английский
Образец цитирования: M. V. Petrochenkov, R. E. Mushtakov, I. A. Stotland, “Verification of 10 Gigabit Ethernet controllers”, Труды ИСП РАН, 29:4 (2017), 257–268
Цитирование в формате AMSBIB
\RBibitem{PetMusSto17}
\by M.~V.~Petrochenkov, R.~E.~Mushtakov, I.~A.~Stotland
\paper Verification of 10 Gigabit Ethernet controllers
\jour Труды ИСП РАН
\yr 2017
\vol 29
\issue 4
\pages 257--268
\mathnet{http://mi.mathnet.ru/tisp248}
\crossref{https://doi.org/10.15514/ISPRAS-2017-29(4)-17}
\elib{https://elibrary.ru/item.asp?id=29968657}
Образцы ссылок на эту страницу:
  • https://www.mathnet.ru/rus/tisp248
  • https://www.mathnet.ru/rus/tisp/v29/i4/p257
  • Citing articles in Google Scholar: Russian citations, English citations
    Related articles in Google Scholar: Russian articles, English articles
    Труды института системного программирования РАН
    Статистика просмотров:
    Страница аннотации:201
    PDF полного текста:158
    Список литературы:40
     
      Обратная связь:
     Пользовательское соглашение  Регистрация посетителей портала  Логотипы © Математический институт им. В. А. Стеклова РАН, 2024