Formal Verification Engineer

13 hours ago


Pune, Maharashtra, India Iravan Full time ₹ 9,00,000 - ₹ 12,00,000 per year

About Iravan

Iravan Technologies, headquartered in Pune, is a semiconductor design services company specializing in Mixed-Signal, Digital, and Formal Verification. We partner with leading companies across Storage, Networking, Aerospace, Automotive, Defense, and other critical industries to deliver advanced semiconductor solutions.

Designation
: Formal Verification Engineer

Experience:
4+ Relevant in FV

Location:
BLR/Pune

Vacancies
:02

JD

Experience with Formal Verification (e.g., sequential equivalence checking, Security Path verification, connectivity, low power and Formal property verification).

Experience with programming languages (e.g., Python/Perl and TCL).

Experience with at least one formal verification tool (e.g., Cadence Jasper, Synopsys VC-Formal).

Expertise in property specification languages (e.g., SVA, PSL), as well as proficiency in HDLs such as System Verilog, Verilog or VHDL.

Interested candidates may share resumes at - (Immediate to 30-day notice period candidates preferred)



  • Pune, Maharashtra, India Best NanoTech Full time ₹ 8,00,000 - ₹ 24,00,000 per year

    Designation: Formal Verification EngineerExperience:4+ Relevant in FVLocation:Bengaluru and PuneRoles & Responsibilities :Experience with Formal Verification (e.g., sequential equivalence checking, Security Path verification, connectivity, low power and Formal property verification).Experience with programming languages (e.g., Python/Perl and TCL).Experience...


  • Pune, Maharashtra, India, Maharashtra Best NanoTech Full time

    Designation: Formal Verification EngineerExperience: 4+ Relevant in FVLocation: Bengaluru and Pune Roles & Responsibilities : Experience with Formal Verification (e.g., sequential equivalence checking, Security Path verification, connectivity, low power and Formal property verification).Experience with programming languages (e.g., Python/Perl and...


  • Pune, Maharashtra, India, Maharashtra Iravan Full time

    About IravanIravan Technologies, headquartered in Pune, is a semiconductor design services company specializing in Mixed-Signal, Digital, and Formal Verification. We partner with leading companies across Storage, Networking, Aerospace, Automotive, Defense, and other critical industries to deliver advanced semiconductor solutions.Designation: Formal...


  • Pune, Maharashtra, India Iravan Full time ₹ 9,00,000 - ₹ 12,00,000 per year

    About IravanIravan Technologies, headquartered in Pune, is a semiconductor design services company specializing in Mixed-Signal, Digital, and Formal Verification. We partner with leading companies across Storage, Networking, Aerospace, Automotive, Defense, and other critical industries to deliver advanced semiconductor solutions.Designation: AMS Verification...


  • Pune, Maharashtra, India Cyient Full time ₹ 12,00,000 - ₹ 36,00,000 per year

    System Verification Engineer (Electronics/ Embedded):Job Description:   As a System Engineer, you will work closely For CT/AMI team works on legacy product to ensure part and solution availability to the customer.Finalizes the design and integration, and writes verification plans for the developed elements and parts.Tests, analyses and verifies the...


  • Pune, Maharashtra, India, Maharashtra Iravan Full time

    About IravanIravan Technologies, headquartered in Pune, is a semiconductor design services company specializing in Mixed-Signal, Digital, and Formal Verification. We partner with leading companies across Storage, Networking, Aerospace, Automotive, Defense, and other critical industries to deliver advanced semiconductor solutions.Designation: AMS Verification...


  • Pune, Maharashtra, India IMAGINATION TECHNOLOGIES Full time ₹ 20,00,000 - ₹ 25,00,000 per year

    Job Description The role This position is a unique opportunity to exercise your hardware verification skills on cutting edge designs within the prestigious PowerVR Hardware Graphics group. Here you will exercise your skills on key components that meet latest demands and improvements for graphics IP. You will:Full ownership of complex module / Subsystem...


  • Pune, Maharashtra, India Prakhar Software Solutions Ltd. Full time ₹ 12,00,000 - ₹ 36,00,000 per year

    A Design Verification Engineer (DVE) is responsible for ensuring the functionality and reliability of electronic designs through rigorous testing and validation. They work closely with design teams to develop and execute comprehensive verification plans, identify and resolve design flaws, and ensure compliance with industry standards and specifications....


  • Pune, Maharashtra, India Marvell Technology Full time ₹ 12,00,000 - ₹ 36,00,000 per year

    About MarvellMarvell's semiconductor solutions are the essential building blocks of the data infrastructure that connects our world. Across enterprise, cloud and AI, automotive, and carrier architectures, our innovative technology is enabling new possibilities. At Marvell, you can affect the arc of individual lives, lift the trajectory of entire industries,...


  • Pune, Maharashtra, India MathWorks Full time ₹ 12,00,000 - ₹ 36,00,000 per year

    MathWorks has a hybrid work model that enables staff members to split their time between office and home. The hybrid model provides the advantage of having both in-person time with colleagues and flexible at-home life optimizations. Learn More: As an Application Engineer you will work directly, sometimes in great depth, with customers to understand their...