layiq
worthy; deserving; fitting; suitable.
A role, opportunity, or path that merits attention, time, and pursuit.
Loading LAYIQ…Job opportunity
SiFive
Austin, Texas, United States; Austin, TX; California
Source: SiFive careers · View original posting
From SiFive's posting. “We” and “our” refer to the employer.
As the pioneers who introduced RISC-V to the world, SiFive is transforming the future of compute by bringing the limitless potential of RISC-V to the highest performance and most data-intensive applications in the world. SiFive’s unrivaled compute platforms are continuing to enable leading technology companies around the world to innovate, optimize and deliver the most advanced solutions of tomorrow across every market segment of chip design, including artificial intelligence, machine learning, automotive, data center, mobile, and
consumer. With SiFive, the future of RISC-V has no limits.
At SiFive, we are always excited to connect with talented individuals, who are just as passionate about driving innovation and changing the world as we are.
Our constant innovation and ongoing success is down to our amazing teams of incredibly talented people, who collaborate and support each other to come up with truly groundbreaking ideas and solutions. Solutions that will have a huge impact on people's lives; making the world a better place, one processor at a time.
Are you ready?
To learn more about SiFive’s phenomenal success and to see why we have won the GSA’s prestigious Most Respected Private Company Award (for the fourth time!), check out our website and Glassdoor pages.
SiFive is looking for a Staff Design Verification Engineer to drive formal verification of high-performance CPU core functionality.
This is a Staff individual-contributor role within the CPU Design Verification organization, focused on applying formal methods to complex out-of-order CPU core microarchitecture. The role is aimed at an engineer who can independently own difficult verification problems, define strong property-driven verification strategies, identify risk early, and improve verification quality across the broader CPU DV effort.
The primary technical scope includes formal verification of CPU core units such as frontend, midcore control logic, issue and commit behavior, load-store interactions, clock-gating and control logic, and other bounded or high-risk microarchitectural behaviors where exhaustive reasoning provides strong value.
LAYIQ is an independent job-discovery service. This listing does not imply a partnership with or endorsement by the employer. Review the original posting for current details and availability.
Employer posted: