Formal Verification Engineer
- 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 ...