1 of 1 Electronic Design Automation Jobs in Hertfordshire

to help deliver the next groundbreaking Apple product. Description As a formal verification technical lead, you'll work to identify targets and complete formal verification for single or multiple design blocks and IPs (CPU, Cellular and Connectivity IP, Audio and Image Processing IP, Neural Networks IP, Memory/DMA Controller, Security IP, Peripheral IP, Interconnects, Power management subsystems, etc. … . You will be responsible for: Working with Apple's design engineers to develop a formal micro-architecture specification. Formalizing the refinement from architecture to micro-architecture. Developing comprehensive formal verification test plans. Proving properties of the design, finding bugs, and collaborating with design teams to improve the micro-architecture. Crafting innovative solutions for verifying complex design … coherence mechanisms. Knowledge of formal verification technologies and abstraction techniques. Ability to interpret hardware specifications and use temporal logic assertion-based languages such as SVA or PSL. Experience with EDA formal tools; tool development experience is a plus. Proficiency in scripting languages and debugging skills. Excellent interpersonal skills and a passion for developing innovative formal verification solutions. Understanding of application More ❯