Create and utilize cutting-edge tools and methodologies to detect, analyze, and resolve digital logic bugs in advanced CPU designs. Develop and implement verification methodologies that enhance design correctness, streamlining verification cycles for improved efficiency. Manage and
We are seeking a Formal Verification Engineer to join our team. In this role, you will leverage advanced formal verification techniques to ensure the correctness and performance of high-end RISC‐V cores. You will collaborate closely with