TY - RPRT TI - Structural Verification for Reliable EDA Code Generation without Tool-in-the-Loop Debugging AU - Dinithi Jayasuriya AU - Aravind Saravanan AU - Nilesh Ahuja AU - Amanda Rios AU - Amit Trivedi PY - 2026 UR - https://arxiv.org/abs/2604.18834 ID - 2604.18834 ER -