{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,2]],"date-time":"2025-11-02T16:23:54Z","timestamp":1762100634282,"version":"build-2065373602"},"reference-count":16,"publisher":"IEEE","license":[{"start":{"date-parts":[[2024,1,22]],"date-time":"2024-01-22T00:00:00Z","timestamp":1705881600000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2024,1,22]],"date-time":"2024-01-22T00:00:00Z","timestamp":1705881600000},"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":[[2024,1,22]]},"DOI":"10.1109\/asp-dac58780.2024.10473953","type":"proceedings-article","created":{"date-parts":[[2024,3,25]],"date-time":"2024-03-25T19:06:53Z","timestamp":1711393613000},"page":"692-697","source":"Crossref","is-referenced-by-count":3,"title":["Towards a Highly Interactive Design-Debug-Verification Cycle"],"prefix":"10.1109","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-2571-1058","authenticated-orcid":false,"given":"Lucas","family":"Klemmer","sequence":"first","affiliation":[{"name":"Institute for Complex Systems, Johannes Kepler University,Linz,Austria"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Daniel","family":"Gro\u00dfe","sequence":"additional","affiliation":[{"name":"Institute for Complex Systems, Johannes Kepler University,Linz,Austria"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"volume-title":"CMOS VLSI Design: A Circuits and Systems Perspective","year":"2010","author":"Weste","key":"ref1"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/ASP-DAC52403.2022.9712600"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/ieeestd.2009.5354441"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1145\/3578554"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1145\/2228360.2228584"},{"key":"ref6","first-page":"714","article-title":"C\u03bbash: Structural descriptions of synchronous hardware using haskell","volume-title":"DSD. IEEE","author":"Baaij"},{"article-title":"Spade: an expression-based HDL with pipelines","volume-title":"Proc. Workshop Open-Source Des. Automat.","author":"Skarman","key":"ref7"},{"journal-title":"Amaranth HDL","year":"2023","key":"ref8"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/ICCAD.2017.8203780"},{"journal-title":"CIRCT \/ Circuit IR Compilers and Tools","year":"2023","key":"ref10"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/ISPASS48437.2020.00028"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/MM.2020.2996508"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1145\/3489517.3530623"},{"article-title":"Programmable analysis of RISC-V processor simulations using WAL","volume-title":"DVCon Europe","author":"Klemmer","key":"ref14"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/FDL59689.2023.10272204"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1145\/3282307"}],"event":{"name":"2024 29th Asia and South Pacific Design Automation Conference (ASP-DAC)","start":{"date-parts":[[2024,1,22]]},"location":"Incheon, Korea, Republic of","end":{"date-parts":[[2024,1,25]]}},"container-title":["2024 29th Asia and South Pacific Design Automation Conference (ASP-DAC)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/10473777\/10473787\/10473953.pdf?arnumber=10473953","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,11,7]],"date-time":"2024-11-07T19:40:13Z","timestamp":1731008413000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/10473953\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,1,22]]},"references-count":16,"URL":"https:\/\/doi.org\/10.1109\/asp-dac58780.2024.10473953","relation":{},"subject":[],"published":{"date-parts":[[2024,1,22]]}}}