Formal Verification Engineer

2 weeks ago

Bengaluru, India NVIDIA Full time

NVIDIA is seeking an elite Formal Verification Engineer to verify the design and implementation of the design units for the world’s leading SoCs and GPUs. This position offers the opportunity to have real impact in a dynamic, technology-focused company impacting product lines ranging from consumer graphics to self-driving cars and the growing field of artificial intelligence. We have crafted a team of outstanding people stretching around the globe, whose mission is to push the frontiers of what is possible today and define the platform for the future of computing. At NVIDIA, our employees are passionate about parallel and visual computing. We're united in our quest to transform the way graphics are used to solve some of the most complex problems in computer science.

The GPU started out as an engine for simulating human imagination, conjuring up the amazing virtual worlds of video games and Hollywood films. Today, NVIDIA’s GPU simulates human intelligence, running deep learning algorithms and acting as the brain of computers, robots, and self-driving cars that can perceive and understand the world. NVIDIA is increasingly known as “the AI computing company.”As a Formal Verification Engineer at Nvidia, you will be responsible for formally verifying complex designs. NVIDIA has developed a strong functional formal verification methodology that not only enables hardware design and verification engineers to use lightweight FV tools and techniques successfully but also allows FV engineers to use advanced property proving techniques on complex and/or critical RTL logic. The job involves very close interaction with the design team, architecture team, with other validation teams, and with Nvidia's internal FV R&D group that develops functional verification tools using formal verification technology.

What you'll be doing:

  • Help decide on the best applications of formal verification techniques to various parts of the design.

  • Review functional and micro-architectural specifications, define the scope for formal verification, and create high-quality formal verification testplans to sign-off on the corresponding design implementation.

  • Build formal verification testbenches, code assertions and constraints, and apply abstraction techniques to converge the targeted properties or to achieve reasonable proof-depth.

  • Apply formal coverage techniques for analyzing over-constraints and for measuring functional coverage.

  • Design and develop functional verification flows that involve both vendor and internally developed formal tools.

What we need to see:

  • B.Tech./ M.Tech or equivalent experience with 2+ years of relevant experience.

  • Good understanding of hardware micro-architecture and design.

  • Conversant with formal verification technologies, including complexity reduction techniques.

  • Formal property verification experience on multiple complex units.

  • Proficiency in creating high quality testplans, building formal testbenches, and root-causing counter-examples.

Ways to stand out from the crowd:

  • Good debugging and problem solving skills

  • Scripting knowledge (Python/Perl/shell)

  • Good interpersonal and communication skills and dream to work as a great team member

