{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,5]],"date-time":"2026-06-05T06:00:27Z","timestamp":1780639227306,"version":"3.54.1"},"reference-count":34,"publisher":"IEEE","license":[{"start":{"date-parts":[[2026,4,20]],"date-time":"2026-04-20T00:00:00Z","timestamp":1776643200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2026,4,20]],"date-time":"2026-04-20T00:00:00Z","timestamp":1776643200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"funder":[{"DOI":"10.13039\/501100000038","name":"Natural Sciences and Engineering Research Council of Canada","doi-asserted-by":"publisher","id":[{"id":"10.13039\/501100000038","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2026,4,20]]},"DOI":"10.23919\/date69613.2026.11539183","type":"proceedings-article","created":{"date-parts":[[2026,6,4]],"date-time":"2026-06-04T19:53:10Z","timestamp":1780602790000},"page":"1-7","source":"Crossref","is-referenced-by-count":0,"title":["PALM: Program Analysis and LLM Methods for Crafting SystemVerilog Assertions"],"prefix":"10.23919","author":[{"given":"Raheel","family":"Afsharmazayejani","sequence":"first","affiliation":[{"name":"University of Calgary,Schulich School of Engineering,Department of Electrical and Software Engineering"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Benjamin","family":"Tan","sequence":"additional","affiliation":[{"name":"University of Calgary,Schulich School of Engineering,Department of Electrical and Software Engineering"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"263","reference":[{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.23919\/DATE56975.2023.10137086"},{"key":"ref2","first-page":"4043","article-title":"On Hardware Security Bug Code Fixes by Prompting Large Language Models","volume-title":"IEEE Transactions on Information Forensics and Security","volume":"19","author":"Ahmad","year":"2024"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1145\/3670474.3685956"},{"key":"ref4","first-page":"420","article-title":"Large Language Models for Hardware Security (Invited, Short Paper)","volume-title":"2024 IEEE 6th International Conference on Trust, Privacy and Security in Intelligent Systems, and Applications (TPS-ISA)","author":"Pearce"},{"key":"ref5","first-page":"116","article-title":"HSDL: A Security Development Lifecycle for hardware technologies","volume-title":"2012 IEEE International Symposium on Hardware-Oriented Security and Trust","author":"Khattri"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1145\/3670474.3685967"},{"key":"ref7","first-page":"155 498","article-title":"LLM for SoC Security: A Paradigm Shift","volume-title":"IEEE Access","volume":"12","author":"Saha","year":"2024"},{"key":"ref8","article-title":"DIVAS: An LLM-based End-to-End Framework for SoC Security Analysis and Policy-based Protection","author":"Paria","year":"2023"},{"key":"ref9","first-page":"4374","article-title":"(Security) Assertions by Large Language Models","volume-title":"IEEE Transactions on Information Forensics and Security","volume":"19","author":"Kande","year":"2024"},{"key":"ref10","first-page":"1713","article-title":"Transys: Leveraging Common Security Properties Across Hardware Designs","volume-title":"2020 IEEE Symposium on Security and Privacy (SP)","author":"Zhang"},{"key":"ref11","first-page":"1","article-title":"Automated Verilog Assertion Generation Using Fine-Tuned LLMs with Subtask-Specific Iterative Prompting","volume-title":"2025 26th International Symposium on Quality Electronic Design (ISQED)","author":"Shahidzadeh"},{"key":"ref12","article-title":"LASA: Enhancing SoC Security Verification with LLM-Aided Property Generation","author":"Ankireddy","year":"2025"},{"key":"ref13","article-title":"FLAG: Formal and LLM-assisted SVA Generation for Formal Specifications of On-Chip Communication Protocols","author":"Shih","year":"2025"},{"key":"ref14","first-page":"478","article-title":"Vacuity analysis for property qualification by mutation of checkers","volume-title":"2010 Design, Automation & Test in Europe Conference & Exhibition (DATE 2010)","author":"Di Guglielmo"},{"key":"ref15","doi-asserted-by":"crossref","DOI":"10.1109\/LAD62341.2024.10691792","article-title":"AssertLLM: Generating and Evaluating Hardware Verification Assertions from Design Specifications via Multi-LLMs","author":"Fang","year":"2024"},{"key":"ref16","article-title":"Spec2Assertion: Automatic Pre-RTL Assertion Generation using Large Language Models with Progressive Regularization","author":"Wu","year":"2025"},{"key":"ref17","first-page":"1794","article-title":"AGILE: Automated Assertion Generation to Detect Information Leakage Vulnerabilities","volume-title":"IEEE Transactions on Information Forensics and Security","volume":"19","author":"Dipu","year":"2024"},{"key":"ref18","doi-asserted-by":"crossref","DOI":"10.1109\/DAC18074.2021.9586118","article-title":"AutoSVA: Democratizing Formal Verification of RTL Module Interactions","author":"Orenes-Vera","year":"2021"},{"key":"ref19","first-page":"84","article-title":"ASAX: Automatic security assertion extraction for detecting Hardware Trojans","volume-title":"2018 23rd Asia and South Pacific Design Automation Conference (ASP-DAC)","author":"Wang"},{"key":"ref20","first-page":"1","article-title":"OpenAssert: Towards Secure Assertion Generation using Large Language Models","volume-title":"2025 IEEE 43rd VLSI Test Symposium (VTS)","author":"Menon"},{"key":"ref21","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":"ref22","doi-asserted-by":"crossref","DOI":"10.1109\/ISVLSI61997.2024.00130","article-title":"ChIRAAG: ChatGPT Informed Rapid and Automated Assertion Generation","author":"Mali","year":"2024"},{"key":"ref23","first-page":"126","article-title":"Hybrid Rule-based and Machine Learning System for Assertion Generation from Natural Language Specifications","volume-title":"2022 IEEE 31st Asian Test Symposium (ATS)","author":"Aditi"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-31095-0_6"},{"key":"ref25","first-page":"966","article-title":"GLAsT: Learning Formal Grammars to Translate Natural Language Specifications into Hardware Assertions","volume-title":"Proceedings of the 2016 Design, Automation & Test in Europe Conference & Exhibition (DATE)","author":"Harris"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1145\/3565801"},{"key":"ref27","article-title":"Security Properties for Open-Source Hardware Designs","author":"Rogers","year":"2024"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1145\/24039.24041"},{"key":"ref29","article-title":"slang C++ docs"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.2307\/1932409"},{"key":"ref31","article-title":"ChatGPT: Optimizing Language Models for Dialogue","year":"2022"},{"key":"ref32","article-title":"Trust-Hub.org"},{"key":"ref33","article-title":"Open source silicon root of trust (RoT) | OpenTitan"},{"key":"ref34","article-title":"CWE - CWE-Compatible Products and Services","year":"2020"}],"event":{"name":"2026 Design, Automation & Test in Europe Conference (DATE)","location":"Verona, Italy","start":{"date-parts":[[2026,4,20]]},"end":{"date-parts":[[2026,4,22]]}},"container-title":["2026 Design, Automation & Test in Europe Conference (DATE)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx8\/11539023\/11539024\/11539183.pdf?arnumber=11539183","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,6,5]],"date-time":"2026-06-05T05:07:06Z","timestamp":1780636026000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/11539183\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2026,4,20]]},"references-count":34,"URL":"https:\/\/doi.org\/10.23919\/date69613.2026.11539183","relation":{},"subject":[],"published":{"date-parts":[[2026,4,20]]}}}