Разработка универсальных тестовых программ для автономной и системной логической верификации программируемых контроллеров
https://doi.org/10.15514/ISPRAS-2019-31(3)-5
Аннотация
Об авторе
Павел Викторович ФроловРоссия
Начальник сектора системной верификации отдела моделирования и верификации
Список литературы
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