Lead GPU Formal Verification Engineer
- Location
- Cambridge, England, United Kingdom
Design community and peers. Drive cross‐department innovation and collaboration inside AMD. PREFERRED EXPERIENCE: In‐depth knowledge in formal verification algorithms, engines and use cases Proven expertise in system Verilog assertion and abstract model development Expert user of formal verification tools from both academia and EDA vendors (JasperGold … processor. Comprehensive knowledge of computer architecture and graphics pipeline Proven expertise in developing formal verification infrastructure for FPV, DPV, SEV and other use cases is strongly preferred ACADEMIC CREDENTIALS: Undergraduate degree required. Master or PhD degree in Computer Science, Computer Engineering or Electrical Engineering preferred LOCATION Cambridge, United ...