Formal Verification Engineer

19 hours ago


Bangalore, India ACL Digital Full time

Formal Verification Engineer

Experience : 4 to 12 Years

Location : Bangalore

Job Description

  • Responsible 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 teams to integrate formal early in the cycle.
  • Identify corner-case bugs that are hard to detect via simulation.
  • Perform connectivity, X-check, and equivalence checking using formal apps.
  • Debug failures and analyze root causes efficiently.
  • Drive closure with coverage and waiver management.
  • Automate formal flows using scripting (Python, Perl, or Tcl).
  • Document verification plans, results, and sign-off reports.

About Company

ACL Digital, a leader in digital engineering and transformation, is part of the ALTEN Group. At ACL Digital, we empower organizations to thrive in an AI-first world. Our expertise spans the entire technology stack, seamlessly integrating AI and data-driven solutions from Chip to cloud. By choosing ACL Digital, you gain a strategic advantage in navigating the complexities of digital transformation. Let us be your trusted partner in shaping the future.



  • Bangalore, India 7hillsTS Full time

    SoC Verification Engineer (Formal, 6–8 Yrs) Pune/Bengaluru Experienced SoC Verification Engineers with strong expertise in Formal Verification using JasperGold. Experience: 6–8 years Must-Have Skills: JasperGold, SVA, RTL Debug Good to Have: UVM, low-power/security verification


  • Bangalore, India ACL Digital Full time

    Senior Formal Verification Engineer (CPU) Experience : 8+ years Location : Bangalore Role Overview: Owns property-based formal verification of the CPU core, pipeline stages, and subcomponents with exhaustive proof goals. Key Responsibilities: • Lead formal planning and methodology for control logic, pipelines, and memory subsystems • Define...


  • Bangalore, India ACL Digital Full time

    CPU Verification Engineers Experience : 4+ years Location : Bangalore & Hyderabad We are seeking a skilled and motivated CPU Verification Engineer to join our microprocessor verification team. In this role, you will contribute to the verification of Super scalar, high-performance, low-power CPU cores by developing scalable testbenches, driving...


  • Bangalore, India ACL Digital Full time

    CPU Verification Engineers Experience : 4+ years Location : Bangalore & Hyderabad We are seeking a skilled and motivated CPU Verification Engineer to join our microprocessor verification team. In this role, you will contribute to the verification of Super scalar, high-performance, low-power CPU cores by developing scalable testbenches, driving...


  • Bangalore, India ACL Digital Full time

    Lead Functional Verification Engineer Experience : 6+ Years Location : Bangalore Job Description: Lead verification activities for complex CPU cores, memory subsystems, and high-speed PCIe IPs. Define verification strategy, test plan, and coverage goals based on architecture and spec reviews. Build and maintain advanced UVM-based...


  • Bangalore, India ACL Digital Full time

    We are seeking a skilled and motivated CPU Verification Engineer to join our microprocessor verification team. In this role, you will contribute to the verification of Super scalar, high-performance, low-power CPU cores by developing scalable testbenches, driving complex test scenarios, and ensuring full functional coverage and quality sign-off. Location...


  • Bangalore, India ACL Digital Full time

    Hi All, ACL Digital is hiring Design Verification Engineers Experience: 8+ years Location: Hyderabad / Bangalore Join: Immediate Key Skills: 8+ Years in IP/Sub-System/SoC DV Testbench Development Strong in SV UVM, Functional & Formal Verification Hands-on with RISC-V / CPU / PCIe / DDR / Ethernet SoC Integration, Debugging & Coverage...

  • SOC Verification

    19 hours ago


    Bangalore, India UST Full time

    Key Roles & Responsibilities: · We are seeking a highly motivated and experienced SoC Verification Engineer to join our team. As a key member of the verification team, you will be responsible for developing and executing verification plans for complex System-on-Chip (SoC) designs. · You will work closely with design and architecture teams to ensure the...

  • SOC Verification

    32 minutes ago


    bangalore, India UST Full time

    Key Roles & Responsibilities:· We are seeking a highly motivated and experienced SoC Verification Engineer to join our team. As a key member of the verification team, you will be responsible for developing and executing verification plans for complex System-on-Chip (SoC) designs.· You will work closely with design and architecture teams to ensure the...


  • Bangalore, India Synopsys Inc Full time

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