Abstract
Transaction-level debugging in Virtual Prototypes (VPs) remains challenging due to the sheer number and intricate nature of interactions between software and hardware components. This paper presents ProtoLens, the first open-source tool for dynamic visualization of Transaction Level Modeling (TLM) transactions in SystemC-based VPs. Integrated with the opensource RISC-V VP++, ProtoLens provides an interactive web front-end that displays architecture-aware transaction flows in real-time. It captures transaction data via a lightweight extension of the TLM bus and enriches it with peripheral-specific views through user-defined modules, so-called Transaction View Modules (TVMs). Additionally, ProtoLens supports integration with software debuggers, allowing synchronized transaction inspection and control of the simulation flow. This enables developers to efficiently analyze issues such as incorrect memory mappings, unexpected peripheral behavior, and to better understand the overall system architecture.
Two case studies highlight the capabilities of ProtoLens: one demonstrates how it complements classical debugging in a baremetal software example, and the other showcases its ability to reconstruct real-time graphics output from a Linux-based game.
Two case studies highlight the capabilities of ProtoLens: one demonstrates how it complements classical debugging in a baremetal software example, and the other showcases its ability to reconstruct real-time graphics output from a Linux-based game.
| Originalsprache | Englisch |
|---|---|
| Titel | Forum on specification & Design Languages (FDL) 2025 |
| Verlag | IEEE |
| Seitenumfang | 8 |
| Auflage | 1 |
| ISBN (elektronisch) | 979-8-3315-9379-7 |
| ISBN (Print) | 979-8-3315-9380-3 |
| DOIs | |
| Publikationsstatus | Veröffentlicht - 2025 |
Publikationsreihe
| Name | Forum on Specification and Design Languages |
|---|---|
| ISSN (Print) | 1636-9874 |
Wissenschaftszweige
- 202028 Mikroelektronik
- 102011 Formale Sprachen
- 202017 Embedded Systems
- 102005 Computer Aided Design (CAD)
- 202041 Technische Informatik
- 101015 Operations Research
- 202005 Computer Architektur
- 102 Informatik
JKU-Schwerpunkte
- Digital Transformation
Dieses zitieren
- APA
- Author
- BIBTEX
- Harvard
- Standard
- RIS
- Vancouver