@misc{indiciaecd8602b20b55, title = {LAAG-RV: LLM Assisted Assertion Generation for RTL Design Verification}, author = {Karthik Maddala and Bhabesh Mali and Chandan Karfa}, year = {2024}, url = {https://arxiv.org/abs/2409.15281}, note = {Source identifier: 2409.15281} }