Formal Verification Engineer

The NVIDIA GPU clocks group is looking for excellent Senior Formal Verification engineers to join the team. The Team is responsible for crafting all aspects of GPU clocking. The team collaborates with the frontend design team to understand the clocking requirements for the chip. We also understand the physical restrictions being placed on the clocks by the backend teams. The GPU clocks group architects, designs and validates the clocks RTL. The complexity of clocks RTL has increased many folds to support our features that power our product lines ranging from consumer graphics to self-driving cars and the growing field of artificial intelligence. What you’ll be doing: Understand key design behaviors from formal verification view to write clear test plans, and implement them using the latest formal techniques, including the development of environment assumptions, assertions and cover properties. Develop abstraction models to overcome complexity challenges and obtain full proofs, or bounded proofs with sufficient coverage. Debug RTL to identify causes of failure scenarios and finish coverage sign-off. Drive tools to realize their best performance. Contribute to flow and script development to improve team efficiency. Work with architects, designers and others to guarantee good deliverable quality. What we need to see: BS / MS in CS/CE/EE/Mathematics and related with 3+ years of ASIC verification experience. Knowledge of formal verification methodologies and techniques, preferable experience with Formal Verification Tools (e.g. Jasper Gold, VC Formal ).