Formal Verification Engineer

Mirafra Technology; San Diego (CA); On-site; USD 90,000 - 120,000; Full time

Job summary

Mirafra Technology, located in San Diego, California, seeks a skilled engineer with experience in ASIC design processes and formal verification. The role requires proficiency in various design languages including VHDL, Verilog, and System Verilog.

The ideal candidate will also have familiarity with programming languages like C and C++, along with scripting skills in Unix/Linux. Join our growing team in a dynamic environment.

Qualifications

• Experience with ASIC design processes and verification tools is crucial.
• Familiarity with programming and scripting languages is required.
• Proven experience in Formal Verification is essential.

Skills

ASIC design process

Digital design

Verification tools

Computer architecture

VHDL

Verilog

System Verilog

Formal Verification

C

C++

SystemC

Unix/Linux shell programming

Perl

Java

XML

Makefile

Tools

VCS

IUS

ModelSim

Jasper

0-in

IFV

OneSpin

SLEC

Job description

About Mirafra:

Mirafra is software service base organization started in 2004.

We are 500+ employees in India and 250+ in US.

Clear visibility to senior management which helps for constant professional growth.

Job Description

• Experience with ASIC design process, digital design, design (hw/sw) verification tools and techniques, computer architecture, etc.
• Experience with design and assertion languages: VHDL, Verilog, System Verilog, and System Verilog Assertions (SVA).
• Experience with Formal Verification is a must.

Qualifications

• Experience in functional verification EDA tools: VCS, IUS, ModelSim, Jasper, 0-in, IFV, OneSpin, SLEC, etc is highly desired.
• Familiar with programming languages: C, C++, and SystemC.
• Scripting and automation skills: Unix/Linux shell programming, Perl, Java, Makefile, XML, XML DOM, XPath, XSLT, revision management (e.g., CVS, DesignSync, Subversion).

Additional Information

All your information will be kept confidential according to EEO guidelines.