Hybrid-NL2SVA: Integrating RAG and Finetuning for LLM-based NL2SVA

SystemVerilog Assertions (SVAs) are critical for verifying the correctness of hardware designs, but manually writing them from natural language property descriptions, i.e., NL2SVA, remains a labor-intensive and error-prone task. Recent advances in large language models (LLMs) offer opportunities to...

Celý popis

Podrobná bibliografie

Vydáno v:	2025 ACM/IEEE 7th Symposium on Machine Learning for CAD (MLCAD) s. 1 - 10
Hlavní autoři:	Xiao, Weihua, Ekberg, Derek, Garg, Siddharth, Karri, Ramesh
Médium:	Konferenční příspěvek
Jazyk:	angličtina
Vydáno:	IEEE 08.09.2025
Témata:	Aerodynamics Annotations Evaluation Dataset Fine-tuning Hardware design languages Large Language Model Large language models Retrieval augmented generation Semantics Solid modeling Syntactics SystemVerilog Assertion Translation Writing
On-line přístup:	Získat plný text
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!