Apple-posted 2 months ago
Mid Level
Austin, TX
5,001-10,000 employees
Computer and Electronic Product Manufacturing

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!

  • 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.
  • 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.
© 2024 Teal Labs, Inc
Privacy PolicyTerms of Service