{"total":15,"rows":[{"id":"2401.12224","title":"LLM4EDA: Emerging Progress in Large Language Models for Electronic Design Automation","created":"2023-12-28","cited_by_count":40,"area":null},{"id":"2310.06046","title":"LLM for SoC Security: A Paradigm Shift","created":"2023-10-09","cited_by_count":22,"area":null},{"id":"2402.00093","title":"ChIRAAG: ChatGPT Informed Rapid and Automated Assertion Generation","created":"2024-01-31","cited_by_count":16,"area":null},{"id":"2406.18627","title":"AssertionBench: A Benchmark to Evaluate Large-Language Models for Assertion Generation","created":"2024-06-26","cited_by_count":16,"area":null},{"id":"2503.19174","title":"AssertionForge: Enhancing Formal Verification Assertion Generation with Structured Representation of Specifications and RTL","created":"2025-03-24","cited_by_count":13,"area":null},{"id":"2410.23299","title":"FVEval: Understanding Language Model Capabilities in Formal Verification of Digital Hardware","created":"2024-10-15","cited_by_count":10,"area":null},{"id":"2406.10903","title":"New Solutions on LLM Acceleration, Optimization, and Application","created":"2024-06-16","cited_by_count":7,"area":null},{"id":"2408.10428","title":"Are LLMs Any Good for High-Level Synthesis?","created":"2024-08-19","cited_by_count":6,"area":null},{"id":"2502.20633","title":"Are LLMs Ready for Practical Adoption for Assertion Generation?","created":"2025-02-28","cited_by_count":6,"area":null},{"id":"2411.15442","title":"Automatic High-quality Verilog Assertion Generation through Subtask-Focused Fine-Tuned LLMs and Iterative Prompting","created":"2024-11-23","cited_by_count":4,"area":null},{"id":"2511.20284","title":"Can LLMs Make (Personalized) Access Control Decisions?","created":"2025-11-25","cited_by_count":4,"area":null},{"id":"2508.20030","title":"Large Language Models (LLMs) for Electronic Design Automation (EDA)","created":"2025-08-27","cited_by_count":3,"area":null},{"id":"2508.13092","title":"VerilogLAVD: LLM-Aided Rule Generation for Vulnerability Detection in Verilog","created":"2025-08-18","cited_by_count":2,"area":null},{"id":"2312.17353","title":"Towards Auto-Modeling of Formal Verification for NextG Protocols: A Multimodal cross- and self-attention Large Language Model Approach","created":"2023-12-28","cited_by_count":1,"area":null},{"id":"2512.02080","title":"The 4/$\\delta$ Bound: Designing Predictable LLM-Verifier Systems for Formal Method Guarantee","created":"2025-11-30","cited_by_count":1,"area":null}],"next_cursor":null}