Senior Formal Verification Engineer (CPU group)
- Location
- Cambridge, England, United Kingdom
effective design verification solutions Nice‐to‐have skills and experience Experience with industry-standard formal verification tools Proficiency in scripting languages such as Python, Perl, Tcl, or Shell Familiarity with the Arm architecture and AMBA protocols Knowledge of sophisticated model-checking techniques Understanding of assume-guarantee reasoning, invariants, and abstractions ...