Formal Verification Engineer

NVIDIA

Scroll down to apply

Gurugram / Bangalore, IndiaFreshers (New College Graduate)Best in Industry1 month ago

RoleFormal Verification Engineer (NCG)

LocationGurugram / Bangalore, India

ExperienceFreshers (New College Graduate)

QualificationB.E / B.Tech / M.E / M.Tech (EE/CS)

Salary / CTCBest in Industry

Job Description

As a Formal Verification Engineer at NVIDIA, you will be at the heart of our hardware design process. You will be responsible for applying best-in-class formal methodologies to verify complex digital designs, IP blocks, and SoCs. Your primary focus will be learning and implementing state-of-the-art verification techniques to ensure the mathematical correctness of our hardware. You will take ownership of developing robust test plans and working directly with the design team to achieve closure on some of the world’s most advanced silicon architectures.
You will utilize your knowledge of Verilog and System Verilog to understand RTL quickly and apply abstraction techniques for effective verification. A key part of this role involves working with temporal logic assertions to define design behavior and coordinating with global verification team members. This position offers a unique chance to push the frontiers of what is possible today while defining the hardware platforms of the future.

Apply advanced formal verification methodologies on complex digital designs and IP blocks.
Develop and execute robust test plans for hardware verification.
Collaborate closely with design teams to identify and resolve architectural flaws.
Write and verify System Verilog (SV) assertions and temporal logic.
Use abstraction techniques to manage complexity in large-scale SoC verification.
Coordinate with global verification teams to ensure design closure and quality.
Learn and adopt state-of-the-art formal tools and workflows used at NVIDIA.

Education: B.Tech or M.Tech in Electrical Engineering, Computer Science, or related technical fields.
HDL Proficiency: Hands-on experience with Verilog or System Verilog .
RTL Knowledge: Ability to read and understand Register Transfer Level (RTL) designs quickly.
Logic: Solid understanding of Temporal Logic Assertions (SVA/PSL).
Analytical: Strong problem-solving skills to tackle difficult architectural challenges.
Methodology: Understanding of abstraction techniques and formal verification basics.
Soft Skills: Excellent communication skills and the ability to work in a collaborative team environment.

Note: This job is posted on external sites. Joblit shares the listing for convenience and does not take responsibility for third-party content.