CPU Sub-system Design Verification Engineer

Globalfoundries U.S. Inc.
Santa Clara, CA, United States
3 months ago

Role details

Contract type
Permanent contract
Employment type
Full-time (> 32 hours)
Compensation
$188,000.0 - $325,000.0
Working hours
Regular working hours
Job source

Tech stack

C (Programming Language) Computer Engineering Perl (Programming Language) Formal Verification Field-Programmable Gate Array (FPGA) Python (Programming Language) Reduced Instruction Set Computing Subsystems SystemVerilog Test Case Scripting

Job description

MIPS - A GlobalFoundries company is seeking a Design Verification Engineer with 15+ years of experience to join our CPU verification team. The successful candidate will work on verification of processor components, focusing on CPU core functionality, coherency, and cache subsystems. This role offers an excellent opportunity to contribute with advanced verification methodologies and collaborate with world-class architects and designers., * Perform functional verification of CPU cores and related subsystems (coherency and cache controllers).

  • Understand and interpret microarchitectural specifications to develop effective verification strategies.
  • Develop and execute verification plans, including testbench creation and test case development.
  • Write directed and constrained random test cases in SystemVerilog, C, and Assembly.
  • Utilize UVM-based environments for coverage-driven verification.
  • Analyze coverage reports and assist in closing coverage gaps.
  • Automate regression and verification flows using scripting languages such as Python, Perl, or Shell.
  • Collaborate with senior engineers and architects to ensure design quality and performance.

Other Responsibilities:

  • Perform all activities in a safe and responsible manner and support all Environmental, Health, Safety & Security requirements and programs.

Requirements

  • Bachelor’s or Master’s degree in Electronics/Electrical/Computer Engineering.
  • 15+ years of experience in design verification, preferably in CPU or SoC verification.
  • Hands-on experience with SystemVerilog, UVM, and constrained random verification.
  • Familiarity with CPU architectures such as RISC-V, ARM, or MIPS.
  • Basic understanding of cache and coherency concepts.
  • Strong scripting skills in Python, Perl, or Shell., * Exposure to RISC-V architecture.
  • Knowledge of interconnect protocols like AXI, ACE, or CHI.
  • Experience with FPGA prototyping or emulation platforms.

About the company

GlobalFoundries is a leading full-service semiconductor foundry providing a unique combination of design, development, and fabrication services to some of the world’s most inspired technology companies. With a global manufacturing footprint spanning three continents, GlobalFoundries makes possible the technologies and systems that transform industries and give customers the power to shape their markets. For more information, visit www.gf.com., An offer with GlobalFoundries is conditioned upon the successful completion of pre-employment conditions, as applicable, and subject to applicable laws and regulations.

GlobalFoundries is fully committed to equal opportunity in the workplace and believes that cultural diversity within the company enhances its business potential. GlobalFoundries goal of excellence in business necessitates the attraction and retention of highly qualified people. Artificial barriers and stereotypic biases detract from this objective and may be illegally discriminatory.

Apply for this position

This job is hosted externally. Click below to view the full posting and apply.

Apply on jofdav.com

Good distractions

Talks and stories from around this role — technically off-topic, practically not.

8:50 min

Validating test cases using the LLM judge concept

Alisa Hrustic Alisa Hrustic · Europe 2026 Virtual

1:04 min

Introduction to Bitcoin script parsing tools

Steve Shadders · LIVE

2:05 min

Finding product boundaries using lack of cohesion metric grouping

Pratishtha Pandey Pratishtha Pandey · WWC 2024

59 sec

State of the art in software verification

Onur Kasimlar Onur Kasimlar · WWC 2025

5:53 min

Defining semantic test cases with pairwise combinations

Johannes Bergsmann Johannes Bergsmann +1 · WWC 2023

1:28 min

Exploring quantum execution frameworks and hardware layouts

Alex Waldherr Alex Waldherr · WWC 2022

Videos

See all

Related articles

See all