Mirafra Technologies Jobs

Formal Verification Engineer

Mirafra Technologies

Formal Verification Engineer

Reposted 8 Days Ago

Be an Early Applicant

In-Office

San Diego, CA

Mid level

In-Office

San Diego, CA

Mid level

Perform formal and functional verification for ASIC/digital designs using assertion languages (SVA/SystemVerilog), EDA formal tools, and verification methodologies. Develop scripts and automation using shell, Perl, Java, and manage revisions with CVS/DesignSync/Subversion. Collaborate on verification plans and use C/C++/SystemC as needed.

The summary above was generated by AI

Company 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 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

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.

Similar Jobs

Harmonic (harmonic.fun)

Formal Verification Engineer

4 Days Ago

In-Office

London, Greater London, England, GBR

Mid level

Software

Use proof assistants and Aristotle to translate design intent into formal properties, execute proofs, diagnose failures, scope projects with customers, deliver reproducible workflows, and feed verification insights back to product and research. Travel to customer sites as needed.

Top Skills: AgdaAristotleCoqIsabelleLeanLean 4Reinforcement Learning

ChipAgents

Formal Verification Engineer

24 Days Ago

In-Office

Senior level

Artificial Intelligence • Semiconductor

Work with AI, research, and EDA teams to develop formal verification workflows: write and debug SystemVerilog Assertions, use formal tools to prove RTL correctness, analyze counterexamples, create reusable benchmarks and proof strategies, and help train/evaluate AI agents for assertion-based verification and coverage closure.

Top Skills: CdcJaspergoldLintLlmsPythonQuesta FormalRdcRtlSatSmtStatic VerificationSystemverilogSystemverilog Assertions (Sva)TclVc Formal

Microsoft

Formal Design Verification Engineer

11 Days Ago

In-Office

Senior level

Software • Quantum Computing • Metaverse • Infrastructure as a Service (IaaS)

Lead and own verification of fabric interconnect components: define verification strategies and test plans, develop formal verification environments, run and debug simulations, improve verification efficiency and tools, apply generative AI to verification, and coach/mentor teammates.

Top Skills: AmbaChiCxlFormal VerificationGenerative AiPciePythonSvtbSystemverilogUvm

What you need to know about the London Tech Scene

London isn't just a hub for established businesses; it's also a nursery for innovation. Boasting one of the most recognized fintech ecosystems in Europe, attracting billions in investments each year, London's success has made it a go-to destination for startups looking to make their mark. Top U.K. companies like Hoptin, Moneybox and Marshmallow have already made the city their base — yet fintech is just the beginning. From healthtech to renewable energy to cybersecurity and beyond, the city's startups are breaking new ground across a range of industries.