SiFive, Inc. seeks a Staff Design Verification Engineer to drive formal verification for high‑performance CPU cores. You will own the verification strategy, build scalable environments, and collaborate with architecture and RTL teams to ensure rigorous proof closure.
The role emphasizes property-driven verification, debugging complex microarchitectural behavior, and mentoring peers in formal methods within a fast-paced CPU development environment.
#J-18808-LjbffrStaff Formal Verification Engineer, CPU Core - Equity in tx at Unknown Company
This position is listed as full time and onsite.