Formal Verification Engineer
NVIDIAJob Title
Formal Verification Engineer
Role Summary
Join NVIDIA's Hardware Engineering team to develop and apply formal verification methodologies for digital designs, IP blocks, and SoCs. The role focuses on creating and executing verification plans, collaborating with RTL designers, and driving verification closure across teams.
Experience Level
Entry-level — early-career engineer with 1+ year of relevant industry experience.
Responsibilities
Primary responsibilities include planning and executing formal verification on complex designs and coordinating with design and verification teams.
- Develop and execute robust formal verification test plans for IP blocks and SoCs.
- Apply state-of-the-art formal methodologies and appropriate abstraction techniques.
- Work with RTL designers to verify designs and investigate exceptions.
- Write and maintain temporal logic assertions and checkers.
- Coordinate with other verification engineers to achieve verification closure.
- Document results and contribute to verification best practices.
Requirements
Must-have technical skills and experience.
- 1+ year of hands-on verification experience.
- Hands-on experience with HDLs such as Verilog and SystemVerilog.
- Strong analytical and problem-solving skills.
- Ability to understand RTL quickly.
- Familiarity with abstraction techniques for effective verification.
- Understanding of temporal logic assertions (e.g., SVA, LTL).
Education Requirements
B.Tech. or M.Tech. in Electrical Engineering or Computer Science is required (the posting specifies B.Tech./M.Tech. in EE/CS with 1+ year of 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.
