שליחה במסרון: Detection and Repair of Defects in Register Transfer Level Code Using Static Analysis and Generative AI