Back

GPU Formal Design Verification Engineer

AppleApple·Consumer Electronics

Apply effort

~12 min

Company site

Posted

129 days

01

About the role

Summary

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.

Description

In this role you will: - Work with the design team to review and enhance specifications. - Develop verification plans in coordination with design leads, verification leads and micro-architects. - Develop and drive to completion formal verification across multiple design blocks. - Conduct formal verification reviews with design and verification teams. - 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.

Minimum Qualifications

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.

Preferred Qualifications

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.

Skills & Tags

02

Aplyr's read

Apple is a tech giant known for its sleek design and innovation, attracting top talent in engineering, design, and business operations.

Synthesized from recent postings & public sources

What's promising

  • Apple consistently leads in tech innovation with a strong focus on design and user experience.
  • The company's global brand recognition offers employees a prestigious platform for career growth.
  • Apple's robust ecosystem integrates hardware, software, and services, creating diverse job opportunities.

What to watch

  • High-pressure work environment with demanding deadlines can impact work-life balance.
  • Apple's secretive culture may limit transparency and cross-departmental communication.
  • Dependence on hardware sales makes the company vulnerable to market saturation risks.

Why Apple

  • Apple's design philosophy emphasizes simplicity and elegance, setting it apart in the tech industry.
  • The company has a unique retail presence with its own stores enhancing customer experience.
  • Apple's closed ecosystem creates a seamless integration across its products, unmatched by competitors.

Aplyr’s read is generated by AI from public sources. Was it useful?

03

About Apple

AAPL$298.01+0.70%

Apple Inc. is a leading technology company known for its innovative consumer electronics, software, and services. The company designs and manufactures products such as the iPhone, iPad, Mac computers, and wearables, significantly influencing the tech industry and consumer behavior worldwide.

04

Similar roles