 Transformers for Secure Hardware Systems: Applications, Challenges, and OutlookACM Great Lakes Symposium on VLSI (GLSVLSI), 2025 |
Enhancing Large Language Models for Hardware Verification: A Novel SystemVerilog Assertion DatasetACM Transactions on Design Automation of Electronic Systems (TODAES), 2025 |
