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

Published in ACM/IEEE Workshop on Machine Learning for CAD (MLCAD), 2025

RAG and fine-tuning for translating natural-language specifications into SystemVerilog assertions.