Senior Formal Verification Engineer (CPU group)
- Hiring Organisation
- ARM
- Location
- Cambridge, Cambridgeshire, UK
- Employment Type
- Full-time
effective design verification solutions"Nice To Have" Skills and Experience: Experience with industry-standard formal verification toolsProficiency in scripting languages such as Python, Perl, Tcl, or ShellFamiliarity with the Arm architecture and AMBA protocolsKnowledge of complex model-checking techniquesUnderstanding of assume-guarantee reasoning, invariants, and abstractionsIn Return: You'll have ...