Description
As a Senior Formal Verification Engineer at NVIDIA, you will verify the build and implementation of the industry's leading GPUs. Your responsibilities will include verifying the micro-architecture using formal verification tools, defining the verification scope, and ensuring correctness.
You will employ sophisticated formal techniques to acquire sufficiently bounded proofs while working with architects, designers, and pre- & post-silicon verification teams. You will efficiently complete the formal verification effort for the entire project cycle, delivering high-quality results on schedule, and clearly conveying those results to the team.
Key Responsibilities:
- Identify key behaviours for verification to write clear test plans for sophisticated designs.
- Implement test plans 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 proofs, or bounded proofs with sufficient coverage.
- Drive formal tools to realise 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:
- BS/MS/PhD or equivalent experience in CS/CE/EE/Mathematics with 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 tackle sophisticated problems.
- Excellent command of scripting using TCL, Perl, and/or Python.
- Excellent written and verbal communication.
- Able to optimally collaborate and work in a distributed team!
NVIDIA offers highly competitive salaries and a comprehensive benefits package, including equity and benefits.