All jobsMirafra Technology

Formal Verification Engineer

San Diego, CA, US Full-time Posted Mar 31, 2017

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

Experience with the following: - ASIC design process, digital design, design (hw/sw) verification tools and techniques, computer architecture, etc. -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, 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

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

via jobs.smartrecruiters.com

Related jobs

© 2026 NoGigiddy · Commission-based platform

We like the way you work it·nogigiddy·Gotta bag it up·nogigiddy·
We like the way you work it·nogigiddy·Gotta bag it up·nogigiddy·