{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,9]],"date-time":"2026-05-09T08:56:02Z","timestamp":1778316962189,"version":"3.51.4"},"reference-count":15,"publisher":"IEEE","license":[{"start":{"date-parts":[[2025,4,28]],"date-time":"2025-04-28T00:00:00Z","timestamp":1745798400000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2025,4,28]],"date-time":"2025-04-28T00:00:00Z","timestamp":1745798400000},"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":[[2025,4,28]]},"DOI":"10.1109\/vts65138.2025.11022798","type":"proceedings-article","created":{"date-parts":[[2025,6,10]],"date-time":"2025-06-10T13:48:39Z","timestamp":1749563319000},"page":"1-5","source":"Crossref","is-referenced-by-count":1,"title":["OpenAssert: Towards Secure Assertion Generation using Large Language Models"],"prefix":"10.1109","author":[{"given":"Anand","family":"Menon","sequence":"first","affiliation":[{"name":"University of Texas at Dallas,TX,USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Samit Shahnawaz","family":"Miftah","sequence":"additional","affiliation":[{"name":"University of Texas at Dallas,TX,USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Amisha","family":"Srivastava","sequence":"additional","affiliation":[{"name":"University of Texas at Dallas,TX,USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Shamik","family":"Kundu","sequence":"additional","affiliation":[{"name":"Intel Labs,USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Souvik","family":"Kundu","sequence":"additional","affiliation":[{"name":"Intel Labs,USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Arnab","family":"Raha","sequence":"additional","affiliation":[{"name":"Intel Labs,USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Suvadeep","family":"Banerjee","sequence":"additional","affiliation":[{"name":"Intel Labs,USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Deepak","family":"Mathaikutty","sequence":"additional","affiliation":[{"name":"Intel Labs,USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Kanad","family":"Basu","sequence":"additional","affiliation":[{"name":"University of Texas at Dallas,TX,USA"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-30596-3"},{"key":"ref2","article-title":"Assertllm: Generating and evaluating hardware verification assertions from design specifications via multi-llms","author":"Fang","year":"2024","journal-title":"arXiv preprint arXiv"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/TIFS.2024.3372809"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/fccm62733.2025.00048"},{"key":"ref5","article-title":"Code llama: Open foundation models for code","author":"Roziere","year":"2023","journal-title":"arXiv preprint arXiv"},{"key":"ref6","article-title":"Systemverilog assertions basics","volume-title":"systemverilog.io","author":"Ganesh"},{"key":"ref7","volume-title":"SystemVerilog Assertions Handbook:\u2013for Formal and Dynamic Verification.","author":"Cohen","year":"2005"},{"key":"ref8","article-title":"Llama 2: Open foundation and fine-tuned chat models","author":"Touvron","year":"2023","journal-title":"arXiv preprint arXiv"},{"key":"ref9","author":"Hu","year":"2021","journal-title":"Lora: Low-rank adaptation of large language models"},{"key":"ref10","first-page":"10 088","article-title":"Qlora: Efficient finetuning of quantized llms","volume-title":"Advances in Neural Information Processing Systems","volume":"36","author":"Dettmers"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1088\/1742-6596\/978\/1\/012120"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/CITSM.2016.7577578"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1007\/s10836-010-5148-9"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1145\/2786805.2786858"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.23919\/DATE58400.2024.10546729"}],"event":{"name":"2025 IEEE 43rd VLSI Test Symposium (VTS)","location":"Tempe, AZ, USA","start":{"date-parts":[[2025,4,28]]},"end":{"date-parts":[[2025,4,30]]}},"container-title":["2025 IEEE 43rd VLSI Test Symposium (VTS)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx8\/11022705\/11022774\/11022798.pdf?arnumber=11022798","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,1,27]],"date-time":"2026-01-27T04:43:37Z","timestamp":1769489017000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/11022798\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,4,28]]},"references-count":15,"URL":"https:\/\/doi.org\/10.1109\/vts65138.2025.11022798","relation":{},"subject":[],"published":{"date-parts":[[2025,4,28]]}}}