המקום בו המומחים והחברות הטובות ביותר נפגשים
Apple GPU Formal Design Verification Engineer United States, Texas, Austin 342391087
08.06.2025
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.
משרות נוספות שיכולות לעניין אותך
