Senior Formal Verification Engineer - LPU
Core
Verifying AI-related sophisticated ASIC builds and features using advanced formal verification methods to ensure critical properties align with specifications.
Role type
Senior IC formal verification engineer (ASIC/GPU)
Builds
AI-related ASIC builds and features
Domain
Semiconductor hardware design (ASIC/GPU) and formal verification
Deliverable
production ML models
Required skills
SystemVerilog Assertions (SVA), formal property verification, formal verification tools (JasperGold, VC Formal), ASIC verification, AI tool application
Preferred skills
Full-cycle formal sign-off, FPV apps, datapath verification, GPU or LPU architecture knowledge
Technologies
SystemVerilog, JasperGold, VC Formal
Responsibilities
Collaborate with architecture and RTL teams to specify properties and resolve complex issues; Develop advanced formal verification environments and automated flows; Support silicon bring-up and debug using formal methods
Seniority
Senior, hands-on IC
