{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,10]],"date-time":"2025-10-10T07:23:42Z","timestamp":1760081022892,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":10,"publisher":"ACM","license":[{"start":{"date-parts":[[2024,6,23]],"date-time":"2024-06-23T00:00:00Z","timestamp":1719100800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2024,6,23]]},"DOI":"10.1145\/3649329.3663498","type":"proceedings-article","created":{"date-parts":[[2024,11,7]],"date-time":"2024-11-07T19:27:22Z","timestamp":1731007642000},"page":"1-2","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":7,"title":["Late Breaking Results: LLM-assisted Automated Incremental Proof Generation for Hardware Verification"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0009-0004-7408-8399","authenticated-orcid":false,"given":"Khushboo","family":"Qayyum","sequence":"first","affiliation":[{"name":"University of Bremen\/ DFKI GmbH, Bremen, Bremen, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-4217-3079","authenticated-orcid":false,"given":"Muhammad","family":"Hassan","sequence":"additional","affiliation":[{"name":"University of Bremen\/Cyber Physical Systems, DFKI, Bremen, Bremen, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-4000-6207","authenticated-orcid":false,"given":"Sallar","family":"Ahmadi-Pour","sequence":"additional","affiliation":[{"name":"University of Bremen, Bremen, Bremen, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-7237-5878","authenticated-orcid":false,"given":"Chandan Kumar","family":"Jha","sequence":"additional","affiliation":[{"name":"University of Bremen, Bremen, Bremen, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-9872-1740","authenticated-orcid":false,"given":"Rolf","family":"Drechsler","sequence":"additional","affiliation":[{"name":"University of Bremen\/DFKI, Bremen, Bremen, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2024,11,7]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1007\/b105236"},{"key":"e_1_3_2_1_2_1","volume-title":"Formal verification of circuits","author":"Drechsler R.","year":"2013","unstructured":"R. Drechsler, Formal verification of circuits. Springer Science & Business Media, 2013."},{"key":"e_1_3_2_1_3_1","volume-title":"LLM-assisted generation of hardware assertions,\" arXiv preprint arXiv:2306.14027","author":"Kande R.","year":"2023","unstructured":"R. Kande, H. Pearce, B. Tan, B. Dolan-Gavitt, S. Thakur, R. Karri, and J. Rajendran, \"LLM-assisted generation of hardware assertions,\" arXiv preprint arXiv:2306.14027, 2023."},{"key":"e_1_3_2_1_4_1","volume-title":"From RTL to SVA: LLM-assisted generation of formal verification testbenches,\" arXiv preprint arXiv:2309.09437","author":"Orenes-Vera M.","year":"2023","unstructured":"M. Orenes-Vera, M. Martonosi, and D. Wentzlaff, \"From RTL to SVA: LLM-assisted generation of formal verification testbenches,\" arXiv preprint arXiv:2309.09437, 2023."},{"key":"e_1_3_2_1_5_1","volume-title":"Towards improving verification productivity with circuit-aware translation of natural language to systemverilog assertions,\" in DAV","author":"Sun C.","year":"2023","unstructured":"C. Sun, C. Hahn, and C. Trippel, \"Towards improving verification productivity with circuit-aware translation of natural language to systemverilog assertions,\" in DAV, 2023."},{"key":"e_1_3_2_1_6_1","volume-title":"LLM for SoC security: A paradigm shift,\" arXiv preprint arXiv:2310.06046","author":"Saha D.","year":"2023","unstructured":"D. Saha, S. Tarek, K. Yahyaei, S. K. Saha, J. Zhou, M. Tehranipoor, and F. Farahmandi, \"LLM for SoC security: A paradigm shift,\" arXiv preprint arXiv:2310.06046, 2023."},{"key":"e_1_3_2_1_7_1","volume-title":"Unlocking hardware security assurance: The potential of LLMs,\" arXiv preprint arXiv:2308.11042","author":"Meng X.","year":"2023","unstructured":"X. Meng, A. Srivastava, A. Arunachalam, A. Ray, P. H. Silva, R. Psiakis, Y. Makris, and K. Basu, \"Unlocking hardware security assurance: The potential of LLMs,\" arXiv preprint arXiv:2308.11042, 2023."},{"key":"e_1_3_2_1_8_1","volume-title":"Fixing hardware security bugs with large language models,\" arXiv preprint arXiv:2302.01215","author":"Ahmad B.","year":"2023","unstructured":"B. Ahmad, S. Thakur, B. Tan, R. Karri, and H. Pearce, \"Fixing hardware security bugs with large language models,\" arXiv preprint arXiv:2302.01215, 2023."},{"key":"e_1_3_2_1_9_1","volume-title":"LLM-guided formal verification coupled with mutation testing,\" DATE","author":"Hassan M.","year":"2024","unstructured":"M. Hassan, S. Ahmadi-Pour, K. Qayyum, C. K. Jha, and R. Drechsler, \"LLM-guided formal verification coupled with mutation testing,\" DATE, 2024."},{"key":"e_1_3_2_1_10_1","volume-title":"LLM4DV: Using large language models for hardware test stimuli generation,\" arXiv preprint arXiv:2310.04535","author":"Zhang Z.","year":"2023","unstructured":"Z. Zhang, G. Chadwick, H. McNally, Y. Zhao, and R. Mullins, \"LLM4DV: Using large language models for hardware test stimuli generation,\" arXiv preprint arXiv:2310.04535, 2023."}],"event":{"name":"DAC '24: 61st ACM\/IEEE Design Automation Conference","sponsor":["SIGDA ACM Special Interest Group on Design Automation","IEEE-CEDA","SIGBED ACM Special Interest Group on Embedded Systems"],"location":"San Francisco CA USA","acronym":"DAC '24"},"container-title":["Proceedings of the 61st ACM\/IEEE Design Automation Conference"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3649329.3663498","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3649329.3663498","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T01:18:01Z","timestamp":1750295881000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3649329.3663498"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,6,23]]},"references-count":10,"alternative-id":["10.1145\/3649329.3663498","10.1145\/3649329"],"URL":"https:\/\/doi.org\/10.1145\/3649329.3663498","relation":{},"subject":[],"published":{"date-parts":[[2024,6,23]]},"assertion":[{"value":"2024-11-07","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}