With competitive salaries and a generous benefits package, Nvidia is widely considered to be one of the most desirable employers in the world. We have some of the most brilliant and talented people in the world working for us. If you are creative, autonomous and love a challenge, we want to hear from you. We are an equal opportunity employer and value diversity at our company. We do not discriminate on the basis of race, religion, color, national origin, gender, sexual orientation, age, marital status, veteran status, or disability status.

  • Formal Verification Engineer

    6 days ago

    Bengaluru, India NVIDIA Full time

    NVIDIA is seeking an elite Formal Verification Engineer to verify the design and implementation of the design units for the world’s leading SoCs and GPUs. This position offers the opportunity to have real impact in a dynamic, technology-focused company impacting product lines ranging from consumer graphics to self-driving cars and the growing field of...

  • Formal Verification Engineer

    1 week ago

    Bengaluru, Karnataka, India NVIDIA Full time

    NVIDIA is seeking an elite Formal Verification Engineer to verify the design and implementation of the design units for the world's leading SoCs and GPUs. This position offers the opportunity to have real impact in a dynamic, technology-focused company impacting product lines ranging from consumer graphics to self-driving cars and the growing field of...

  • Formal Verification Engineer

    1 week ago

    Bengaluru, Karnataka, India Rakiya Information Technology Solutions Full time

    Hello Everyone #URGENTHIRING #formalverification We're looking for Formal Verification Engineer with 0.6month to 1 year experience. JD : Formal Verification profile : LEC, LINT, Spyglass, CDC, PLC)

  • Formal Verification

    1 week ago

    Bengaluru, Karnataka, India Advanced Micro Devices, Inc Full time

    WHAT YOU DO AT AMD CHANGES EVERYTHING We care deeply about transforming lives with AMD technology to enrich our industry, our communities, and the world. Our mission is to build great products that accelerate next-generation computing experiences – the building blocks for the data center, artificial intelligence, PCs, gaming and embedded. Underpinning our...

  • Formal Verification Engineer

    2 months ago

    Bengaluru, India Rakiya Information Technology Solutions Full time

    Hello Everyone!!#URGENTHIRING#formalverification We're looking for Formal Verification Engineer with 0.6month to 1 year experience.JD : Formal Verification profile : LEC, LINT, Spyglass, CDC, PLC]

  • Formal Verification Engineer

    3 weeks ago

    Bengaluru, India Rakiya Information Technology Solutions Full time

    Hello Everyone!!#URGENTHIRING#formalverification We're looking for Formal Verification Engineer with 0.6month to 1 year experience.JD : Formal Verification profile : LEC, LINT, Spyglass, CDC, PLC]

  • Senior Formal Verification Engineer

    2 days ago

    Bengaluru, India Pure Silicon Solutions Full time

    As a Senior Engineer in Formal Verification, you will be responsible for designing, developing, and implementing verification environments using Formal Verification.Responsibilities, Requirements, and QualificationsWork on leading-edge ASICs/SoCs or key design IPs with US-based Top Customers.Bachelor's or Master's Degree in Electrical/Electronics/Computer...

  • Senior Formal Verification Engineer

    2 days ago

    Bengaluru, India Pure Silicon Solutions Full time

    As a Senior Engineer in Formal Verification, you will be responsible for designing, developing, and implementing verification environments using Formal Verification.Responsibilities, Requirements, and QualificationsWork on leading-edge ASICs/SoCs or key design IPs with US-based Top Customers.Bachelor's or Master's Degree in Electrical/Electronics/Computer...

  • Smts - Formal Verification

    3 days ago

    Bengaluru, Karnataka, India Advanced Micro Devices, Inc. Full time

    Back **SMTS - Formal Verification**: - Bangalore, India - Engineering - 36482 mail_outline Get future jobs matching this search *** **Job Description**: **WHAT YOU DO AT AMD CHANGES EVERYTHING** - We care deeply about transforming lives with AMD technology to enrich our industry, our communities, and the world. Our mission is to build great products that...

  • Smts - Formal Verification

    1 week ago

    Bengaluru, Karnataka, India Advanced Micro Devices, Inc. Full time

    BackSMTS - Formal Verification: Bangalore, India Engineering 36482mail_outlineGet future jobs matching this search***Job Description:WHAT YOU DO AT AMD CHANGES EVERYTHING We care deeply about transforming lives with AMD technology to enrich our industry, our communities, and the world. Our mission is to build great products that accelerate nextgeneration...

  • Silicon Logic Formal Verification

    1 week ago

    Bengaluru, Karnataka, India Rivos Full time

    Responsibilities: Working with RTL design engineers on identifying the microarchitecture features for formal microarchitecture specification. Developing a comprehensive formal verification test plan. Proving properties of the design, finding design bugs, and working closely with design teams to help improve the microarchitecture. Crafting novel and creative...

  • Formal Verification

    3 days ago

    Bengaluru, Karnataka, India Advanced Micro Devices, Inc. Full time

    Back **Formal Verification (3+ years)**: - Bangalore, India - Engineering - 29054 mail_outline Get future jobs matching this search *** **Job Description**: **WHAT YOU DO AT AMD CHANGES EVERYTHING** We care deeply about transforming lives with AMD technology to enrich our industry, our communities, and the world. Our mission is to build great products...

  • Silicon Formal Verification

    2 months ago

    Bengaluru, Karnataka, India Rivos Full time

    Positions are open for full-time and co-op/internship roles in the areas of formal verification of CPU, Fabric, and Accelerator design. **Responsibilities**: - As a Formal Verification Engineer, you will be involved in the formal verification of the architecture and microarchitecture of a high-performance RISC-V core, a coherent fabric, and an accelerator...

  • Cpu Dv Formal Verification

    1 week ago

    Bengaluru, Karnataka, India Qualcomm Full time

    Company: Qualcomm India Private LimitedJob Area: Engineering Group, Engineering Group > Hardware EngineeringGeneral Summary: Roles and Responsibilities: Work with design team to understand design intent and bring up verification plans and schedules with an eye towards the endtoend formalization of the refinement from architecture to microarchitecture Define...

  • Cpu Dv Formal Verification

    1 week ago

    Bengaluru, Karnataka, India Qualcomm Full time

    **Company**: Qualcomm India Private Limited **Job Area**: Engineering Group, Engineering Group > Hardware Engineering **General Summary**: - Roles and Responsibilities: - Work with design team to understand design intent and bring up verification plans and schedules with an eye towards the end-to-end formalization of the refinement from architecture to...

  • DDR Formal Verification Sr lead Engineer

    1 week ago

    Bengaluru, Karnataka, India Qualcomm Full time

    Company: Qualcomm India Private Limited Job Area: Engineering Group, Engineering Group > Hardware Engineering General Summary: Additional Job Description Qualcomm Infra and Periph team in India is part of a worldwide team responsible for developing and delivering Infra and Periph solutions which are setting the benchmark in...

  • Silicon Logic Formal Verification

    2 months ago

    Bengaluru, India Rivos Full time

    **Responsibilities**: - Working with RTL design engineers on identifying the microarchitecture features for formal micro-architecture specification. - Developing a comprehensive formal verification test plan. - Proving properties of the design, finding design bugs, and working closely with design teams to help improve the micro-architecture. - Crafting...

  • Silicon Logic Formal Verification

    2 months ago

    Bengaluru, Karnataka, India Rivos Full time

    Positions are open for full-time and co-op/internship roles in the areas of formal verification of CPU, Fabric, and Accelerator design **Responsibilities**: - As a Formal Verification Engineer, you will be involved in the formal verification of the architecture and microarchitecture of a high-performance RISC-V core, a coherent fabric, and an accelerator...

  • Formal Design Verification

    2 months ago

    Bengaluru, India ViteStork Consulting Full time

    BE/BTech/ME/MTech - Electrical / Electronics / VLSI with an experience as a design and verification engineer. - Strong background on verification fundamentals, environment planning, test plan generation, environment development is a must. - Design Verification experience verifying complex designs and leading projects from concept to verification closure. -...

  • Formal Design Verification

    2 days ago

    Bengaluru, India ViteStork Consulting Full time

    BE/BTech/ME/MTech - Electrical / Electronics / VLSI with an experience as a design and verification engineer. - Strong background on verification fundamentals, environment planning, test plan generation, environment development is a must. - Design Verification experience verifying complex designs and leading projects from concept to verification closure. -...