Lead GPU Formal Verification Engineer
- Location
- Cambridge, England, United Kingdom
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, VC formal, Murphi, theorem prover) Proven track ...