{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,11]],"date-time":"2026-03-11T16:30:34Z","timestamp":1773246634070,"version":"3.50.1"},"reference-count":39,"publisher":"IEEE","license":[{"start":{"date-parts":[[2025,9,10]],"date-time":"2025-09-10T00:00:00Z","timestamp":1757462400000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2025,9,10]],"date-time":"2025-09-10T00:00:00Z","timestamp":1757462400000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2025,9,10]]},"DOI":"10.1109\/fdl68117.2025.11165406","type":"proceedings-article","created":{"date-parts":[[2025,9,23]],"date-time":"2025-09-23T17:24:10Z","timestamp":1758648250000},"page":"1-8","source":"Crossref","is-referenced-by-count":1,"title":["ProtoLens: Dynamic Transaction Visualization in Virtual Prototypes"],"prefix":"10.1109","author":[{"given":"Manfred","family":"Schl\u00e4gl","sequence":"first","affiliation":[{"name":"Johannes Kepler University,Institute for Complex Systems,Linz,Austria"}]},{"given":"Jonas","family":"Reichhardt","sequence":"additional","affiliation":[{"name":"Johannes Kepler University,Institute for Complex Systems,Linz,Austria"}]},{"given":"Daniel","family":"Gro\u00dfe","sequence":"additional","affiliation":[{"name":"Johannes Kepler University,Institute for Complex Systems,Linz,Austria"}]}],"member":"263","reference":[{"key":"ref1","volume-title":"Better Software. Faster!: Best Practices in Virtual Prototyping","author":"De Schutter","year":"2014"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/ieeestd.2023.10246125"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/DATE.2012.6176558"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1007\/978-90-481-3631-5"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-54828-5"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-031-05574-4"},{"key":"ref7","volume-title":"OSCI TLM-2.0 Language Reference Manual","year":"2009"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.23919\/DATE64628.2025.10993069"},{"key":"ref9","article-title":"RISC-V VP++: Next generation open-source virtual prototype","volume-title":"Workshop on Open-Source Design Automation","author":"Schl\u00e4gl"},{"key":"ref10","first-page":"646","article-title":"Efficient automatic visualization of SystemC designs","author":"Gro\u00dfe","year":"2003","journal-title":"Forum on Specification and Design Languages"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/ISVLSI.2006.87"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/DDECS.2013.6549775"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/VLSID.2016.45"},{"key":"ref14","article-title":"SycView: Visualize and Profile SystemC Simulations","volume-title":"3rd Workshop on Design Automation for Understanding Hardware Designs","author":"Becker"},{"key":"ref15","volume-title":"SystemC Verification Library 2.0.1, Accellera Systems Initiative","year":"2017"},{"key":"ref16","volume-title":"Lightweight transaction recording for SystemC, Minres","year":"2024"},{"key":"ref17","volume-title":"SCViewer, Minres","year":"2024"},{"key":"ref18","article-title":"Surfer","year":"2024"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-031-98685-7_19"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1109\/DDECS63720.2025.11006679"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1109\/ASPDAC.2012.6164948"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1109\/ISCAS.2018.8351864"},{"key":"ref23","first-page":"1586","article-title":"Integration of mixed-signal components into virtual platforms for holistic simulation of smart systems","volume-title":"Design, Automation and Test in Europe Conference","author":"Fraccaroli"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2018.2846638"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.23919\/DATE.2019.8714912"},{"key":"ref26","first-page":"188:1","article-title":"Early concolic testing of embedded binaries with virtual prototypes: A RISC-V case study","volume-title":"Design Automation Conference","author":"Herdt"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1109\/DAC18072.2020.9218494"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1145\/3489517.3530604"},{"key":"ref29","volume-title":"The RISC-V Instruction Set Manual; Volume I: Unprivileged ISA","author":"Waterman","year":"2019"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.21236\/ada605735"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.23919\/DATE64628.2025.10992929"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.23919\/DATE58400.2024.10546838"},{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1109\/ETS61313.2024.10567598"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1145\/3676536.3676755"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1016\/j.vlsi.2024.102320"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1145\/3583781.3590253"},{"key":"ref37","volume-title":"gdbgui - a browser-based frontend to gdb","author":"Smith"},{"key":"ref38","article-title":"PrBoom"},{"key":"ref39","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2024.3387312"}],"event":{"name":"2025 Forum on Specification & Design Languages (FDL)","location":"St. Goar, Germany","start":{"date-parts":[[2025,9,10]]},"end":{"date-parts":[[2025,9,12]]}},"container-title":["2025 Forum on Specification & Design Languages (FDL)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx8\/11165265\/11165266\/11165406.pdf?arnumber=11165406","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,9,30]],"date-time":"2025-09-30T13:15:51Z","timestamp":1759238151000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/11165406\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,9,10]]},"references-count":39,"URL":"https:\/\/doi.org\/10.1109\/fdl68117.2025.11165406","relation":{},"subject":[],"published":{"date-parts":[[2025,9,10]]}}}