מציאת משרת הייטק בחברות הטובות ביותר מעולם לא הייתה קלה יותר
Apple CAD Engineer - Formal Verification United States, Oregon, Beaverton 367672933
Today
Core Responsibilities- You will be responsible for developing, maintaining, and enhancing an existing system of executing a formal verification tool- You will help out with supporting our existing Jasper reset analysis, SEC and formal proofing flows- You will utilize your debugging experience to debug vendor tool problems and interact with designers/formal verification team to help solve their problems
- 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
- Ability to develop solutions end-to-end
- Expertise in Jasper or VC Formal products is highly desirable
- Experience in formal verification is a plus
- Prior customer support experience is a plus
- Experience with DevOps flows is a plus
- Comfortable with co-developing an existing system
- Understanding of the tool flows from RTL generators, simulation and formal verification tools is a plus
משרות נוספות שיכולות לעניין אותך
