← All roles

Silicon Design Engineer

AMD· Engineering
Apply on company site
Hybrid (Hsinchu or Taipei)Full-timePosted 4w ago

About the role

Senior Formal Verification Engineer to join AMD’s USB Design Verification team in Hsinchu or Taipei. Responsible for developing and executing formal verification strategies for USB controller IP and related subsystems, influencing verification architecture and sign-off quality, and collaborating across design, architecture, and DV teams.

Responsibilities

  • Develop formal verification plans and strategies for USB controller IP and related logic.
  • Build and maintain formal testbenches, assertions, assumptions, constraints, and reference models.
  • Apply formal methods to protocol control logic, state machines, data integrity, connectivity, ordering, arbitration, and error-handling behaviors.
  • Execute property verification, connectivity checking, deadlock analysis, and formal coverage analysis.
  • Debug counterexamples and collaborate with RTL designers to identify root causes and corrective actions.
  • Define measurable formal sign-off criteria and communicate verification status, gaps, and risks.
  • Identify verification areas where formal methods provide greater confidence or efficiency than simulation.
  • Improve formal verification methodology, automation, scalability, and reuse across projects.
  • Review specifications and microarchitecture documents to identify ambiguities and verification risks early.
  • Partner with simulation DV teams to develop complementary formal and dynamic verification strategies.
  • Provide technical guidance and mentoring to other engineers.

Qualifications

  • Bachelor’s or Master’s degree in Electrical Engineering, Computer Engineering, Computer Science, or a related field.
  • Relevant industry experience in formal verification, design verification, or RTL design.

Skills

Required:Formal property verificationSystemVerilog and SystemVerilog AssertionsFormal verification toolsFormal environments and coverage modelsDebugging and root-cause analysisRTL/Verilog/SystemVerilogScripting languagesTechnical communication
Nice to have:UVM and simulationUSB protocols

Benefits

  • AMD benefits at a glance (link provided in posting)
Last updated Oct 15, 2026. Interested? Apply on the company site.
AMD logo

About AMD

together we advance_AI

AMD delivers leadership high-performance and adaptive computing solutions to advance data center AI, AI PCs, intelligent edge devices, gaming, & beyond.

AIData CenterHigh-Performance ComputingGamingEdge Devices
Company profileWebsite

More open roles at AMD