{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,14]],"date-time":"2026-03-14T21:03:44Z","timestamp":1773522224502,"version":"3.50.1"},"reference-count":42,"publisher":"IEEE","license":[{"start":{"date-parts":[[2023,12,13]],"date-time":"2023-12-13T00:00:00Z","timestamp":1702425600000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2023,12,13]],"date-time":"2023-12-13T00:00:00Z","timestamp":1702425600000},"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":[[2023,12,13]]},"DOI":"10.1109\/asianhost59942.2023.10409307","type":"proceedings-article","created":{"date-parts":[[2024,1,24]],"date-time":"2024-01-24T18:36:47Z","timestamp":1706121407000},"page":"1-6","source":"Crossref","is-referenced-by-count":43,"title":["LLM4SecHW: Leveraging Domain-Specific Large Language Model for Hardware Debugging"],"prefix":"10.1109","author":[{"given":"Weimin","family":"Fu","sequence":"first","affiliation":[{"name":"Kansas State University"}]},{"given":"Kaichen","family":"Yang","sequence":"additional","affiliation":[{"name":"Michigan Technological University"}]},{"given":"Raj Gautam","family":"Dutta","sequence":"additional","affiliation":[{"name":"Silicon Assurance"}]},{"given":"Xiaolong","family":"Guo","sequence":"additional","affiliation":[{"name":"Kansas State University"}]},{"given":"Gang","family":"Qu","sequence":"additional","affiliation":[{"name":"University of Maryland"}]}],"member":"263","reference":[{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/JPROC.2017.2714641"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/VTS50974.2021.9441032"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/MTV.2013.23"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1145\/3442479"},{"key":"ref5","article-title":"Towards expert-level medical question answering with large language models","author":"Singhal","year":"2023"},{"key":"ref6","article-title":"Github copilot","year":"2023"},{"key":"ref7","volume-title":"Chatgpt based on gpt-4"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-031-37703-7_18"},{"key":"ref9","article-title":"Towards improving verification productivity with circuit-aware translation of natural language to systemverilog assertions","volume-title":"First International Workshop on Deep Learning-aided Verification","author":"Sun"},{"key":"ref10","article-title":"Llm-assisted generation of hardware assertions","author":"Kande","year":"2023"},{"key":"ref11","article-title":"Samsung bans staff\u2019s ai use after spotting chatgpt data leak","volume":"2","author":"Gurman","year":"2023","journal-title":"Bloomberg News"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/MLCAD52597.2021.9531313"},{"key":"ref13","article-title":"Attention is all you need","volume":"30","author":"Vaswani","year":"2017","journal-title":"Advances in neural information processing systems"},{"key":"ref14","first-page":"320","article-title":"Generating secure hardware using chatgpt resistant to cwes","volume-title":"CSCML 2023","author":"Nair","year":"2023"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.23919\/DATE56975.2023.10137086"},{"key":"ref16","article-title":"Fixing hardware security bugs with large language models","author":"Ahmad","year":"2023"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1145\/3569052.3578926"},{"key":"ref18","article-title":"Benchmarking large language models for automated verilog rtl code generation","author":"Thakur","year":"2022"},{"key":"ref19","volume-title":"Version Control with Git: Powerful tools and techniques for collaborative software development","author":"Loeliger","year":"2012"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1109\/TVLSI.2019.2926114"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.23919\/FPL.2017.8056766"},{"key":"ref22","first-page":"10","article-title":"Titan: enabling a transparent silicon root of trust for cloud","volume":"194","author":"Johnson","year":"2018","journal-title":"Hot Chips: A Symposium on High Performance Chips"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1109\/PATMOS.2017.8106976"},{"key":"ref24","article-title":"mor1kx","author":"Horne"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1145\/2872362.2872414"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1109\/JSSC.2019.2912307"},{"key":"ref27","volume-title":"Darkriscv"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1145\/3359591.3359735"},{"key":"ref29","article-title":"Verilator","year":"2023"},{"key":"ref30","article-title":"Decoupled weight decay regularization","volume-title":"International Conference on Learning Representations","author":"Loshchilov"},{"key":"ref31","article-title":"GPT-NeoX: Large Scale Autoregressive Language Modeling in PyTorch","author":"Andonian","year":"2021"},{"key":"ref32","article-title":"Falcon-40B: an open large language model with state-of-the-art performance","author":"Almazrouei","year":"2023"},{"key":"ref33","article-title":"Open-llm-leaderboard-report","author":"Park","year":"2023"},{"key":"ref34","article-title":"Llama: Open and efficient foundation language models","author":"Touvron","year":"2023"},{"key":"ref35","article-title":"Bard: A large language model from google ai","year":"2023"},{"key":"ref36","article-title":"Gpt-4 technical report","year":"2023"},{"key":"ref37","article-title":"Llama-adapter v2: Parameter-efficient visual instruction model","author":"Gao","year":"2023"},{"key":"ref38","first-page":"74","article-title":"Rouge: A package for automatic evaluation of summaries","volume-title":"Text summarization branches out","author":"Lin","year":"2004"},{"key":"ref39","doi-asserted-by":"publisher","DOI":"10.14778\/3611540.3611569"},{"key":"ref40","article-title":"Opentitan"},{"key":"ref41","first-page":"1","article-title":"Ieee standard for systemverilog\u2013unified hardware design, specification, and verification language","volume-title":"IEEE Std 1800-2017 (Revision of IEEE Std 1800\u20132012)"},{"key":"ref42","article-title":"OpenTitan"}],"event":{"name":"2023 Asian Hardware Oriented Security and Trust Symposium (AsianHOST)","location":"Tianjin, China","start":{"date-parts":[[2023,12,13]]},"end":{"date-parts":[[2023,12,15]]}},"container-title":["2023 Asian Hardware Oriented Security and Trust Symposium (AsianHOST)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/10409268\/10409304\/10409307.pdf?arnumber=10409307","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,2,1]],"date-time":"2024-02-01T06:22:10Z","timestamp":1706768530000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/10409307\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,12,13]]},"references-count":42,"URL":"https:\/\/doi.org\/10.1109\/asianhost59942.2023.10409307","relation":{},"subject":[],"published":{"date-parts":[[2023,12,13]]}}}