Drive innovation at NVIDIA as a Senior ASIC Verification Engineer, focusing on cutting-edge AI designs using formal verification. Collaborate closely to ensure accuracy and enhance verification methodologies.
In this senior role, you will verify sophisticated ASIC designs for AI applications at NVIDIA, a leader in accelerated computing. The position demands expertise in formal verification methods and collaboration with various teams, including architecture and RTL. You'll be responsible for defining verification scopes, implementing advanced methodologies, and mentoring junior engineers, all while delivering high-quality results within deadlines.
Key Responsibilities:
- Verify AI-related ASIC designs utilizing formal verification methods
- Collaborate with architecture and RTL teams on design specifications
- Execute formal verification to ensure adherence to specifications
- Articulate verification coverage to relevant partners
- Mentor junior engineers in formal techniques and methodologies
Requirements:
- BS/MS/PhD in CS/CE/EE or equivalent experience
- 12+ years in ASIC verification, 8+ focused on formal methods
- Mastery of SystemVerilog Assertions (SVA)
- Proficiency in formal verification tools such as JasperGold
- Strong scripting skills in TCL or Python
Make a lasting impact with your formal verification expertise in AI at NVIDIA.
Senior ASIC Verification Engineer at NVIDIA in Ottawa employer: NVIDIA Corporation
NVIDIA is an exceptional employer for those looking to make a significant impact in the field of machine learning and compiler design. With a strong emphasis on innovation, employees benefit from a collaborative work culture that fosters creativity and professional growth, while being at the forefront of cutting-edge technology in a vibrant location. The company offers competitive compensation, comprehensive benefits, and opportunities to work alongside industry leaders, making it a rewarding place to advance your career.
