@article{240912993,
  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 = {2024},
  eprint = {2409.12993},
  archivePrefix = {arXiv},
  url = {https://arxiv.org/abs/2409.12993v2},
}