More jobs:
Formal Verification Engineer
Job in
San Diego, San Diego County, California, 92189, USA
Listed on 2026-09-12
Listing for:
Mirafra Technology
Full Time
position Listed on 2026-09-12
Job specializations:
-
IT/Tech
Hardware Engineer, Systems Engineer -
Engineering
Hardware Engineer, Systems Engineer
Job Description & How to Apply Below
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.
- Experience in functional verification EDA tools: VCS, IUS, Model Sim, Jasper, 0-in, IFV, One Spin, SLEC, etc is highly desired.
- Familiar with programming languages: C, C++, and System
C. - Scripting and automation skills:
Unix/Linux shell programming, Perl, Java, Makefile, XML, XML DOM, XPath, XSLT, revision management (e.g., CVS, Design Sync, Subversion).
All your information will be kept confidential according to EEO guidelines.
To View & Apply for jobs on this site that accept applications from your location or country, tap the button below to make a Search.
(If this job is in fact in your jurisdiction, then you may be using a Proxy or VPN to access this site, and to progress further, you should change your connectivity to another mobile device or PC).
(If this job is in fact in your jurisdiction, then you may be using a Proxy or VPN to access this site, and to progress further, you should change your connectivity to another mobile device or PC).
Search for further Jobs Here:
×