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 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:

  • You will help decide on the best applications of formal verification techniques to various parts of the design.
  • You will 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.
  • You will build formal verification testbenches, code assertions and constraints, and apply abstraction techniques to converge the targeted properties or to achieve reasonable proof-depth.
  • You will apply formal coverage techniques for analyzing over-constraints and for measuring functional coverage.
  • You will 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

    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...

  • 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...

  • 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...

  • 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...

  • Formal Verification

    1 week ago

    Bengaluru, Karnataka, India AlgoShack Full time

    Design and implement high-quality scalable software features Participate in architecture and design reviews; closely work with SCRUM team of developers of testers Translate the technical information into requirements, specifications, workflows, and procedures Design & develop test cases based on available requirement specifications and verification plans...

  • Senior Design Verification Engineer

    1 week ago

    Bengaluru, Karnataka, India Arm Full time

    Job Description:In the fast-moving world of CPU Verification, Formal Methods are becoming crucial to the success of today's ever-accelerating development cycle.We are offering the chance to become part of a dedicated team that will deploy Formal on the next generation of CPU designs. This is an opportunity to influence design & verification decisions and...

  • Physical Verification Engineer

    1 week ago

    Bengaluru, Karnataka, India Kiash Solutions LLp Full time

    Job Title: Physical Verification EngineerCompany: Join Our TeamJob Description:We are looking for a talented Physical Verification Engineer with extensive experience to become part of our team. The ideal candidate should possess deep knowledge in physical design implementation and validation at the block level, particularly focusing on 16/7nm technology...

  • Senior Design Verification Engineer

    1 week ago

    Bengaluru, Karnataka, India Arm Full time

    Job Description: In the fast-moving world of CPU Verification, Formal Methods are becoming crucial to the success of today's ever-accelerating development cycle. We are offering the chance to become part of a dedicated team that will deploy Formal on the next generation of CPU designs. This is an opportunity to influence design & verification decisions and...

  • Engineer, Design Verification

    1 week ago

    Bengaluru, Karnataka, India Analog Devices Full time

    Job Posting Title: Senior Engineer - Design Verification:End to End verification ownership of IP or Subsystem or SOC levelVerification of complex microprocessor designs, neural nets and high-speed peripherals using leading edge verification methodologies.UVM testbench architecture development and implementation of DV flows, methodologyDefining testplans,...

  • Senior Design Verification Engineer

    1 week ago

    Bengaluru, Karnataka, India Insemi Technology Full time

    Company Description : InSemi Technology Services Pvt. Ltd. , founded in 2013, is a design services company specializing in VLSI and embedded systems. With expertise in chip design and embedded domains, we provide engineering design services and bridge the gap between academia and industry. Our VLSI expertise includes memory compiler/custom IP, analog and...

  • Engineer, Design Verification

    1 week ago

    Bengaluru, Karnataka, India Analog Devices Full time

    Job Posting Title: Senior Engineer - Design Verification : End to End verification ownership of IP or Subsystem or SOC level Verification of complex microprocessor designs, neural nets and high-speed peripherals using leading edge verification methodologies. UVM testbench architecture development and implementation of DV flows, methodology Defining...

  • Digital Design Verification Engineer

    1 week ago

    Bengaluru, Karnataka, India Analog Devices Full time

    Digital Design Verification Engineer Job Responsibilities: Verification of complex designs such as accelerators/ datapath IP, processor core subsystems, complex interfaces/ protocols such as DDR/ Ethernet/ USB etc using leading edge methodologies like UVM & Formal DV Architect the testbench and develop the verification environment in UVM...

  • Design Verification Engineer

    1 week ago

    Bengaluru, Karnataka, India MY Search Full time

    Our client is one of the fastest growing semiconductor start-up company. They use unique processes to provide the best talent to its client in timely fashion in Design Verification, Design For Test and Physical DesignThey are looking for Design Verification Engineer (SE / SSE) to be based at Noida / Bangalore / Hyderabad with the following : Total 3 to 7...

  • Staff Engineer, Design Verification Engineering

    1 week ago

    Bengaluru, Karnataka, India Analog Devices Full time

    As part of the DBU ASIC team, we are looking for passionate and self-motivated DV Engineer that will work with a multi-functional engineering team to develop a range of block, subsystem and system solutions for digital processing subsystems. You will be intimately involved in pushing the envelope of the various DV technologies. You will be working on...

  • Staff Engineer, Design Verification Engineering

    1 week ago

    Bengaluru, Karnataka, India Analog Devices Full time

    Lead Pre-Silicon verification for complex SOC or Subsystem Verification of complex microprocessor designs, neural nets and high-speed peripherals using leading edge verification methodologies. UVM testbench architecture development and implementation of DV flows, methodology Defining test plans, tests and verification methodology for block / subsystem...

  • Senior Design Verification Engineer

    1 week ago

    Bengaluru, Karnataka, India HARMAN India Full time

    Harman India is looking for Senior Design verification Engineer for Bangalore location.Location: BangaloreSkill Set required:JD for Design Verification EngineerExperience Required: 5-10YearsResponsibilitiesVerification Planning: Develop detailed verification plans based on design specifications, outlining the verification strategy, methodologies, and tools...

  • Senior Design Verification Engineer

    1 week ago

    Bengaluru, Karnataka, India Analog Devices Full time

    Job Responsibilities: Verification of complex designs such as accelerators/ datapath IP, processor core subsystems, complex interfaces/ protocols such as DDR/ Ethernet/ USB etc using leading edge methodologies like UVM & Formal DV Architect the testbench and develop the verification environment in UVM and Formal based verification approaches ...

  • Principal Engineer, Design Verification Engineering

    1 week ago

    Bengaluru, Karnataka, India Analog Devices Full time

    SOC Verification lead for complex digital SOCs – End to End SOC verification responsibility.Verification of complex microprocessor designs, neural nets and high-speed peripherals using leading edge verification methodologies.Define tasks for team members, coordinate team effort, track, guide, mentor and technical support to team.Work with design and...