TL;DR

CPU Formal Verification Engineer: Conducts verification of IP and/or SoC microarchitecture using formal verification tools and methodologies. Focus on creating abstraction models for convergence on the design and improving verification of complex architectural and microarchitectural features.

Location: This role will require an on-site presence.

Salary: $133,050.00-$187,840.00

Company

%hirify_global% is a worldwide organization focused on the development and integration of SOCs, Cores, and critical IPs from architecture to manufacturing readiness that power %hirify_global%’s leadership products.

What you will do

Conduct verification of IP and/or SoC microarchitecture using formal verification tools.
Create abstraction models for convergence on the design and apply abstraction techniques.
Develop formal proofs to implement the verification plan and develop new formal verification methodologies.
Find and implement corrective measures to resolve failing tests.
Collaborate with architects, RTL developers, and physical design teams to improve verification.

Requirements

B.S. in Computer Engineering/ Electrical Engineering or any STEM Degree with 6+ years of experience OR a M.S. in Computer Engineering/ Electrical Engineering or any STEM Degree with 4+ years of experience OR a PhD in Computer Engineering/ Electrical Engineering or any STEM Degree with 6+ months of experience.
Computer architecture knowledge with emphasis on out of order processor execution, memory hierarchy, and memory management.
Hands on experience with industry standard formal verification tools such as JasperGold, Questa Formal, VC Formal.
Experience with formal abstractions and other complexity reduction techniques.
Experience with a hardware modeling language, such as Verilog, VHDL, or System Verilog and industry standard logic simulation tools.

Nice to have

Knowledge of %hirify_global% Architecture ISA and system architecture, x86 assembly language.
Post-silicon debug and analysis.
Research publications, patent filings, or other evidence of personal technical innovation in validation methodology advancement.
Experience with applying sequential equivalence checking in complex micro-architectures.

Culture & Benefits

We offer a total compensation package that ranks among the best in the industry.
It consists of competitive pay, stock, bonuses, as well as, benefit programs which include health, retirement, and vacation.

Cpu Formal Verification Engineer