Formal Verification Engineer
- Location
- Cambridge, England, United Kingdom
design verification; a keen interest in processors and digital systems; and excellent attention to detail and reasoning skills Solid understanding of fundamental verification concepts, computer architecture, and microarchitectural design Ability to translate abstract formal concepts into practical, 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 Accommodations at Arm At Arm, we want to build extraordinary ...