CAD Engineer - Formal Verification

Job Description

This job involves developing, maintaining, and enhancing formal verification CAD engineering solutions to support Apple's 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