{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,20]],"date-time":"2026-05-20T16:17:54Z","timestamp":1779293874946,"version":"3.51.4"},"reference-count":18,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2018,9]]},"DOI":"10.1109\/fdl.2018.8524047","type":"proceedings-article","created":{"date-parts":[[2018,11,8]],"date-time":"2018-11-08T18:21:35Z","timestamp":1541701295000},"page":"5-16","source":"Crossref","is-referenced-by-count":55,"title":["Extensible and Configurable RISC-V Based Virtual Prototype"],"prefix":"10.1109","author":[{"given":"Vladimir","family":"Herdt","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Daniel","family":"Grosse","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hoang M.","family":"Le","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Rolf","family":"Drechsler","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref10","first-page":"1","article-title":"On the application of formal fault localization to automated RTL-to-TLM fault correspondence analysis for fast and accurate VP-based error effect simulation - a case study","author":"herdt","year":"0","journal-title":"FDL 2016"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/FDL.2017.8303898"},{"key":"ref12","year":"0","journal-title":"Spike"},{"key":"ref13","year":"0","journal-title":"RISCV-QEMU"},{"key":"ref14","year":"0","journal-title":"RV8"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1145\/2024716.2024718"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/ReCoSoC.2014.6860690"},{"key":"ref17","year":"0","journal-title":"Calling convention"},{"key":"ref18","article-title":"Verifying SystemC using intermediate verification language and stateful symbolic simulation","author":"herdt","year":"2018","journal-title":"TCAD"},{"key":"ref4","author":"bailey","year":"2007","journal-title":"ESL Design and Verification A Prescription for Electronic System Level Methodology"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/DATE.2012.6176558"},{"key":"ref6","author":"grobe","year":"2010","journal-title":"Quality-Driven SystemC Design"},{"key":"ref5","year":"2011","journal-title":"IEEE Standard SystemC Language Reference Manual IEEE Std 1666"},{"key":"ref8","doi-asserted-by":"crossref","first-page":"39","DOI":"10.1016\/j.micpro.2017.03.012","article-title":"CONTREX: Design of embedded mixed-criticality CONTRol systems under consideration of extra-functional properties","volume":"51","author":"gr\u00fcttner","year":"2017","journal-title":"Microprocessors and Microsystems"},{"key":"ref7","first-page":"1","article-title":"ESL power and performance estimation for heterogeneous mpsocs using SystemC","author":"streubhr","year":"2011","journal-title":"FDL"},{"key":"ref2","author":"waterman","year":"2017","journal-title":"The RISC-V Instruction Set Manual Volume II Privileged Architecture SiFive Inc and CS Division EECS Department University of California"},{"key":"ref1","author":"waterman","year":"2017","journal-title":"The RISC-V Instruction Set Manual Volume I User-Level ISA SiFive Inc and CS Division EECS Department University of California"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/SAMOS.2016.7818374"}],"event":{"name":"2018 Forum on specification & Design Languages (FDL)","location":"Garching, Germany","start":{"date-parts":[[2018,9,10]]},"end":{"date-parts":[[2018,9,12]]}},"container-title":["2018 Forum on Specification & Design Languages (FDL)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/8501260\/8524032\/08524047.pdf?arnumber=8524047","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,1,26]],"date-time":"2022-01-26T14:14:56Z","timestamp":1643206496000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/8524047\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,9]]},"references-count":18,"URL":"https:\/\/doi.org\/10.1109\/fdl.2018.8524047","relation":{},"subject":[],"published":{"date-parts":[[2018,9]]}}}