Senior Formal Verification Engineer

📋 Description

• • As a Senior Formal Verification Engineer at NVIDIA Corporation, you will be at the forefront of ensuring the functional correctness and completeness of industry-leading CPUs and high-performance computing solutions. This pivotal role involves leveraging cutting-edge formal verification methodologies and tools to tackle the inherent complexities of next-generation chip designs.
• • You will be instrumental in defining the scope of verification, crafting clear test plans that identify key design behaviors requiring rigorous scrutiny. This requires a deep understanding of complex design architectures and the ability to translate these into effective verification strategies.
• • A core responsibility will be the implementation of these test plans using advanced formal techniques. This includes the meticulous development of environment assumptions, assertions, and cover properties, which are crucial for proving design correctness and achieving comprehensive verification coverage.
• • To overcome the challenges posed by highly complex designs, you will develop and apply sophisticated abstraction models. These models are essential for achieving full proofs or, where full proofs are not feasible, bounded proofs that offer sufficient coverage and confidence in the design's integrity.
• • You will be expected to drive formal verification tools to their maximum performance potential, optimizing their usage to accelerate the verification process and uncover potential issues efficiently.
• • A significant part of the role involves debugging RTL (Register Transfer Level) code to pinpoint the root causes of failure scenarios identified during the verification process. This requires strong analytical and problem-solving skills to quickly diagnose and resolve design flaws.
• • To enhance team efficiency and streamline workflows, you will contribute to the development of improved flows and scripting solutions. This proactive approach to process improvement is vital in a fast-paced engineering environment.
• • You will play a key role in communicating the formal verification coverage and findings of the design to various partners, including architects, designers, and pre- & post-silicon verification teams. Clear and concise communication is paramount to ensuring alignment and successful project outcomes.
• • This position offers the opportunity to work with some of the most resourceful and talented engineers in the world, contributing to technologies that define the future of computing.
• • You will be empowered to be creative, autonomous, and embrace challenging problems, embodying NVIDIA's culture of innovation and excellence.
• • The role demands a proactive and collaborative spirit, working effectively within a distributed team environment, contributing to a shared goal of delivering high-quality, robust chip designs.
• • Your work will directly impact the reliability and performance of NVIDIA's flagship products, ensuring they meet the highest standards of quality and innovation in the competitive high-performance computing market.
• • You will gain exposure to a wide array of advanced verification techniques and tools, fostering continuous learning and professional growth in the specialized field of formal verification.
• • The ability to understand and quickly grasp complex RTL designs is essential, enabling you to effectively apply formal methods and contribute meaningfully from the outset.
• • You will be part of a team that values meticulous attention to detail, a commitment to excellence, and a passion for pushing the boundaries of what's possible in hardware design and verification.
• • This role is ideal for an engineer who thrives in a challenging environment, enjoys deep technical problem-solving, and is eager to make a significant impact on groundbreaking technology.