{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,5]],"date-time":"2026-06-05T15:33:18Z","timestamp":1780673598180,"version":"3.54.1"},"publisher-location":"New York, NY, USA","reference-count":20,"publisher":"ACM","license":[{"start":{"date-parts":[[2024,6,12]],"date-time":"2024-06-12T00:00:00Z","timestamp":1718150400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/"}],"funder":[{"name":"Technology Innovation Institute (TII)","award":["N\/A"],"award-info":[{"award-number":["N\/A"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2024,6,12]]},"DOI":"10.1145\/3649476.3660378","type":"proceedings-article","created":{"date-parts":[[2024,6,10]],"date-time":"2024-06-10T12:29:41Z","timestamp":1718022581000},"page":"233-239","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":5,"title":["Assert-O: Context-based Assertion Optimization using LLMs"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0009-0009-7533-376X","authenticated-orcid":false,"given":"Samit Shahnawaz","family":"Miftah","sequence":"first","affiliation":[{"name":"Electrical and Computer Engineering, University of Texas at Dallas, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0009-0008-9231-6331","authenticated-orcid":false,"given":"Amisha","family":"Srivastava","sequence":"additional","affiliation":[{"name":"Electrical and Computer Engineering, University of Texas at Dallas, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0009-0008-1549-9277","authenticated-orcid":false,"given":"Hyunmin","family":"Kim","sequence":"additional","affiliation":[{"name":"Technology Innovation Institute, United Arab Emirates"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-6431-7512","authenticated-orcid":false,"given":"Kanad","family":"Basu","sequence":"additional","affiliation":[{"name":"Electrical and Computer Engineering, University of Texas at Dallas, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2024,6,12]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"Baleegh Ahmad 2023. Fixing Hardware Security Bugs with Large Language Models. arxiv:2302.01215\u00a0[cs.CR]"},{"key":"e_1_3_2_1_2_1","unstructured":"Ebtesam Almazrouei 2023. The Falcon Series of Language Models: Towards Open Frontier Models. (2023)."},{"key":"e_1_3_2_1_3_1","volume-title":"Chip-Chat: Challenges and Opportunities in Conversational Hardware Design. arXiv preprint arXiv:2305.13243","author":"Jason Blocklove","year":"2023","unstructured":"Jason Blocklove 2023. Chip-Chat: Challenges and Opportunities in Conversational Hardware Design. arXiv preprint arXiv:2305.13243 (2023)."},{"key":"e_1_3_2_1_4_1","volume-title":"A survey on evaluation of large language models. arXiv preprint arXiv:2307.03109","author":"Yupeng Chang","year":"2023","unstructured":"Yupeng Chang 2023. A survey on evaluation of large language models. arXiv preprint arXiv:2307.03109 (2023)."},{"key":"e_1_3_2_1_5_1","volume-title":"28th USENIX Security Symposium (USENIX Security 19)","author":"Dessouky Ghada","year":"2019","unstructured":"Ghada Dessouky 2019. { HardFails} : Insights into { Software-Exploitable} Hardware Bugs. In 28th USENIX Security Symposium (USENIX Security 19). 213\u2013230."},{"key":"e_1_3_2_1_6_1","volume-title":"Bert: Pre-training of deep bidirectional transformers for language understanding. arXiv preprint arXiv:1810.04805","author":"Devlin Jacob","year":"2018","unstructured":"Jacob Devlin, Ming-Wei Chang, Kenton Lee, and Kristina Toutanova. 2018. Bert: Pre-training of deep bidirectional transformers for language understanding. arXiv preprint arXiv:1810.04805 (2018)."},{"key":"e_1_3_2_1_7_1","volume-title":"Challenges and applications of large language models. arXiv preprint arXiv:2307.10169","author":"Jean Kaddour","year":"2023","unstructured":"Jean Kaddour 2023. Challenges and applications of large language models. arXiv preprint arXiv:2307.10169 (2023)."},{"key":"e_1_3_2_1_8_1","unstructured":"Rahul Kande 2023. LLM-assisted Generation of Hardware Assertions. arxiv:2306.14027\u00a0[cs.CR]"},{"key":"e_1_3_2_1_9_1","volume-title":"Chipnemo: Domain-adapted llms for chip design. arXiv preprint arXiv:2311.00176","author":"Mingjie Liu","year":"2023","unstructured":"Mingjie Liu 2023. Chipnemo: Domain-adapted llms for chip design. arXiv preprint arXiv:2311.00176 (2023)."},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"crossref","unstructured":"Peter Mell 2007. A complete guide to the common vulnerability scoring system version 2.0. In Published by FIRST-forum of incident response and security teams Vol.\u00a01. 23.","DOI":"10.1049\/iet-ifs:20060055"},{"key":"e_1_3_2_1_11_1","unstructured":"Xingyu Meng 2023. Unlocking Hardware Security Assurance: The Potential of LLMs. arxiv:2308.11042\u00a0[cs.CR]"},{"key":"e_1_3_2_1_12_1","unstructured":"OpenTitan [n. d.]. Documentation | OpenTitan. https:\/\/opentitan.org\/documentation\/index.html"},{"key":"e_1_3_2_1_13_1","unstructured":"Hammond Pearce 2022. Pop Quiz! Can a Large Language Model Help With Reverse Engineering?arxiv:2202.01142\u00a0[cs.SE]"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1109\/SP46215.2023.10179324"},{"key":"e_1_3_2_1_15_1","volume-title":"Synchromesh: Reliable code generation from pre-trained language models. arXiv preprint arXiv:2201.11227","author":"Gabriel Poesia","year":"2022","unstructured":"Gabriel Poesia 2022. Synchromesh: Reliable code generation from pre-trained language models. arXiv preprint arXiv:2201.11227 (2022)."},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.3390\/fi15060192"},{"key":"e_1_3_2_1_17_1","volume-title":"Llm for soc security: A paradigm shift. arXiv preprint arXiv:2310.06046","author":"Dipayan Saha","year":"2023","unstructured":"Dipayan Saha 2023. Llm for soc security: A paradigm shift. arXiv preprint arXiv:2310.06046 (2023)."},{"key":"e_1_3_2_1_18_1","unstructured":"Amisha Srivastava 2023. SCAR: Power Side-Channel Analysis at RTL-Level. arxiv:2310.06257\u00a0[cs.CR]"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.23919\/DATE56975.2023.10137086"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/3510578"}],"event":{"name":"GLSVLSI '24: Great Lakes Symposium on VLSI 2024","location":"Clearwater FL USA","acronym":"GLSVLSI '24","sponsor":["SIGDA ACM Special Interest Group on Design Automation"]},"container-title":["Proceedings of the Great Lakes Symposium on VLSI 2024"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3649476.3660378","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3649476.3660378","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,8,22]],"date-time":"2025-08-22T02:31:09Z","timestamp":1755829869000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3649476.3660378"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,6,12]]},"references-count":20,"alternative-id":["10.1145\/3649476.3660378","10.1145\/3649476"],"URL":"https:\/\/doi.org\/10.1145\/3649476.3660378","relation":{},"subject":[],"published":{"date-parts":[[2024,6,12]]},"assertion":[{"value":"2024-06-12","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}