Senior Design Verification Engineer – Security Ip

AMD AMD · Semiconductors · Bangalore, India · Engineering

This role is for a Senior Design Verification Engineer focused on Security IP (SECIP) development at AMD. The engineer will be responsible for block-level functional verification and subsystem-level integration and verification of embedded micro-processor subsystems and hardware accelerators. The role involves developing verification architectures, testbenches, and test plans using SystemVerilog/UVM, C-DPI, and formal verification methodologies. Key responsibilities include debugging simulations, analyzing coverage, collaborating with design teams, and providing technical leadership in verification methodology and problem resolution. While the company mentions AI and its role in computing experiences, this specific position is centered on hardware verification, not AI model development or deployment.

What you'd actually do

  1. Develop and maintain block level IP and MP subsystem verification architecture, testbenches, test methodology and infrastructure
  2. Develop and debug test plans using SystemVerilog/UVM constrained-random test methodology, C-DPI directed test methodology, formal proof verification methodology, and using object-oriented programming (OOP) techniques to implement/maintain testbenches and tests
  3. Triage regressions, debug simulations, analyze coverage, work/resolve technical issues with design, verification and other teams to achieve verification closure
  4. Participate in MP subsystem specification, influence IP micro-architecture development (design for verification aspect), design and execute reusable test methodology across individual MP subsystems
  5. Debug and solve integration issues with SoC Integration and SoC DV teams

Skills

Required

  • SystemVerilog
  • UVM
  • Object-oriented programming
  • C-DPI
  • Formal proof verification
  • ASIC verification tools
  • Simulation
  • Debugging
  • Linting
  • Power aware simulation
  • AXI
  • AHB
  • AMBA

Nice to have

  • Ruby
  • Perl
  • Python
  • Makefile
  • C-DPI
  • Formal Verification techniques