Structural Verification for Reliable EDA Code Generation without Tool-in-the-Loop Debugging. - Dinithi Jayasuriya; Aravind Saravanan; Nilesh A. Ahuja; Amanda Rios; Amit Ranjan Trivedi (CoRR, 2026)