{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T05:47:45Z","timestamp":1725601665413},"reference-count":31,"publisher":"IEEE","license":[{"start":{"date-parts":[[2019,9,1]],"date-time":"2019-09-01T00:00:00Z","timestamp":1567296000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2019,9,1]],"date-time":"2019-09-01T00:00:00Z","timestamp":1567296000000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2019,9,1]],"date-time":"2019-09-01T00:00:00Z","timestamp":1567296000000},"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":[[2019,9]]},"DOI":"10.1109\/fdl.2019.8876945","type":"proceedings-article","created":{"date-parts":[[2019,10,22]],"date-time":"2019-10-22T00:48:07Z","timestamp":1571705287000},"page":"1-8","source":"Crossref","is-referenced-by-count":2,"title":["Systematic RISC-V based Firmware Design<sup>\u22c6<\/sup>"],"prefix":"10.1109","author":[{"given":"Vladimir","family":"Herdt","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Wolfgang","family":"Kunz","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Daniel","family":"Grose","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Rolf","family":"Drechsler","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Christoph","family":"Gerum","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alexander","family":"Jung","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Joscha-Joel","family":"Benz","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Oliver","family":"Bringmann","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Michael","family":"Schwarz","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Dominik","family":"Stoffel","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.2197\/ipsjtsldm.6.135"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1145\/3316781.3317756"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1145\/1950365.1950396"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/SP.2016.17"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1145\/2656075.2656080"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1145\/3061639.3062253"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1145\/3316781.3317807"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1007\/s10766-005-0004-8"},{"key":"ref16","first-page":"119","article-title":"An equivalence checker for hardware-dependent software","author":"villarraga","year":"2013","journal-title":"MEMOCODE"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/FMCAD.2013.6679400"},{"key":"ref18","article-title":"PULPino: a small single-core RISC-V SoC","author":"traber","year":"2016","journal-title":"RISCV Workshop"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-02658-4_52"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1145\/2966986.2967016"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2016.2578882"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-73368-3_52"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.23919\/DATE.2017.7927042"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1145\/2629677"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2018.2846638"},{"key":"ref5","doi-asserted-by":"crossref","DOI":"10.1145\/2024716.2024718","article-title":"The gem5 simulator","author":"binkert","year":"2011","journal-title":"SIGARCH Comp Arch News"},{"key":"ref8","article-title":"Automated whitebox fuzz testing","author":"godefroid","year":"2008","journal-title":"NDSS"},{"key":"ref7","first-page":"209","article-title":"KLEE: unassisted and automatic generation of high-coverage tests for complex systems programs","author":"cadar","year":"2008","journal-title":"OSDI"},{"journal-title":"The RISC-V Instruction Set Manual Volume II Privileged Architecture","year":"2017","author":"waterman","key":"ref2"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/SP.2012.31"},{"journal-title":"The RISC-V Instruction Set Manual Volume I User-Level ISA","year":"2017","author":"waterman","key":"ref1"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1145\/2039370.2039417"},{"key":"ref22","article-title":"Automated sensor firmware development-generation, optimization, and analysis","author":"rudolf","year":"2019","journal-title":"MBMV"},{"key":"ref21","article-title":"The m&#x00E4;lardalen WCET benchmarks: Past, present and future","author":"gustafsson","year":"2010","journal-title":"WCET"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1007\/978-90-481-3631-5"},{"journal-title":"IEEE Standard SystemC Language Reference Manual","first-page":"1666","year":"2011","key":"ref23"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.23919\/DATE.2019.8714912"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1109\/FDL.2018.8524047"}],"event":{"name":"2019 Forum for Specification and Design Languages (FDL)","start":{"date-parts":[[2019,9,2]]},"location":"Southampton, United Kingdom","end":{"date-parts":[[2019,9,4]]}},"container-title":["2019 Forum for Specification and Design Languages (FDL)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/8870903\/8876891\/08876945.pdf?arnumber=8876945","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,7,15]],"date-time":"2022-07-15T03:09:55Z","timestamp":1657854595000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/8876945\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,9]]},"references-count":31,"URL":"https:\/\/doi.org\/10.1109\/fdl.2019.8876945","relation":{},"subject":[],"published":{"date-parts":[[2019,9]]}}}