Formal Verification Engineer

3 weeks ago

Bengaluru, Karnataka, India ACL Digital Full time

Job Title: Formal Verification Engineer

Location: Bangalore

Experience: 4+Years

Job Type: Full-time

Industry: Semiconductor / ASIC Design / EDA

Education: B.E./B.Tech or M.E./M.Tech in ECE/EEE/Computer Engineering

Job Description:

We are looking for a highly motivated Formal Verification Engineer to join our Design Verification team. The candidate will be responsible for developing and executing formal verification strategies to ensure functional correctness of complex IP and SoC designs.

Key Responsibilities:

  • Define and implement formal verification strategies and plans.
  • Develop formal properties and assertions for critical design blocks.
  • Apply formal techniques such as property checking, sequential equivalence checking , and formal coverage.
  • Analyze formal results, identify unreachable or vacuous properties, and refine models.
  • Collaborate closely with RTL designers, DV engineers, and architects.
  • Integrate formal into overall verification methodology and sign-off.
  • Document and present formal verification methodologies, assumptions, and results.

Required Skills:

  • 4+ years of experience in formal verification using industry tools (e.g., JasperGold, VC Formal, Questa Formal, OneSpin).
  • Strong knowledge of SystemVerilog Assertions (SVA) and formal property specification.
  • Solid understanding of digital design concepts and RTL coding in Verilog/SystemVerilog.
  • Familiar with formal coverage metrics and convergence techniques.
  • Experience in debugging complex design bugs using formal tools.
  • Ability to abstract and model designs or protocols at different levels.

Desirable Skills:

  • Familiarity with safety-critical designs (ISO 26262, DO-254) is a plus.
  • Knowledge of common protocols: AXI, AHB, PCIe, Ethernet, etc.
  • Exposure to sequential equivalence checking and abstraction modeling.
  • Understanding of simulation-based verification and integration with formal.
  • Proficiency in scripting (Python, Perl, or TCL) for automation.

Interested can Share CV to

  • Formal Verification Engineer

    3 weeks ago

    Bengaluru, Karnataka, India L&T Technology Services Full time

    L&T Technology Services is hiring for Formal Verification Engineers with 5+ years of experience.Job Location: Bangalore, India. Job Description is mentioned in details:: As a formal verification engineer working the complete formal verification for single or multiple design blocks and IP's (CPU, Connectivity IP, Audio and Image Processing IP, Neural Networks...

  • Formal verification

    2 weeks ago

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

    Job Requirements Formal Verification Engineer Job DescriptionOverviewWe'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...

  • Formal verification Engineer

    3 weeks ago

    Bengaluru, Karnataka, India L&T Technology Services Full time

    Dear reader, L&T Technology Services has futuristic VLSI IPs that address some of the pressing needs of the semiconductor industry. Services include but not limited to Turnkey SoC development, Pre-Si verification, RTL design, Post-Si validation, Physical design, Design for testing, Static timing analysis, FPGA design & FabricationWe are looking forward to...

  • Formal verification Engineer

    6 days ago

    Bengaluru, Karnataka, India L&T Technology Services Full time ₹ 20,00,000 - ₹ 25,00,000 per year

    Dear LinkedIn reader, L&T Technology Services has futuristic VLSI IPs that address some of the pressing needs of the semiconductor industry. Services include but not limited to Turnkey SoC development, Pre-Si verification, RTL design, Post-Si validation, Physical design, Design for testing, Static timing analysis, FPGA design & FabricationWe are looking...

  • Formal Verification

    3 weeks ago

    Bengaluru, Karnataka, India L&T Technology Services Full time

    As a formal verification engineer working the complete formal verification for single or multiple design blocks and IP's (CPU, Connectivity IP, Audio and Image Processing IP, Neural Networks IP, Memory/DMA Controller, Security IP, Peripheral IP, Interconnects, Power management subsystems, etc.)Experience with at least one formal verification tool (e.g.,...

  • Formal Verification

    6 days ago

    Bengaluru, Karnataka, India L&T Technology Services Full time ₹ 4,00,000 - ₹ 12,00,000 per year

    As a formal verification engineer working the complete formal verification for single or multiple design blocks and IP's (CPU, Connectivity IP, Audio and Image Processing IP, Neural Networks IP, Memory/DMA Controller, Security IP, Peripheral IP, Interconnects, Power management subsystems, etc.)Experience with at least one formal verification tool (e.g.,...

  • Formal Verification Engineer

    1 week ago

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

    WHAT YOU DO AT AMD CHANGES EVERYTHINGWe care deeply about transforming lives with AMD technology to enrich our industry, our communities, and the world. Our mission is to build great products that accelerate next-generation computing experiences - the building blocks for the data center, artificial intelligence, PCs, gaming and embedded. Underpinning our...

  • Formal Verification Engineer

    4 weeks ago

    Bengaluru, Karnataka, India 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...

  • ASIC Verification Engineer, Formal

    7 days ago

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

    Meta is hiring Application-Specific Integrated Circuit (ASIC) Design Verification Engineer within the Infrastructure organization. We are looking for individuals with experience in Design Verification to build IP and System On Chip (SoC) for data center applications.As a Formal Verification Engineer, you will be part of a team working with the best in the...

  • Lead Engineer, Formal Verification

    4 days ago

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

    Astera Labs (NASDAQ: ALAB) provides rack-scale AI infrastructure through purpose-built connectivity solutions grounded in open standards. By collaborating with hyperscalers and ecosystem partners, Astera Labs enables organizations to unlock the full potential of modern AI. Astera Labs' Intelligent Connectivity Platform integrates CXL, Ethernet, PCIe, and...