Detection and Repair of Defects in Register Transfer Level Code Using Static Analysis and Generative AI - Ahmad, Baleegh (ProQuest Dissertations and Theses, 2025)