Recruitment

• Define comprehensive formal verification plans, strategies, and methods for a high-quality verification sign-off
• Review and aid in developing the RTL design architecture and specification
• Prove functional correctness of design features using formal verification methods like model checking, logical equivalence checking, or theorem proving
• Formal sign-off delivering high quality IP or block in conjunction with simulation-based methodology for overall verification closure
• Develop and maintain regressions, tools, infrastructure, and integrated formal and functional verification methodology

Formal Verification Engineer

Talent Sourcer