Formal verification

6 hours ago

Bengaluru, Karnataka, India Quest Global Full time ₹ 15,00,000 - ₹ 25,00,000 per year

Job Requirements

Formal Verification Engineer Job Description
Overview

We're looking for a highly skilled Formal Verification Engineer to join our team. You'll be responsible for using formal methods to ensure the correctness and functional safety of our cutting-edge hardware designs. This role requires a deep understanding of digital logic, formal verification methodologies, and a passion for solving complex, challenging problems.

Responsibilities
  • Develop and execute formal verification test plans for complex RTL designs.
  • Apply formal verification techniques, including model checking, theorem proving, and equivalence checking, to verify hardware designs.
  • Work closely with design and DFT (Design for Test) teams to understand design specifications and identify critical properties to verify.
  • Identify, debug, and resolve functional bugs and corner-case issues in RTL using formal methods.
  • Develop formal properties (assertions) using languages like SystemVerilog Assertions (SVA) and PSL (Property Specification Language).
  • Create and maintain formal verification environments and flows.
  • Collaborate with design and architecture teams to improve design quality and reduce simulation cycles through early adoption of formal methods.
  • Document verification results and methodology to ensure design correctness and quality.
Qualifications
  • Education: Bachelor's or Master's degree in Electrical Engineering, Computer Science, or a related field.
  • Experience: 4+ years of experience in formal verification or ASIC/FPGA design verification.
  • Technical Skills:
  • Proficiency with formal verification tools such as JasperGold, VC Formal, or FormalPro.
  • Strong knowledge of SystemVerilog Assertions (SVA) is a must.
  • Solid understanding of digital logic design, computer architecture, and RTL (Register Transfer Level) design languages like Verilog or SystemVerilog.
  • Experience with scripting languages (e.g., Python, Perl, Tcl) for test automation.
  • Familiarity with simulation-based verification methodologies (e.g., UVM) is a plus.

  • Formal Verification Engineer

    3 days ago

    Bengaluru, Karnataka, India Synopsys Full time ₹ 8,00,000 - ₹ 24,00,000 per year

    We Are:At Synopsys, we drive the innovations that shape the way we live and connect. Our technology is central to the Era of Pervasive Intelligence, from self-driving cars to learning machines. We lead in chip design, verification, and IP integration, empowering the creation of high-performance silicon chips and software content. Join us to transform the...

  • Formal Verification Engineer

    7 days ago

    Bengaluru, Karnataka, India Synopsys Inc Full time ₹ 6,00,000 - ₹ 18,00,000 per year

    Job Description Category: EngineeringHire Type: EmployeeJob ID: 12935Remote Eligible: NoDate Posted: 22/10/2025Job Title: Formal Verification Engineer We Are: At Synopsys, we drive the innovations that shape the way we live and connect. Our technology is central to the Era of Pervasive Intelligence, from self-driving cars to learning machines. We lead in...

  • Formal Verification Engineer

    2 days ago

    Bengaluru, Karnataka, India Synopsys Inc Full time ₹ 20,00,000 - ₹ 25,00,000 per year

    Job Description Category: EngineeringHire Type: EmployeeJob ID: 12935Remote Eligible: NoDate Posted: 09/10/2025 Job Title: Formal Verification EngineerWe Are: At Synopsys, we drive the innovations that shape the way we live and connect. Our technology is central to the Era of Pervasive Intelligence, from self-driving cars to learning machines. We lead...

  • Formal Verification Engineer

    2 days ago

    Bengaluru, Karnataka, India Synopsys Inc Full time ₹ 8,00,000 - ₹ 24,00,000 per year

    Job Description Category: EngineeringHire Type: EmployeeJob ID: 12915Remote Eligible: NoDate Posted: 13/10/2025 We Are: At Synopsys, we drive the innovations that shape the way we live and connect. Our technology is central to the Era of Pervasive Intelligence, from self-driving cars to learning machines. We lead in chip design, verification, and IP...

  • Formal Verification Engineer

    6 days ago

    Bengaluru, Karnataka, India Advanced Micro Devices, Inc Full time ₹ 6,00,000 - ₹ 18,00,000 per year

    WHAT YOU DO AT AMD CHANGES EVERYTHINGAt AMD, our mission is to build great products that accelerate next-generation computing experiences – from AI and data centers, to PCs, gaming and embedded systems. Grounded in a culture of innovation and collaboration, we believe real progress comes from bold ideas, human ingenuity and a shared passion to create...

  • Senior Formal Verification Engineer

    4 days ago

    Bengaluru, Karnataka, India Careernet Full time ₹ 20,00,000 - ₹ 25,00,000 per year

    Key Skills: Formal Verification, Frontend Verification, Functional VerificationRoles and Responsibilities:Develop detailed formal verification (FV) test plans based on design specifications.Collaborate with design teams to refine micro-architecture specifications.Identify key logic components and critical micro-architectural properties essential for ensuring...

  • Formal Verification Staff Engineer

    1 week ago

    Bengaluru, Karnataka, India Synopsys Full time ₹ 10,00,000 - ₹ 25,00,000 per year

    Formal Verification Staff Engineer - Formal Verification Engineer - ASIC Digital Design Engineer - RTL Verification Specialist We Are: At Synopsys, we drive the innovations that shape the way we live and connect. Our technology is central to the Era of Pervasive Intelligence, from self-driving cars to learning machines. We lead in chip design,...

  • Formal Verification Staff Engineer

    1 week ago

    Bengaluru, Karnataka, India Synopsys Inc Full time ₹ 10,00,000 - ₹ 25,00,000 per year

    Job Description Category: EngineeringHire Type: EmployeeJob ID: 12908Remote Eligible: NoDate Posted: 02/10/2025 Formal Verification Staff Engineer - Formal Verification Engineer - ASIC Digital Design Engineer - RTL Verification Specialist We Are: At Synopsys, we drive the innovations that shape the way we live and connect. Our technology is central...

  • Formal Verification Engineer

    4 weeks ago

    Bengaluru, Karnataka, India, Karnataka ACL Digital Full time

    Formal Verification Engineer Experience: 4 to 12 YearsLocation: BangaloreJob DescriptionResponsible for developing and executing formal verification strategies for IP and SoC blocks.Write and prove assertions using SystemVerilog Assertions (SVA) or PSL.Use tools like JasperGold, VC Formal, or OneSpin to verify complex designs.Collaborate with design and DV...

  • Formal Verification Engineer, Staff

    6 days ago

    Bengaluru, Karnataka, India Synopsys Inc Full time ₹ 12,00,000 - ₹ 36,00,000 per year

    Job Title:Staff/Senior Formal Verification SpecialistWe Are:At Synopsys, we drive the innovations that shape the way we live and connect. Our technology is central to the Era of Pervasive Intelligence, from self-driving cars to learning machines. We lead in chip design, verification, and IP integration, empowering the creation of high-performance silicon...