SiFive, Inc. is seeking a Staff Design Verification Engineer to drive formal verification of high‑performance CPU core functionality. This role focuses on applying formal methods to complex out‑of‑order CPU core microarchitecture, owning difficult verification problems and building scalable proof infrastructure.
You will collaborate with architecture, RTL, and DV engineers to ensure high-quality verification and robust signoff across core units and interfaces.
#J-18808-LjbffrStaff Formal CPU Core Verification Engineer in austin at Unknown Company
This position is listed as full time and onsite.