{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,1]],"date-time":"2025-06-01T04:08:17Z","timestamp":1748750897474,"version":"3.41.0"},"reference-count":15,"publisher":"IEEE","license":[{"start":{"date-parts":[[2025,4,23]],"date-time":"2025-04-23T00:00:00Z","timestamp":1745366400000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2025,4,23]],"date-time":"2025-04-23T00:00:00Z","timestamp":1745366400000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"funder":[{"DOI":"10.13039\/501100009192","name":"Alberta Innovates","doi-asserted-by":"publisher","id":[{"id":"10.13039\/501100009192","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100000038","name":"Natural Sciences and Engineering Research Council of Canada","doi-asserted-by":"publisher","award":["RGPIN-2022-03027"],"award-info":[{"award-number":["RGPIN-2022-03027"]}],"id":[{"id":"10.13039\/501100000038","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/100002418","name":"Intel Corporation","doi-asserted-by":"publisher","id":[{"id":"10.13039\/100002418","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/100008676","name":"CMC Microsystems","doi-asserted-by":"publisher","id":[{"id":"10.13039\/100008676","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2025,4,23]]},"DOI":"10.1109\/isqed65160.2025.11014472","type":"proceedings-article","created":{"date-parts":[[2025,5,30]],"date-time":"2025-05-30T17:43:30Z","timestamp":1748627010000},"page":"1-7","source":"Crossref","is-referenced-by-count":0,"title":["Adding Context to LLM-Guided Verilog Repair"],"prefix":"10.1109","author":[{"given":"Abdelrahman","family":"Elnaggar","sequence":"first","affiliation":[{"name":"Schulich School of Engineering, University of Calgary,Department of Electrical and Software Engineering"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Benjamin","family":"Tan","sequence":"additional","affiliation":[{"name":"Schulich School of Engineering, University of Calgary,Department of Electrical and Software Engineering"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"volume-title":"Intel 2023 Product Security Report","year":"2024","key":"ref1"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1145\/3318162"},{"key":"ref3","first-page":"990","article-title":"CirFix: automatically repairing defects in hardware design code","volume-title":"Proceedings of the 27th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, ser. ASPLOS","volume":"22","author":"Ahmad"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/tifs.2024.3374558"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1145\/3520312.3534862"},{"volume-title":"Benchmarking large language models for automated verilog rtl code generation","year":"2022","author":"Thakur","key":"ref6"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/icse48619.2023.00128"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/icse48619.2023.00129"},{"volume-title":"General. AbdelrahmanElnaggar\/RTL_bugfixer_llm","key":"ref9"},{"key":"ref10","article-title":"The Living Review on Automated Program Repair","volume-title":"HAL Archives Ouvertes, Technical Report hal-01956501","author":"Monperrus","year":"2018"},{"volume-title":"OpenAI","key":"ref11","article-title":"OpenAI Platform"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1145\/3508352.3549369"},{"volume-title":"DLAI - ChatGPT Prompt Engineering for Developers","key":"ref13"},{"volume-title":"Opencores.org","year":"2024","key":"ref14"},{"volume-title":"Pricing","key":"ref15"}],"event":{"name":"2025 26th International Symposium on Quality Electronic Design (ISQED)","start":{"date-parts":[[2025,4,23]]},"location":"San Francisco, CA, USA","end":{"date-parts":[[2025,4,25]]}},"container-title":["2025 26th International Symposium on Quality Electronic Design (ISQED)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx8\/11014297\/11014302\/11014472.pdf?arnumber=11014472","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,31]],"date-time":"2025-05-31T04:45:43Z","timestamp":1748666743000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/11014472\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,4,23]]},"references-count":15,"URL":"https:\/\/doi.org\/10.1109\/isqed65160.2025.11014472","relation":{},"subject":[],"published":{"date-parts":[[2025,4,23]]}}}