
Formal Verification Engineer
19 hours ago
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.
-
Design Verification Engineer
19 hours ago
Bangalore, India 7hillsTS Full timeSoC 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
-
Verification Specialist
19 hours ago
Bangalore, India ACL Digital Full timeSenior 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...
-
CPU Verification Engineers
19 hours ago
Bangalore, India ACL Digital Full timeCPU 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...
-
CPU Verification Engineer
19 hours ago
Bangalore, India ACL Digital Full timeCPU 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...
-
Functional Verification Engineer
19 hours ago
Bangalore, India ACL Digital Full timeLead 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...
-
Design Verification Engineer
19 hours ago
Bangalore, India ACL Digital Full timeWe 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...
-
Senior Design Verification Engineer
19 hours ago
Bangalore, India ACL Digital Full timeHi 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 timeKey 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 timeKey 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...
-
Principal/ Architect Design Verification Engineer
19 hours ago
Bangalore, India Synopsys Inc Full timeWe 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...