u/DogImpossible725

I got shortlisted for Formal Verification Engineer (new grad) at NVIDIA.
I have OA + interviews in ~4–5 days.

From what I’ve gathered, the role involves:

• Proving correctness of RTL using formal methods
• Requires Verilog + digital electronics basics
• OA may be math/aptitude + logic heavy

But I got this information using basic search and would like to know a lot more from people in this field.

Background: final year Computer Engineering student, decent competitive programming. Limited exposure to RTL/formal.

Had a few specific doubts:

• How relevant is this role long-term for a Computer Engineering grad (growth + mobility vs being too niche)?
• In short prep time, should I prioritize:
  • logic/discrete math
  • digital electronics
  • basic Verilog/RTL reading
  • or anything else?
• Are interviews more reasoning-heavy or hardware-focused for freshers?

Would appreciate insights from anyone who’s interviewed for this role or works in this space.

I got shortlisted for Formal Verification Engineer (new grad) at NVIDIA (India).
I have OA + interviews in ~4–5 days.

From what I’ve gathered, the role involves:

• Proving correctness of RTL using formal methods
• Requires Verilog + digital electronics basics
• OA may be math/aptitude + logic heavy

But I got this information using basic search and would like to know a lot more from people in this field.

Background: final year Computer Engineering student, decent competitive programming. Limited exposure to RTL/formal.

Had a few specific doubts:

• How relevant is this role long-term for a Computer Engineering grad (growth + mobility vs being too niche)?
• In short prep time, should I prioritize:
  • logic/discrete math
  • digital electronics
  • basic Verilog/RTL reading
  • or anything else?
• Are interviews more reasoning-heavy or hardware-focused for freshers?

Would appreciate insights from anyone who’s interviewed for this role or works in this space.