{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,8,29]],"date-time":"2025-08-29T10:17:14Z","timestamp":1756462634201,"version":"3.32.0"},"reference-count":17,"publisher":"IEEE","license":[{"start":{"date-parts":[[2024,10,6]],"date-time":"2024-10-06T00:00:00Z","timestamp":1728172800000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2024,10,6]],"date-time":"2024-10-06T00:00:00Z","timestamp":1728172800000},"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,10,6]]},"DOI":"10.1109\/vlsi-soc62099.2024.10767822","type":"proceedings-article","created":{"date-parts":[[2024,12,3]],"date-time":"2024-12-03T18:53:02Z","timestamp":1733251982000},"page":"1-6","source":"Crossref","is-referenced-by-count":1,"title":["Adaptable FWHW Formal Co-Verification of SoC RISC-V Components"],"prefix":"10.1109","author":[{"given":"Paulette","family":"Iskandar","sequence":"first","affiliation":[{"name":"Infineon Technologies AG"}]},{"given":"Bryan","family":"Olmos","sequence":"additional","affiliation":[{"name":"Infineon Technologies AG"}]},{"given":"Wolfgang","family":"Kunz","sequence":"additional","affiliation":[{"name":"Rheinland-Pfälzische Technische Universität Kaiserslautern-Landau"}]},{"given":"Djones","family":"Lettnin","sequence":"additional","affiliation":[{"name":"Infineon Technologies AG"}]}],"member":"263","reference":[{"volume-title":"RISC-V","year":"2024","key":"ref1"},{"volume-title":"Implementation of an RTL Generator for RISC-V Privileged Architecture","year":"2023","author":"Tahiraga","key":"ref2"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/DSD.2019.00094"},{"journal-title":"Verification Process of Behavioral Consistency between Design and Implementation programs of pSET using HW-CBMC","year":"2011","author":"Lee","key":"ref4"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1145\/3061639.3062253"},{"volume-title":"OneSpin Solutions","year":"2024","key":"ref6"},{"key":"ref7","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-46105-1_33","article-title":"Model-Driven Architecture","volume-title":"OOIS Workshops","author":"Mellor","year":"2002"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/VLSI-SoC.2016.7753576"},{"key":"ref9","doi-asserted-by":"crossref","first-page":"125","DOI":"10.1109\/IIAI-AAI.2018.00033","article-title":"A Survey of Formal Techniques for Hardware\/Software Co-verification","volume-title":"2018 7th International Congress on Advanced Applied Informatics (IIAI-AAI)","author":"Liu","year":"2018"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1145\/2656075.2656080"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1145\/2024724.2024843"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/DDECS.2017.7934571"},{"key":"ref13","first-page":"119","article-title":"An equivalence checker for hardware-dependent embedded system software","volume-title":"2013 Eleventh ACM\/IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE 2013)","author":"Villarraga","year":"2013"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/ASPDAC.2013.6509684"},{"journal-title":"Computer organization and design: The hardware\/software interface","year":"2005","author":"Patterson","key":"ref15"},{"volume-title":"AMBA Specification","year":"2024","key":"ref16"},{"journal-title":"Implementing Interrupts in HW and SW","year":"2018","author":"Mutzel","key":"ref17"}],"event":{"name":"2024 IFIP\/IEEE 32nd International Conference on Very Large Scale Integration (VLSI-SoC)","start":{"date-parts":[[2024,10,6]]},"location":"Tanger, Morocco","end":{"date-parts":[[2024,10,9]]}},"container-title":["2024 IFIP\/IEEE 32nd International Conference on Very Large Scale Integration (VLSI-SoC)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx8\/10767775\/10767782\/10767822.pdf?arnumber=10767822","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,10]],"date-time":"2025-01-10T19:55:04Z","timestamp":1736538904000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/10767822\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,10,6]]},"references-count":17,"URL":"https:\/\/doi.org\/10.1109\/vlsi-soc62099.2024.10767822","relation":{},"subject":[],"published":{"date-parts":[[2024,10,6]]}}}