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.