CPU Design Verification Engineer - Full Time

What you'll do

• Drive CPU verification strategy, develop test plans for functional blocks based on specifications targeting micro-architectural & ISA features,
• Architect, build and maintain SystemVerilog/C++ based testbench components, including stimulus generators, checkers, scoreboards, monitors, and reference models
• Develop directed and pseudo-random tests from Random Instruction Generators to verify CPU functionality and stress corner cases
• Define, implement, and close functional and code coverage goals, analyzing holes and driving them to closure
• Debug & root-cause failures across RTL, testbench, and reference models, and work with RTL designers to root-cause and resolve bugs
• Partner cross-functionally with RTL design, performance modeling, CAD/methodology, and software teams to align on verification strategy, improve tools and flows, and drive shared quality, schedule, and tape-out goals.
• Apply formal verification, assertions (SVA), and emulation where appropriate to improve verification quality and efficiency
• Run and maintain regressions across various platforms including Simulation, Emulation, FPGA’s and track bug trends and verification progress metrics
• Participate in microarchitecture, RTL, and verification reviews and write technical documentation

What we're looking for

• Bachelor's or Master's degree (or near-term graduation) in Electrical Engineering, Computer Engineering, Computer Science or a related field.
• Strong foundation in computer architecture and digital design, with solid understanding of at least two of the following:
  • Out-of-order execution
  • CPU front-end / control logic
  • Load/store and memory systems
  • Cache hierarchy and coherency
  • Virtual memory
  • Floating-point / computer arithmetic
  • SIMD / vector processing
• Working knowledge of a modern ISA including familiarity with ISA simulators or reference models
• Proficiency in SystemVerilog, C/C++, assembly
• Scripting experience for automation, test generation, regression management, or data analysis, such as Python, Tcl, or Rust