@article{enhancinglargelanguagemodelsforhardware, title = {Enhancing Large Language Models for Hardware Verification: A Novel SystemVerilog Assertion Dataset}, author = {Anand Menon and Samit S Miftah and Shamik Kundu and Souvik Kundu and Amisha Srivastava and Arnab Raha and Gabriel Theodor Sonnenschein and Suvadeep Banerjee and Deepak Mathaikutty and Kanad Basu}, year = {2025}, eprint = {2503.08923}, archivePrefix = {arXiv}, url = {https://arxiv.org/abs/2503.08923v1}, }