Formal Verification Expert

2 weeks ago


Bengaluru, Karnataka, India NVIDIA Full time

NVIDIA is seeking a skilled Formal Verification Engineer to verify the design and implementation of our world-leading SoCs and GPUs. This role offers the opportunity to make a real impact in a dynamic, technology-focused company with a wide range of products, from consumer graphics to self-driving cars and artificial intelligence.

We have a team of outstanding people working globally, whose mission is to push the boundaries of what is possible today and define 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 complex problems in computer science.

The GPU started out as an engine for simulating human imagination, creating virtual worlds in 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. As a Formal Verification Engineer at NVIDIA, you will be responsible for formally verifying complex designs using our strong functional formal verification methodology.

Key Responsibilities:

  • Deciding on the best applications of formal verification techniques to various parts of the design.
  • Reviewing functional and micro-architectural specifications, defining the scope for formal verification, and creating high-quality formal verification test plans to sign-off on the corresponding design implementation.
  • Building formal verification testbenches, coding assertions and constraints, and applying abstraction techniques to converge the targeted properties or achieve reasonable proof-depth.
  • Applying formal coverage techniques for analyzing over-constraints and measuring functional coverage.
  • Designing and developing functional verification flows that involve both vendor and internally developed formal tools.

Requirements:

  • 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 test plans, building formal testbenches, and root-causing counter-examples.

