CAD Engineer - Formal Verification

Job Description

The CAD engineering role at Apple involves developing and maintaining flows for formal verification to support the creation of next-generation Apple products.

Requirements

• Experience scripting in Python, Perl, Kotlin, or TCL
• Experience in Software Development with Test in-mind
• Experience in Verilog and System Verilog
• Minimum requirement of BS and 10+ years of relevant industry experience

Responsibilities

• Developing, maintaining, and enhancing an existing system of executing a formal verification tool
• Supporting existing Jasper reset analysis, SEC, and formal proofing flows
• Debugging vendor tool problems and interacting with designers/formal verification team to help solve their problems