@misc{indiciae80e7fbde067f,
  title = {Structural Verification for Reliable EDA Code Generation without Tool-in-the-Loop Debugging},
  author = {Dinithi Jayasuriya and Aravind Saravanan and Nilesh Ahuja and Amanda Rios and Amit Trivedi},
  year = {2026},
  url = {https://arxiv.org/abs/2604.18834},
  note = {Source identifier: 2604.18834}
}