Динамическая верификация контроллеров шин систем-на-кристалле
https://doi.org/10.15514/ISPRAS-2018-30(4)-8
Аннотация
В работе представлен подход к верификации коммутационных компонентов систем на кристалле. Основной идеей подхода является верификация контроллеров и поддерживающих интерфейсный обмен частей устройств на модульном уровне с помощью моделей, написанных на SystemC. Эталонные модели в предлагаемой тестовой системе должны быть легко настраиваемыми под требуемые параметры шины. Прототип реализации подхода был применен для верификации Verilog-модели контроллера шины Wishbone. В подходе заложена возможность расширения поддержкой других шин и протоколов посредством разработки библиотеки интерфейсов.
Об авторах
М. М. Чупилко
Институт системного программирования им. В.П. Иванникова РАН
Россия
Россия
Е. А. Дроздова
Московский государственный университет им. М.В. Ломоносова
Россия
Россия
Список литературы
1. Specification for the WISHBONE System-on-Chip (SoC) Interconnection Architecture for Portable IP Cores. Revision: B.3. Доступно по ссылке:https://cdn.opencores.org/downloads/wbspec_b3.pdf, дата обращения: 20.07.2018
2. Open Core Protocol Specification 3.0. Доступно по ссылке:: http://www.accellera.org/images/downloads/standards/ocp/OCP_3.0_Specification.zip, дата обращения: 20.07.2018
3. M. Chupilko, A. Kamkin. A TLM-Based Approach to Functional Verification of Hardware Components at Different Abstraction Levels. In Proceedings of the Latin American Test Workshop (LATW), 2011, 1-6 pp. DOI: 10.1109/LATW.2011.5985902
4. M. Chupilko, A. Kamkin. Runtime Verification Based on Executable Models: On-the-Fly Matching of Timed Traces. In Proceedings of the Model-Based Testing Workshop (MBT), 2013, pp. 67-81. DOI: 10.4204/EPTCS.111.6
Рецензия
Для цитирования:
Чупилко М.М., Дроздова Е.А. Динамическая верификация контроллеров шин систем-на-кристалле. Труды Института системного программирования РАН. 2018;30(4):129-138. https://doi.org/10.15514/ISPRAS-2018-30(4)-8
For citation:
Chupilko M.M., Drozdova E.A. Simulation-based Verification of System-on-Chip Bus Controllers. Proceedings of the Institute for System Programming of the RAS (Proceedings of ISP RAS). 2018;30(4):129-138. https://doi.org/10.15514/ISPRAS-2018-30(4)-8
Послать статью по эл. почте 