|
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
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/tisp248 https://www.mathnet.ru/rus/tisp/v29/i4/p257
|
Статистика просмотров: |
Страница аннотации: | 201 | PDF полного текста: | 158 | Список литературы: | 41 |
|