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

Чупилко М.М., Дроздова Е.А. Динамическая верификация контроллеров шин систем-на-кристалле. Труды Института системного программирования РАН. 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