@misc{indiciaed045107228f0,
  title = {CraftRTL: High-quality Synthetic Data Generation for Verilog Code Models with Correct-by-Construction Non-Textual Representations and Targeted Code Repair},
  author = {Mingjie Liu and Yun-Da Tsai and Wenfei Zhou and Haoxing Ren},
  year = {2025},
  url = {https://arxiv.org/abs/2409.12993},
  note = {Source identifier: 2409.12993}
}