TY - RPRT TI - RuC: HDL-Agnostic Rule Completion Benchmark Generation AU - Arnau Ayguadé Domingo AU - Miquel Alberti-Binimelis AU - Cristian Gutierrez-Gomez AU - Emanuele Parisi AU - Razine Moundir Ghorab AU - Miquel Moreto AU - Gokcen Kestor AU - Dario Garcia-Gasulla PY - 2026 UR - https://arxiv.org/abs/2604.27780 ID - 2604.27780 ER -