Asic Sub System / Block Level Verification Engineer

AMD AMD · Semiconductors · Hyderabad, India · Engineering

This role is for an ASIC Subsystem/Block Level Verification Engineer at AMD, focusing on Network on Chip (NOC) IPs and Subsystems. The engineer will architect, develop, and use simulation and formal verification environments to ensure the functional correctness of NOC IPs, subsystems, and SOC designs. Responsibilities include planning verification, designing testbenches in System Verilog and UVM, debugging, and coverage analysis. While the company mentions AI and data centers, this specific role is in hardware verification, not AI model development.

What you'd actually do

  1. Lead and Plan verification of complex digital design blocks by fully understanding the architecture and design specifications
  2. Interact with architects and design engineers to create a comprehensive verification testplan
  3. Design and architect testbenches in System Verilog and UVM to complete verification of the design in an efficient manner
  4. Create and enhance constrained-random and/or directed verification environments, and formally verify designs with System Verilog Assertions (SVA) and industry leading formal tools
  5. Debug tests with design engineers to deliver functionally correct design blocks

Skills

Required

  • System Verilog
  • UVM
  • Verification environments
  • Formal verification
  • System Verilog Assertions (SVA)
  • Debugging
  • Coverage analysis

Nice to have

  • OVM
  • VMM
  • Verilog test benches
  • Synopsys VCS
  • Cadence IES
  • Assertion-based verification
  • Coverage-driven verification
  • ASIC development
  • Full custom chip development
  • Block level NOC verification
  • AXI3/4
  • DDR4/5
  • HBM
  • PCIe
  • Processors
  • Graphics
  • Verification architect
  • FPGA verification
  • SOC verification
  • VLSI design
  • Gate level simulation
  • Power verification
  • Reset verification
  • Contention checking
  • Abstraction techniques
  • Verification management tools
  • Regression management
  • Cadence (IEV)
  • Jasper
  • Synopsys (VC-Formal, Magellan)