TY  - RPRT
TI  - VeriThoughts: Enabling Automated Verilog Code Generation using Reasoning and Formal Verification
AU  - Patrick Yubeaton
AU  - Andre Nakkab
AU  - Weihua Xiao
AU  - Luca Collini
AU  - Ramesh Karri
AU  - Chinmay Hegde
AU  - Siddharth Garg
PY  - 2025
UR  - https://arxiv.org/abs/2505.20302
ID  - 2505.20302
ER  -