Expoint – all jobs in one place
Finding the best job has never been easier
Limitless High-tech career opportunities - Expoint

Apple GPU Formal Design Verification Engineer 
United States, Texas, Austin 
644034379

Yesterday
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:- Implement verification plans in coordination with design leads, verification leads and micro-architects.- Complete formal verification across multiple design blocks.
  • BS degree in Computer Science, Computer Engineering, Electrical Engineering or equivalent field.
  • Experience in programming/scripting languages.
  • Knowledge of CPU or GPU design architectures, VLSI circuits, and digital logic design.
  • Experience with HDLs such as Verilog/System Verilog and temporal logic assertion-based languages such as SVA.
  • Exposure to formal verification and analysis of pipelined micro-architectures, MMUs, and cache coherency control mechanisms.
  • Experience with formal tools, such as JasperGold, IFV, etc.
  • Experience using academic formal verification tools.
  • Understanding of abstraction techniques and formal verification technologies.
  • Experience in reviewing and interpreting design specifications.
  • Knowledge of constrained random verification methods.
  • Ability to collaborate across teams.