- Intel (Hillsboro, OR)
- …limited to: Conducts verification of IP and/or SoC microarchitecture using formal verification tools, methodologies, and technologies based on model checking ... and equivalence checking algorithms. Creates comprehensive formal verification test and coverage plans including...Java, TCL, etc. Intel or industry experience in pre-silicon verification of CPU cores, including specific areas… more
- Apple (Beaverton, OR)
- …to millions of customers quickly. Description We are seeking a highly motivated Design Verification Engineer to join our silicon engineering team focused on the ... auxiliary features of a high-performance ARM-based CPU . These features include Power Management, Clock Control, Debug...including hardware trace is a plus Experience with advanced verification techniques such as formal verification… more
- Apple (Beaverton, OR)
- …impact on getting functional products to millions of customers quickly. Description As a CPU Design Verification Engineer owning the verification of ... a certain area of functionality in a CPU design, you will have the responsibilities as follows:...system knowledge Experience in post-silicon bringup Experience with advanced verification techniques such as formal Should be… more
- Apple (Beaverton, OR)
- …iPhone, iPad, Watch, Vision Pro, and Mac. We are looking for an experienced engineer who can drive CPU multi-level cache subsystem architecture and RTL ... development for multi-processor systems. Description As a CPU Cache Microarchitect/RTL Engineer , you will own...and timing goals Verification - support the verification team in test bench development, formal … more
- Apple (Beaverton, OR)
- …experienced engineer to drive architecture and RTL development of CPU integer, floating-point, and/or load/store execution for our performant cores. Description ... As a CPU Microarchitect/RTL Engineer , you will own or...and timing goals Verification - support the verification team in test bench development, formal … more
- Apple (Waltham, MA)
- …Verification , Test and Validation, and FW/SW engineering. Description As a SOC Verification Engineer , you will be responsible for pre-silicon RTL ... or Python. Programming experience in C++ and assembly. Experience with embedded CPU verification . Experience defining coverage space and writing coverage model.… more
- Microsoft Corporation (Raleigh, NC)
- …will manage and optimize the Cloud infrastructure. We are looking for a Principal Verification Engineer to join the team. Responsibilities Lead an SoC ... verification environments in industry standard languages like SVTB UVM or formal verification . 2+ years of pre-silicon verification technical leadership,… more
- Intel (Hillsboro, OR)
- …analysis, power/clock distribution, reliability, and power and noise analysis. Conducts verification and signoff include formal equivalence verification , ... be limited to Performs physical design implementation of custom CPU designs from RTL to GDS to create a... verification , static and dynamic power integrity, layout verification , electrical rule checking, and structural design checking. Analyzes… more
- Caterpillar, Inc. (Tucson, AZ)
- …technical abilities in roles including (but not limited to): Product Design: Engineer components & systems for Caterpillar products to meet our customers' needs. ... [Sensors and actuators], speed calculation, injection/spark timing, memory management, CPU optimization, multi core design and implementation etc. In addition,… more
- NVIDIA (Santa Clara, CA)
- …are looking for: + BS/MS/PhD or equivalent experience in CS/CE/EE/Mathematics. + 5+ years of formal verification of GPU / CPU designs. + Solid understanding ... Nvidia's Central Formal Verification Team is seeking a highly motivated FV Engineer with a background in AI to help in the development and integration of AI… more