Desirable Skills:

  • Good debugging and problem-solving skills.
  • Scripting knowledge (Python, Perl, or shell).
  • Good interpersonal and communication skills and a desire to work as a great team member.


  • Bengaluru, Karnataka, India NVIDIA Full time

    Job Title: Formal Verification ExpertAbout the Role:NVIDIA is seeking a highly skilled Formal Verification Expert to join our team. As a key member of our verification team, you will be responsible for formally verifying complex designs, ensuring that our products meet the highest standards of quality and reliability.Key Responsibilities:Apply formal...


  • Bengaluru, Karnataka, India Tech Mahindra Full time

    Key Responsibilities:Design and execute formal verification plans, incorporating test plans and assertion-based verification strategies for digital designs.Apply formal methods such as model checking and equivalence checking to verify complex blocks of RTL designs.Collaborate with design and verification teams to ensure comprehensive coverage of all design...


  • Bengaluru, Karnataka, India NVIDIA Full time

    NVIDIA is seeking a skilled Formal Verification Engineer to verify the design and implementation of complex SoCs and GPUs. This position offers the opportunity to have a real impact in a dynamic, technology-focused company that is shaping the future of computing.The successful candidate will be responsible for formally verifying complex designs using...


  • Bengaluru, Karnataka, India metavlsi Full time

    Job RequirementsWe are seeking a highly skilled Formal Verification Engineer to join our team at metavlsi. The ideal candidate will have a strong background in formal verification techniques and a deep understanding of digital logic design and verification.Key Responsibilities:Minimum 2+ years of experience in formal verification is required.Advanced...


  • Bengaluru, Karnataka, India Tech Mahindra Full time

    Key Responsibilities:We are seeking a skilled Formal Verification Engineer to join our team at Tech Mahindra.• Develop and execute formal verification plans, including test plans and assertion-based verification strategies for digital designs.• Apply formal methods (model checking, equivalence checking, etc.) to verify complex blocks of RTL designs.•...


  • Bengaluru, Karnataka, India Rakiya Information Technology Solutions Full time

    Rakiya Information Technology Solutions seeks a skilled Formal Verification Engineer with 0 to 1 year of experience.Key Responsibilities:Develop and implement formal verification techniques for software and hardware systems.Collaborate with cross-functional teams to integrate formal verification into the development process.Requirements:0 to 1 year of...


  • Bengaluru, Karnataka, India Rakiya Information Technology Solutions Full time

    We are seeking a skilled Formal Verification Engineer to join our team at Rakiya Information Technology Solutions.Key Responsibilities:• Conduct formal verification of software and hardware systems using tools such as LEC, LINT, Spyglass, CDC, and PLC.Requirements:• 0.6 to 1 year of experience in formal verification.About Us:Rakiya Information Technology...


  • Bengaluru, Karnataka, India Rakiya Information Technology Solutions Full time

    Rakiya Information Technology Solutions is a cutting-edge technology firm seeking an experienced Formal Verification Engineer to join our team.We offer a competitive salary of $110,000 per annum, commensurate with experience and qualifications.Job Description:Company OverviewRakiya Information Technology Solutions is a leading provider of innovative...


  • Bengaluru, Karnataka, India NVIDIA Full time

    Formal Verification Engineer Role at NVIDIANVIDIA is a world leader in graphics processing and artificial intelligence. Our team is seeking a skilled Formal Verification Engineer to join our dynamic and technology-focused organization.The successful candidate will be responsible for formally verifying complex designs, utilizing NVIDIA's strong functional...


  • Bengaluru, Karnataka, India NVIDIA Full time

    NVIDIA is seeking a skilled Formal Verification Engineer to verify the design and implementation of complex SoCs and GPUs. This position offers the opportunity to have a real impact in a dynamic, technology-focused company impacting product lines ranging from consumer graphics to self-driving cars and artificial intelligence.The successful candidate will be...


  • Bengaluru, Karnataka, India Analog Devices Full time

    About the RoleAnalog Devices is seeking a highly skilled Verification Engineer to join our team. As a Verification Expert, you will be responsible for end-to-end verification ownership of IP or Subsystem or SOC level designs.Key ResponsibilitiesEnd to End verification ownership of IP or Subsystem or SOC levelVerification of complex microprocessor designs,...

  • Staff Engineer

    3 weeks ago


    Bengaluru, Karnataka, India Infineon Technologies Full time

    Job DescriptionAs a Staff Engineer - Functional Verification Expert at Infineon Technologies, you will be responsible for driving the internal exchange of know-how and experience within the company. Your primary goal will be to work out optimization opportunities in the area of verification methodology and verification coverage through integrating the...


  • Bengaluru, Karnataka, India eInfochips (An Arrow Company) Full time

    About eInfochipseInfochips, an Arrow Company, is a leading provider of semiconductor design and engineering services.Job SummaryWe are seeking a highly skilled Senior ASIC Verification Expert to join our team in Pune/Bangalore/Ahmedabad/Noida/Chennai.Responsibilities:Design and develop verification environments for complex digital and mixed-signal ASICs...


  • Bengaluru, Karnataka, India ARM Full time

    About the RoleArm is seeking a seasoned Senior Engineer to join our team responsible for the development of sophisticated Subsystems and Solutions. As a verification expert, you will play a crucial role in verifying the functional correctness of SoCs and collaborating with designers and architects to understand design specifications and build a functional...


  • Bengaluru, Karnataka, India Renesas Electronics Full time

    {"Job Title: Senior Digital Verification Expert " ", "Job Description: ", "​ **Job Purpose and Dimensions:** ", "The role of this position is to ensure the digital design meets the required specifications through verification methodology and concepts. It supports the development and enhancement of cutting-edge verification methodologies as clear...


  • Bengaluru, Karnataka, India GSVR Talent Solutions Pvt Ltd Full time

    Job Title: ASIC Design Verification EngineerAbout the Role:At GSVR Talent Solutions Pvt Ltd, we are on the lookout for an exceptional ASIC Design Verification Engineer to join our team. If you are passionate about developing and verifying complex digital systems and have a proven track record in using formal verification methodologies, we want to hear from...


  • Bengaluru, Karnataka, India Infineon Technologies Full time

    In your new role at Infineon Technologies, you will be responsible for driving the internal exchange of know-how and experience within the company. This includes advising and supporting experts from various business units in verification projects, as well as collaborating with other disciplines to define the verification methodology and plan.Key...


  • Bengaluru, Karnataka, India Tessolve Full time

    SoC Verification Expertise:At Tessolve Semiconductors, a leading Design and Test Engineering Service Company, we offer expert SoC verification services to ensure the seamless integration of various IP blocks within our clients' systems on chip.We employ advanced verification techniques such as simulation, emulation, and formal methods to guarantee proper...


  • Bengaluru, Karnataka, India Analog Devices Full time

    Job DescriptionWe are seeking a highly skilled Digital Verification Engineer to join our team at Analog Devices. The successful candidate will have 8+ years of industry experience in Digital Pre-Silicon verification of RF/Bluetooth Modules.About the RoleThis role is responsible for developing and executing verification plans, creating test benches, and...


  • Bengaluru, Karnataka, India Bosch Full time

    Job Description    We are seeking a highly skilled Verification Engineer to join our team at Bosch. As a key member of our Verification Group, you will be responsible for designing and implementing verification environments for complex digital ASICs and SoCs.Develop verification environments from scratch using System Verilog and UVMApply metric-driven...