Santa Clara, California
•
Yesterday
Roles & Responsibilities: 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 fo
Easy Apply
Contract, Third Party
Depends on Experience














