Formal Verification Engineer: ASIC & SystemVerilog

Job Title

Formal Verification Engineer: ASIC & SystemVerilog

Role Summary

Perform formal verification for ASIC designs with a focus on SystemVerilog assertions and property checking. Work within Mirafra's San Diego design team to validate RTL, debug formal counter-examples, and integrate formal flows into the verification plan.

Experience Level

Mid-level (Mid-Career). Years of experience not specified in the source.

Responsibilities

Key responsibilities include developing and executing formal verification activities and collaborating with design and verification teams to close coverage and correctness gaps.

• Develop, write, and maintain formal properties and SystemVerilog assertions (SVA).
• Run formal tool flows, analyze counter-examples, and debug RTL/design issues.
• Integrate formal checks into verification plans and release processes.
• Collaborate with ASIC designers and verification engineers to refine specifications and resolve bugs.
• Automate formal runs and result collection using Unix/Linux scripting.
• Document formal methodologies, test results, and best practices.

Requirements

Practical skills and tool experience required to perform the role.

• Must-have:
  • Experience in formal verification and writing properties/SVAs.
  • Proficiency with SystemVerilog and familiarity with Verilog and VHDL.
  • Understanding of ASIC design and verification flows.
  • Unix/Linux experience and scripting ability for automation.
  • Familiarity with C or C++ for testbench or tooling tasks.
• Nice-to-have:
  • Experience with specific formal tools or formal methodology frameworks.
  • Prior experience in bringing up silicon or working in mixed-language environments.

Education Requirements

Not specified.

About the Company

Company: Mirafra

Headquarters: Bangalore, India

Technology design services company specializing in semiconductor design and embedded software, offering ASIC design from specification to silicon and end-to-end software development. Founded in 2004, Mirafra operates worldwide with multiple design and business centers serving clients across the US, Europe, and Asia.