Preview

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

Расширенный поиск

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

https://doi.org/10.15514/ISPRAS-2019-31(3)-5

Аннотация

При разработке систем-на-кристалле необходимо проводить верификацию как отдельных подмодулей (контроллеров периферийных интерфейсов и коммутаторов), так и системы в целом. В статье представлен подход к разработке тестов для верификации программируемых контроллеров. Тесты разрабатываются на языке программирования C++; программирование тестируемого устройства и тестового окружения осуществляется с помощью специального программного интерфейса. Функции этого программного интерфейса реализуются в стандартной библиотеке тестового окружения; реализация зависит от структуры тестового окружения: в качестве моделируемого устройства может выступать только тестируемый контроллер, контроллер в составе блока контроллеров, или контроллер в составе полной системы-на-кристалле. Для верификации системного уровня библиотека и тестовая программа компилируются для исполнения на одном из вычислительных ядер системы-на-кристалле. При автономной верификации тестовая программа и библиотека окружения  формируют программный модуль, взаимодействующий с симулятором RTL-описания с помощью стандартного интерфейса PLI; библиотечные функции взаимодействуют с моделируемым устройством через специальный адаптер системного интерфейса; кроме того, в тестовое окружение может быть включен имитатор внешнего устройства. При таком устройстве тестового окружения одна и та же тестовая программа может проверять устройства с одним программным интерфейсом, но разными системными интерфейсами; необходимо только реализовать соответствующие адаптеры. Представленный подход позволяет запускать тестовую программу как автономный тест, так и в качестве теста интеграции на верифицируемой системе-на-кристалле. В статье описаны реализация представленного подхода и его применение в маршруте верификации микропроцессоров семейства Эльбрус.

Об авторе

Павел Викторович Фролов
АО МЦСТ ПАО «ИНЭУМ им. И.С. Брука» Московский физико-технический институт (госудаственный универсистет)
Россия
Начальник сектора системной верификации отдела моделирования и верификации


Список литературы

1. . Anil Deshpande. Verification of IP-Core Based SoC’s. In Proc. of the 9th International Symposium on Quality Electronic Design, 2008, pp.433–436.

2. . G. Mosensoson. Practical approaches to SoC verification. In Proc. of the DATE User Forum, 2002.

3. . The Portable Test and Stimulus Standard. Available at: https://www.accellera.org/downloads/standards/portable-stimulus, accessed: 11-May-2019.

4. . Bryon Moyer. Portable Stimulus Intent. Accellera’s New Standard Goes to Early Adopters. EEJournal, July 31, 2017. Available at: https://www.eejournal.com/article/portable-stimulus-intent, accessed: 11 May 2019.

5. . Standard Universal Verification Methodology. Available at: http://accellera.org/downloads/standards/uvm, accessed: 11-May-2019.

6. . Narendra Kamat. IP Testing for Heterogeneous SOCs. In Proc. of the 14th International Workshop on Microprocessor Test and Verification, 2013, pp. 58–61.

7. . IEEE Standard for SystemVerilog. IEEE Std 1800-2009.

8. . ISO International Standard ISO/IEC 14882:2011(E) – Programming Language C++.

9. . A.K. Kim, M.S. Mikhailov, V.M. Fel’dman. IO-subsystem for «MCST-4R» and «ELBRUS-S» SOCs based on peripheral interfaces controller IC. Issues of Radio Elactronics, series EVT, no. 3, 2012 (in Russian) / А.К.Ким, М.С.Михайлов, В.М.Фельдман. Подсистема ввода-вывода для систем на кристалле «МЦСТ 4R» и «Эльбрус S» на основе микросхемы контроллера периферийных интерфейсов. Вопросы Радиоэлектроники, серия ЭВТ, вып. 3, 2012.

10. . Petrochenkov M. V., Mushtakov R. E., Stotland I. A. Verification of 10 Gigabit Ethernet controllers. Trudy ISP RAN/Proc. ISP RAS, vol. 29, issue 4, 2017, pp. 257-268. DOI: 10.15514/ISPRAS-2017-29(4)-17.

11. . F. Budylin, I. Polishyk, M. Slesarev, S. Yurlin. The experience of prototyping MCST CJSC’ microprocessors. Issues of Radio Elactronics, series EVT, 2012, no. 3 (in Russian) / Ф.К. Будылин, И.А. Полищук, М.В. Слесарев, С.В. Юрлин. Опыт прототипирования микропроцессоров компании ЗАО «МЦСТ». Вопросы радиоэлектроники, серия ЭВТ, 2012, вып. 3.

12. . Frolov P.V. System-level test integration based on static resource allocation. Issues of Radio Elactronics, series EVT, 2018, no. 2, pp. 76–80 (in Russian) / П.В. Фролов. Система интеграции инженерных тестов на основе статического распределения ресурсов. Вопросы радиоэлектроники, 2018, вып. 2, стр. 76–80.

13. . Central processor unit «Elbrus-4C». [Online]. Available at: http://www.mcst.ru/elbrus-4c, accessed: 11 May 2019 / Центральный процессор «Эльбрус-4C».

14. . Central processor unit «R1000». [Online]. Available at: http://www.mcst.ru/r1000, accessed: 11 May 2019 / Центральный процессор «R1000».


Рецензия

Для цитирования:


Фролов П.В. Разработка универсальных тестовых программ для автономной и системной логической верификации программируемых контроллеров. Труды Института системного программирования РАН. 2019;31(3):59-66. https://doi.org/10.15514/ISPRAS-2019-31(3)-5

For citation:


Frolov P.V. Approach to test program development for multilevel verification. Proceedings of the Institute for System Programming of the RAS (Proceedings of ISP RAS). 2019;31(3):59-66. https://doi.org/10.15514/ISPRAS-2019-31(3)-5



Creative Commons License
Контент доступен под лицензией Creative Commons Attribution 4.0 License.


ISSN 2079-8156 (Print)
ISSN 2220-6426 (Online)