Senior Formal Verification Specialist

3 weeks ago


Bengaluru, Karnataka, India NVIDIA Full time

Formal Verification Engineer Role at NVIDIA

NVIDIA 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 formal verification methodology. This will involve close collaboration with the design team, architecture team, and other validation teams to ensure the development of high-quality hardware and software solutions.

Key Responsibilities:

  • Define the scope for formal verification and create high-quality formal verification test plans to sign-off on design implementation.
  • Build formal verification testbenches, code assertions and constraints, and apply abstraction techniques to achieve proof-depth.
  • Apply formal coverage techniques for analyzing over-constraints and measuring functional coverage.

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.

NVIDIA Culture:

  • At NVIDIA, our employees are passionate about parallel and visual computing.
  • We are united in our quest to transform the way graphics are used to solve complex problems in computer science.


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

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


  • 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 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 Tessolve Full time

    At Tessolve, we're seeking a skilled Senior ASIC Design Verification Specialist to join our team.About the RoleWe're looking for an experienced ASIC Design Verification Specialist to lead the development and execution of comprehensive verification plans for ASIC designs. The successful candidate will utilize various verification methodologies, including...


  • Bengaluru, Karnataka, India Infineon Technologies Full time

    OverviewWe are seeking a highly skilled Verification Specialist to join our team at Infineon Technologies. As a Verification Specialist, you will play a critical role in the development of our IC designs, ensuring that they meet the highest standards of quality and functionality.Key ResponsibilitiesDevelop and maintain verification environments for IC...


  • 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 Analog Devices Full time

    Job DescriptionWe are seeking a skilled Principal Engineer to lead our digital pre-silicon verification efforts. The successful candidate will have a solid background in SOC/Subsystem design concepts and architectures.Key ResponsibilitiesLead the SOC verification process for complex digital SOCs, ensuring end-to-end verification of all components.Develop and...


  • Bengaluru, Karnataka, India Analog Devices Full time

    Job Title: Senior Verification EngineerJob Summary:We are seeking a highly skilled Senior Verification Engineer to lead our pre-silicon verification efforts for complex SOC and subsystem designs. As a key member of our verification team, you will be responsible for developing and implementing verification methodologies, testbenches, and flows to ensure the...


  • Bengaluru, Karnataka, India Analog Devices Full time

    Job Title: Senior Verification Engineer - Design VerificationAbout the Role:We are seeking a highly skilled Senior Verification Engineer to join our team at Analog Devices. As a Senior Verification Engineer, you will be responsible for designing and developing verification environments for complex microprocessor designs, neural nets, and high-speed...


  • Bengaluru, Karnataka, India Infineon Technologies Full time

    Job Title: Staff Engineer Functional VerificationAt Infineon Technologies, we seek an experienced Verification Engineer to join our team as a Staff Engineer Functional Verification. This role is ideal for a professional with a strong background in functional verification, particularly in the area of digital verification and formal verification.Key...


  • Bengaluru, Karnataka, India Analog Devices Full time

    Join Analog Devices, a global semiconductor leader at the forefront of innovation, as a Verification Specialist in our esteemed Design Verification team. With revenue exceeding $12 billion in FY22 and a workforce of approximately 25,000 globally, we empower innovators to push boundaries at the Intelligent Edge.About the Role End-to-end verification ownership...


  • Bengaluru, Karnataka, India Analog Devices Full time

    Job SummaryWe are seeking a highly skilled Senior Verification Engineer to join our team at Analog Devices. As a Senior Verification Engineer, you will be responsible for end-to-end verification ownership of IP or Subsystem or SOC level.Key ResponsibilitiesVerification of complex microprocessor designs, neural nets and high-speed peripherals using leading...


  • Bengaluru, Karnataka, India Mulya Technologies Full time

    Job Title: Senior Digital Verification EngineerAbout the Role:We are seeking an experienced digital verification engineer to drive verification flows for our mixed-signal designs. The ideal candidate will have a strong background in SoC verification, expertise in industry-standard tools, and solid experience in verification of complex SoCs.Key...


  • Bengaluru, Karnataka, India Tessolve Full time

    Job Title: Senior Design Verification SpecialistJob Summary: We are seeking a highly skilled Senior Design Verification Specialist to join our team at Tessolve. As a key member of our verification team, you will be responsible for designing and implementing verification plans for complex digital designs. Key Responsibilities: Design and implement...