The point where experts and best companies meet
Apple Senior Formal Verification Engineer United Kingdom, England, London 287719761
23.11.2024
Share
Minimum Qualifications
- Advanced knowledge of SoC/CPU/GPU designs, VLSI, and digital logic design and verification techniques
- Developed formal property proofs on industrial strength designs and architectures
- Deep understanding of pipeline architectures, memory/DMA controllers, out-of-order and speculative instruction execution hardware, bus interconnects, and cache coherence mechanisms
- Confirmed understanding of formal verification technologies/abstraction techniques
- Knowledge and experience in interpreting hardware specifications and using
- Temporal logic assertion-based languages such as SVA or PSL
- Experience in using EDA formal tools and tool development experience is a plus
- Proficiency in any scripting language with excellent debugging skills
- BS / MS / Ph.D in EE or CS is required
Preferred Qualifications
- Extraordinary teammate with excellent interpersonal skills
- Passionate about developing world-class/innovative formal verification solutions
These jobs might be a good fit
