Santa Clara, California
•
2d ago
We are looking for formal verification experts to ensure design correctness using mathematical verification techniques and advanced formal tools. Key Responsibilities: Develop formal verification strategies and methodologies Write SystemVerilog Assertions (SVA) Perform property checking, equivalence checking, and CDC/RDC analysis Identify corner cases missed in simulation Collaborate with RTL teams for design improvements Required Skills: Strong knowledge of formal verification tools (Ja
Easy Apply
Part-time
Depends on Experience









