Formal Verification Engineer
NVIDIA
full-time
Posted on:
Location Type: Office
Location: Bengaluru • India
Visit company websiteExplore more
About the role
- The specification, implementation, and maintenance of an integrated end-to-end formal verification flow for the formal verification team.
- Developing scripts to automate the verification process.
- Review formal setups and proofs with design and verification teams.
- Maintain and extend assertion libraries, including support for both simulation and FV.
- Identifying key behaviours for verification of DUT and creating a verification plan.
- Developing verification environment including environment assumptions, assertions and cover properties in context of the verification plan.
- Applying various FV techniques to prove correctness of digital designs.
- Debugging RTL to identify causes of failure scenarios.
Requirements
- Bachelors/Masters in Electronics & Communications or Computer Science or electrical engineering from a reputed engineering college.
- Minimum 3+ years of industry experience on formal techniques for verification.
- Strong analytical skills to tackle hard problems.
- Excellent command of scripting.
- Strong knowledge of architectures of CPU designs and digital logic.
- Good understanding of abstraction techniques for effective verification.
- Hands-on experience with HDLs such as Verilog / System Verilog.
- Understanding of temporal logic assertions.
- Preferable experience with a variety of Formal Verification Tools.
- Strong communication skills are required along with the ability to work in a dynamic product oriented team and collaborate effectively across sites.
Benefits
- Competitive salaries and a generous benefits package
Applicant Tracking System Keywords
Tip: use these terms in your resume and cover letter to boost ATS matches.
Hard Skills & Tools
formal verificationscriptingHDLsVerilogSystem Verilogtemporal logic assertionsverification environmentassertion librariesdebugging RTLabstraction techniques
Soft Skills
analytical skillscommunication skillscollaborationteamwork
Certifications
Bachelors in Electronics & CommunicationsMasters in Electronics & CommunicationsBachelors in Computer ScienceMasters in Computer ScienceBachelors in Electrical EngineeringMasters in Electrical Engineering