{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,2]],"date-time":"2025-11-02T09:10:46Z","timestamp":1762074646920,"version":"build-2065373602"},"reference-count":0,"publisher":"IEEE","license":[{"start":{"date-parts":[[2022,9,14]],"date-time":"2022-09-14T00:00:00Z","timestamp":1663113600000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2022,9,14]],"date-time":"2022-09-14T00:00:00Z","timestamp":1663113600000},"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":[[2022,9,14]]},"DOI":"10.1109\/fdl56239.2022.9925662","type":"proceedings-article","created":{"date-parts":[[2022,11,3]],"date-time":"2022-11-03T23:03:28Z","timestamp":1667516608000},"page":"1-8","source":"Crossref","is-referenced-by-count":3,"title":["Formal Verification of SUBLEQ Microcode implementing the RV32I ISA"],"prefix":"10.1109","author":[{"given":"Lucas","family":"Klemmer","sequence":"first","affiliation":[{"name":"Johannes Kepler University,Institute for Complex Systems,Linz,Austria"}]},{"given":"Sonja","family":"Gurtner","sequence":"additional","affiliation":[{"name":"Johannes Kepler University,Institute for Complex Systems,Linz,Austria"}]},{"given":"Daniel","family":"Grose","sequence":"additional","affiliation":[{"name":"Johannes Kepler University,Institute for Complex Systems,Linz,Austria"}]}],"member":"263","event":{"name":"2022 Forum on Specification & Design Languages (FDL)","start":{"date-parts":[[2022,9,14]]},"location":"Linz, Austria","end":{"date-parts":[[2022,9,16]]}},"container-title":["2022 Forum on Specification & Design Languages (FDL)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/9925204\/9925654\/09925662.pdf?arnumber=9925662","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,11,14]],"date-time":"2022-11-14T22:07:57Z","timestamp":1668463677000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/9925662\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,9,14]]},"references-count":0,"URL":"https:\/\/doi.org\/10.1109\/fdl56239.2022.9925662","relation":{},"subject":[],"published":{"date-parts":[[2022,9,14]]}}}