{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,31]],"date-time":"2026-03-31T07:41:56Z","timestamp":1774942916038,"version":"3.50.1"},"reference-count":30,"publisher":"IEEE","license":[{"start":{"date-parts":[[2024,4,22]],"date-time":"2024-04-22T00:00:00Z","timestamp":1713744000000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2024,4,22]],"date-time":"2024-04-22T00:00:00Z","timestamp":1713744000000},"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,4,22]]},"DOI":"10.1109\/vts60656.2024.10538589","type":"proceedings-article","created":{"date-parts":[[2024,5,29]],"date-time":"2024-05-29T17:24:14Z","timestamp":1717003454000},"page":"1-4","source":"Crossref","is-referenced-by-count":16,"title":["Domain-Adapted LLMs for VLSI Design and Verification: A Case Study on Formal Verification"],"prefix":"10.1109","author":[{"given":"Mingjie","family":"Liu","sequence":"first","affiliation":[{"name":"NVIDIA"}]},{"given":"Minwoo","family":"Kang","sequence":"additional","affiliation":[{"name":"NVIDIA"}]},{"given":"Ghaith Bany","family":"Hamad","sequence":"additional","affiliation":[{"name":"NVIDIA"}]},{"given":"Syed","family":"Suhaib","sequence":"additional","affiliation":[{"name":"NVIDIA"}]},{"given":"Haoxing","family":"Ren","sequence":"additional","affiliation":[{"name":"NVIDIA"}]}],"member":"263","reference":[{"key":"ref1","volume-title":"Gpt-4 technical report","year":"2023"},{"key":"ref2","article-title":"Llama 2: Open foundation and fine-tuned chat models","author":"Touvron","year":"2023"},{"key":"ref3","article-title":"Gemini: A family of highly capable multimodal models","volume":"abs\/2312.11805","author":"Google","year":"2023","journal-title":"ArXiv"},{"key":"ref4","article-title":"Mixtral of experts","volume":"abs\/2401.04088","author":"Jiang","year":"2024","journal-title":"ArXiv"},{"key":"ref5","article-title":"Chain of thought prompting elicits reasoning in large language models","volume":"abs\/2201.11903","author":"Wei","year":"2022","journal-title":"ArXiv"},{"key":"ref6","article-title":"Towards expert-level medical question answering with large language models","volume":"abs\/2305.09617","author":"Singhal","year":"2023","journal-title":"ArXiv"},{"key":"ref7","doi-asserted-by":"crossref","first-page":"1233","DOI":"10.1039\/D3DD00113J","article-title":"14 examples of how llms can transform materials science and chemistry: a reflection on a large language model hackathon","volume":"2","author":"Jablonka","year":"2023","journal-title":"Digital Discovery"},{"key":"ref8","article-title":"Chipnemo: Domain-adapted llms for chip design","volume":"abs\/2311.00176","author":"Liu","year":"2023","journal-title":"ArXiv"},{"key":"ref9","first-page":"1","article-title":"Chip-chat: Challenges and opportunities in conversational hardware design","volume-title":"2023 ACM\/IEEE 5th Workshop on Machine Learning for CAD (MLCAD)","author":"Blocklove"},{"key":"ref10","article-title":"Bloomberggpt: A large language model for finance","author":"Wu","year":"2023"},{"key":"ref11","article-title":"BioMedLM: a domain-specific large language model for biomedical text","author":"Venigalla","year":"2022"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.18653\/v1\/2020.acl-main.740"},{"key":"ref13","article-title":"Finetuned language models are zero-shot learners","author":"Wei","year":"2022"},{"key":"ref14","article-title":"Llm-assisted generation of hardware assertions","volume":"abs\/2306.14027","author":"Kande","year":"2023","journal-title":"ArXiv"},{"key":"ref15","article-title":"Assertllm: Generating and evaluating hardware verification assertions from design specifications via multi-llms","volume":"abs\/2402.00386","author":"Fang","year":"2024","journal-title":"ArXiv"},{"key":"ref16","article-title":"Using llms to facilitate formal verification of rtl","volume":"abs\/2309.09437","author":"Orenes-Vera","year":"2023","journal-title":"ArXiv"},{"key":"ref17","first-page":"27","article-title":"Dave: Deriving automatically verilog from english","volume-title":"2020 ACM\/IEEE 2nd Workshop on Machine Learning for CAD (MLCAD)","author":"Pearce"},{"key":"ref18","article-title":"Codegen: An open large language model for code with multi-turn program synthesis","author":"Nijkamp","year":"2023","journal-title":"ICLR"},{"key":"ref19","article-title":"Verigen: A large language model for verilog code generation","volume":"abs\/2308.00708","author":"Thakur","year":"2023","journal-title":"ArXiv"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1109\/ICCAD57390.2023.10323812"},{"key":"ref21","first-page":"1","article-title":"Chateda: A large language model powered autonomous agent for eda","volume-title":"2023 ACM\/IEEE 5th Workshop on Machine Learning for CAD (MLCAD)","author":"He"},{"key":"ref22","article-title":"Towards improving verification productivity with circuitaware translation of natural language to systemverilog assertions","author":"Hahn","year":"2023"},{"key":"ref23","doi-asserted-by":"crossref","article-title":"Llm-guided formal verification coupled with mutation testing","author":"Hassan","DOI":"10.23919\/DATE58400.2024.10546729"},{"key":"ref24","first-page":"1","article-title":"Automated assertion generation from natural language specifications","volume-title":"2020 IEEE International Test Conference (ITC)","author":"Frederiksen"},{"key":"ref25","first-page":"598","article-title":"Automatic assertion generation from natural language specifications using subtree analysis","volume-title":"2019 Design, Automation & Test in Europe Conference & Exhibition (DATE)","author":"Zhao"},{"key":"ref26","first-page":"1","article-title":"Lfps: Learned formal proof strengthening for efficient hardware verification","volume-title":"2023 IEEE\/ACM International Conference on Computer Aided Design (ICCAD)","author":"Kang"},{"key":"ref27","article-title":"Nemo: a toolkit for building ai applications using neural modules","author":"Kuchaiev","year":"2019"},{"key":"ref28","article-title":"Measuring massive multitask language understanding","author":"Hendrycks","year":"2021"},{"key":"ref29","article-title":"Evaluating large language models trained on code","author":"Chen","year":"2021"},{"key":"ref30","volume-title":"Symbiyosys (sby) \u2013 front-end for yosys-based formal verification flows","year":"2024"}],"event":{"name":"2024 IEEE 42nd VLSI Test Symposium (VTS)","location":"Tempe, AZ, USA","start":{"date-parts":[[2024,4,22]]},"end":{"date-parts":[[2024,4,24]]}},"container-title":["2024 IEEE 42nd VLSI Test Symposium (VTS)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/10538470\/10538498\/10538589.pdf?arnumber=10538589","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,11,20]],"date-time":"2024-11-20T17:11:41Z","timestamp":1732122701000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/10538589\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,4,22]]},"references-count":30,"URL":"https:\/\/doi.org\/10.1109\/vts60656.2024.10538589","relation":{},"subject":[],"published":{"date-parts":[[2024,4,22]]}}}