מציאת משרת הייטק בחברות הטובות ביותר מעולם לא הייתה קלה יותר
Apple GPU Formal Design Verification Engineer United States, Texas, Austin 342391087
Today
The Graphics Verification Engineer will be responsible for the pre-silicon RTL verification applying formal and property checking methods. This includes deep understanding of the micro-architectural details of their block and how it works within the broader GPU design.
In this role you will:- Develop verification plans in coordination with design leads, verification leads and micro-architects.- Develop and drive to completion formal verification across multiple design blocks.- Handle deliverables and work with multi-functional teams to support product requirements.- Create automated flows and infrastructure for formal verification.- Work with other block and core level engineers to ensure seamless verification flow.
- BS degree in Computer Science, Computer Engineering, Electrical Engineering or equivalent field + 3 years of relevant experience.
- Experience with CPU or GPU design architectures, VLSI circuits, and digital logic design.
- Experience with formal verification tools, such as JasperGold, IFV, etc.
- Experience in programming/scripting languages.
- Experience with HDLs such as Verilog/System Verilog and temporal logic assertion-based languages such as SVA.
- Experience in formal verification and analysis of pipelined micro-architectures, MMUs, and cache coherency control mechanisms.
- Experience with abstraction techniques and formal verification technologies.
- Experience in reviewing and interpreting design specifications.
- Experience using academic formal verification tools.
- Knowledge of constrained random verification methods.
- Ability to collaborate across multiple teams.
משרות נוספות שיכולות לעניין אותך
