Senior Formal Verification Engineer
Core
Formally verify complex hardware designs and micro-architectures using advanced property proving techniques and lightweight FV tools.
Role type
Senior IC formal verification engineer (hardware)
Builds
Verified RTL logic implementations for NVIDIA GPUs and AI computing platforms
Domain
Semiconductor hardware design and verification
Deliverable
production ML models | product features
Required skills
Hardware micro-architecture knowledge, formal verification methodologies, complexity reduction techniques, formal property verification, testplan creation, formal testbench development, counter-example root-cause analysis, functional coverage analysis
Preferred skills
Python/Perl/shell scripting, debugging and problem solving
Technologies
Formal verification tools (vendor and internal), RTL logic
Responsibilities
Decide on best applications of formal verification techniques for design parts; review specifications and define verification scope; build testbenches and apply abstraction techniques; apply formal coverage techniques; design functional verification flows involving vendor and internal tools
Seniority
Senior, hands-on IC
