GPU Formal Design Verification Engineer
Apple
GPU Formal Design Verification Engineer
Job Description
Do you love creating elegant solutions to highly complex challenges? As part of our Silicon Technologies group, you’ll help design and manufacture our next-generation, high-performance, power-efficient processor, system-on-chip (SoC)! You’ll ensure Apple products and services can seamlessly and expertly handle the tasks that make them beloved by millions. Joining this group means you’ll be responsible for crafting and building the technology that fuels Apple’s devices. Together, you and your team will enable our customers to do all the things they love with their devices! 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: - Work with the design team to review and enhance specifications. - Implement verification plans in coordination with design leads, verification leads and micro-architects. - Complete formal verification across multiple design blocks. - Conduct formal verification reviews with design and verification teams.
Locations
- Austin, Texas, United States 78727
Salary
Estimated Salary Rangemedium confidence
25,000,000 - 60,000,000 INR / yearly
Source: ai estimated
* This is an estimated range based on market data and may vary based on experience and qualifications.
Skills Required
- pre-silicon RTL verificationintermediate
- formal verificationintermediate
- property checking methodsintermediate
- micro-architectural analysisintermediate
- specification reviewintermediate
- verification planningintermediate
- formal verification reviewsintermediate
Required Qualifications
- BS degree in Computer Science, Computer Engineering, Electrical Engineering or equivalent field. (degree in computer science)
- Experience in programming/scripting languages. (experience)
Preferred Qualifications
- Knowledge of CPU or GPU design architectures, VLSI circuits, and digital logic design. (experience)
- Experience with HDLs such as Verilog/System Verilog and temporal logic assertion-based languages such as SVA. (experience)
- Exposure to formal verification and analysis of pipelined micro-architectures, MMUs, and cache coherency control mechanisms. (experience)
- Experience with formal tools, such as JasperGold, IFV, etc. (experience)
- Experience using academic formal verification tools. (experience)
- Understanding of abstraction techniques and formal verification technologies. (experience)
- Experience in reviewing and interpreting design specifications. (experience)
- Knowledge of constrained random verification methods. (experience)
- Ability to collaborate across teams. (experience)
Responsibilities
- In this role you will:
- - Work with the design team to review and enhance specifications.
- - Implement verification plans in coordination with design leads, verification leads and micro-architects.
- - Complete formal verification across multiple design blocks.
- - Conduct formal verification reviews with design and verification teams.
Tags & Categories
Answer 10 quick questions to check your fit for GPU Formal Design Verification Engineer @ Apple.
10 Questions
~2 Minutes
Instant Score
Related Books and Jobs
GPU Formal Design Verification Engineer
Apple
GPU Formal Design Verification Engineer
Job Description
Do you love creating elegant solutions to highly complex challenges? As part of our Silicon Technologies group, you’ll help design and manufacture our next-generation, high-performance, power-efficient processor, system-on-chip (SoC)! You’ll ensure Apple products and services can seamlessly and expertly handle the tasks that make them beloved by millions. Joining this group means you’ll be responsible for crafting and building the technology that fuels Apple’s devices. Together, you and your team will enable our customers to do all the things they love with their devices! 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: - Work with the design team to review and enhance specifications. - Implement verification plans in coordination with design leads, verification leads and micro-architects. - Complete formal verification across multiple design blocks. - Conduct formal verification reviews with design and verification teams.
Locations
- Austin, Texas, United States 78727
Salary
Estimated Salary Rangemedium confidence
25,000,000 - 60,000,000 INR / yearly
Source: ai estimated
* This is an estimated range based on market data and may vary based on experience and qualifications.
Skills Required
- pre-silicon RTL verificationintermediate
- formal verificationintermediate
- property checking methodsintermediate
- micro-architectural analysisintermediate
- specification reviewintermediate
- verification planningintermediate
- formal verification reviewsintermediate
Required Qualifications
- BS degree in Computer Science, Computer Engineering, Electrical Engineering or equivalent field. (degree in computer science)
- Experience in programming/scripting languages. (experience)
Preferred Qualifications
- Knowledge of CPU or GPU design architectures, VLSI circuits, and digital logic design. (experience)
- Experience with HDLs such as Verilog/System Verilog and temporal logic assertion-based languages such as SVA. (experience)
- Exposure to formal verification and analysis of pipelined micro-architectures, MMUs, and cache coherency control mechanisms. (experience)
- Experience with formal tools, such as JasperGold, IFV, etc. (experience)
- Experience using academic formal verification tools. (experience)
- Understanding of abstraction techniques and formal verification technologies. (experience)
- Experience in reviewing and interpreting design specifications. (experience)
- Knowledge of constrained random verification methods. (experience)
- Ability to collaborate across teams. (experience)
Responsibilities
- In this role you will:
- - Work with the design team to review and enhance specifications.
- - Implement verification plans in coordination with design leads, verification leads and micro-architects.
- - Complete formal verification across multiple design blocks.
- - Conduct formal verification reviews with design and verification teams.
Tags & Categories
Answer 10 quick questions to check your fit for GPU Formal Design Verification Engineer @ Apple.
10 Questions
~2 Minutes
Instant Score
Related Books and Jobs