Formal Hardware Design Verifier

Formal Verification Engineer

We are seeking an experienced Formal Verification Engineer to join our team. The successful candidate will be responsible for conducting comprehensive formal verification of hardware designs and digital systems, ensuring all properties and specifications are met.

• Requirements:


• * Conduct thorough analysis of digital circuits using formal methods to ensure correctness and functionality. *


• * Collaborate with design teams to define verification requirements and develop test plans that meet those needs. *


• * Prepare detailed technical reports on findings from the analysis phase, including recommendations for improvement where necessary.* *


• ' Strong understanding of property specification languages (PSL), assertion-based verification (ABV) techniques, SVA (SystemVerilog Assertions).’*
  
  *
  
  
  
  '* Excellent problem-solving skills, ability to commu...