Senior Formal Verification Engineer

About This Role

Verify the build and implementation of industry-leading GPUs by defining verification scope, using formal verification tools, and ensuring correctness. Employ sophisticated formal techniques to acquire bounded proofs while collaborating with various engineering teams.

Responsibilities

• Identify key behaviors for verification to write clear testplans for sophisticated designs
• Implement testplans using the latest formal techniques, including the development of environment assumptions, assertions, and cover properties
• Develop abstraction models to overcome complexity challenges and acquire full or bounded proofs with sufficient coverage
• Drive formal tools to realize their best performance
• Debug RTL to identify causes of failure scenarios
• Contribute to flow and script development to improve team efficiency
• Articulate formal verification coverage to partners

Requirements

• 5+ years of experience
• Understanding of GPU/CPU architectures and engineering workflows
• Experience with Verilog / System Verilog HDLs and able to understand sophisticated RTL quickly
• Experience with formal tools and knowledge of formal verification methodologies
• Able to implement abstraction techniques for effective verification
• Strong analytical skills to solve sophisticated problems
• Excellent command of scripting using TCL, Perl, and/or Python
• Excellent written and verbal communication
• Able to effectively collaborate and work in a distributed team

Qualifications

• BS/MS/PhD or equivalent experience in CS/CE/EE/Mathematics
• 5+ years of experience in CS/CE/EE/Mathematics

Skills

* Required skills

Benefits