Senior Formal Verification Engineer
NVIDIAJob Title
Senior Formal Verification Engineer
Role Summary
NVIDIA seeks a Formal Verification Engineer to verify the design and implementation of cutting-edge CPUs and High Performance Computing Solutions. This role involves working closely with a team to implement formal verification methodologies, ensuring functional correctness in next-generation chip designs.
Experience Level
Senior level with 7+ years of experience in relevant fields.
Responsibilities
The key responsibilities include:
- Identifying key behaviors for verification and writing clear test plans for complex designs.
- Implementing test plans using advanced formal techniques.
- Developing abstraction models to overcome complexity challenges.
- Debugging RTL to identify failure scenarios.
- Contributing to flow and script development to enhance team efficiency.
- Communicating formal verification coverage effectively.
Requirements
The ideal candidate will possess:
- BS/MS/PhD with 7+ years of experience in CS/CE/EE/Mathematics.
- Strong understanding of GPU/CPU architectures.
- Knowledge of formal verification methodologies.
- Experience with Verilog/System Verilog HDLs and temporal logic assertions.
- Proficiency in scripting languages such as TCL, Perl, and Python.
- Familiarity with Formal Verification Tools (e.g., Jasper Gold, VC Formal) is preferred.
- Strong analytical and interpersonal skills.
Education Requirements
BS, MS, or PhD in Computer Science, Computer Engineering, Electrical Engineering, Mathematics, or equivalent experience.
About the Company
Company: NVIDIA
Headquarters: Santa Clara, California, USA
NVIDIA is a global leader in accelerated computing, renowned for its innovative solutions in AI and digital twins that transform diverse industries. The company specializes in networking technologies, providing end-to-end InfiniBand and Ethernet solutions for servers and storage that optimize performance and scalability. NVIDIA serves sectors such as high-performance computing, enterprise data centers, and cloud computing, constantly reinventing its products and services to stay ahead in the market.
