Senior Formal Verification Engineer

What will your job look like:

• You will verify unique and complex design blocks.
• Help determine the Formal strategy and methodology for the team.
• Explore new Formal methods and tools.

All you need is:

• 6+ years of experience in Formal Verification.
• Strong debug skills.
• In-depth knowledge of how Formal works.
• Experience in System Verilog - Advantage.
• Knowledge in Industry Standard protocols such as AXI/OCP/APB - Advantage.
• Experience with multiple clock domains during cover block by Formal.
• Knowledge of the following programming languages: Perl/Bash/Tcl/Python.
• Experience with Hardware Verification concepts and tools (UVM).