💼 Full-Time Position

Formal Verification Engineer

🏢
ACL Digital
📍 Bengaluru, Karnataka, India
📍
Location
Bengaluru, India
📅
Posted
June 03, 2026
⏰
Type
Full-Time
🎯

Full-Time Opportunity: This is a permanent, full-time position with a competitive package and real career growth potential.

Job Description

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