nwang227

VeriDebug: A Unified LLM for Verilog Debugging via Contrastive Embedding and Guided Correction

Models and data for the paper "Insights from Verification: Training a Verilog Generation LLM with Reinforcement Learning from Testbench Feedback"