Formal Verification Engineer

Quick Facts

• Role: Formal Verification Engineer

• Focus: End-to-end formal verification for SoC design blocks and IPs

• Key themes: micro-architecture specification, property proving, security robustness modeling, reusable verification models

Description

As a formal verification engineer, you will perform complete formal verification for one or multiple SoC design blocks and IPs (e.g., CPU, GPU, Cellular/Connectivity, Audio/Image, Neural Networks, Memory/DMA, Security, Peripherals, Interconnects, and power management). You will develop formal micro-architecture specifications and create verification test plans that include security requirement verification. You will prove properties, find design bugs, and partner with design teams to improve micro-architecture robustness, including modeling security attacks.

Responsibilities

• Develop formal micro-architecture specifications with design engineers

• Create comprehensive formal verification test plans, including unique security requirement verification

• Prove design properties, identify design bugs, and collaborate to improve micro-architecture

• Craft novel modeling approaches for security attacks and prove robustness of complex micro-architectures

• Develop and implement reusable, optimized formal models and verification code base

• Architect correct-by-construction design methodologies to improve verification efficiency and productivity

Requirements

• Bachelor’s degree

• Minimum 3 years of relevant industry experience in silicon validation software engineering or a related field

• Interest in learning and becoming an expert in SoC, CPU, GPU, or Cellular design

• Detail oriented approach and ability to overcome complex challenges

• Knowledge and experience interpreting hardware specifications

• Proficiency in at least one scripting language with excellent debugging skills

• Excellent interpersonal skills

• Passionate about developing innovative, world-class formal verification solutions

Benefits

• Learn from a world-class Formal Verification team and gain experience at the center of SoC design verification in close collaboration with design