Preview

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

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

Динамическая верификация контроллеров шин систем-на-кристалле

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

Просмотров: 101


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


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