Master Thesis: AI-Assisted Verification and Review of Electronic Hardware Designs at Magna International – Linkoping | Jobyssey