This role pays more than
85%
of similar roles. Most pay
$175,000–$222,250
— the shaded band above.
At the midpoint, this role pays about
$250k
versus about
$199k
for comparable roles.
Based on 240 similar postings.
Employer
About Amd
AMD (Advanced Micro Devices) is a semiconductor company that develops high-performance processors, graphics cards, and adaptive computing solutions for gaming, data centers, and embedded markets. Industry: Semiconductors
Amd currently has
367 open roles
on FindRole.
Listed pay typically runs
$166,400–$249,600
across 367 roles with salary data.
Formal Verification Architect
The Formal Verification Architect joins the NBIO organization's IOHUB team to develop advanced I/O connectivity, virtualization, and infrastructure technologies for data center, AI/ML, client, graphics, embedded, and semi-custom products. In this role, you will lead a team of engineers to define formal verification strategies, develop methodologies, and manage infrastructure architecture for complex IP and SoC designs. Daily responsibilities include creating test plans, performing deadlock/livelock analysis, and executing protocol verification for arbitration-intensive designs using advanced techniques like abstraction and decomposition. You will utilize tools such as JasperGold and VC-formal while working with SystemVerilog, Verilog, or VHDL. The role focuses on solving complex design challenges in the domain of high-performance interconnects and memory controllers by ensuring functional correctness through formal connectivity verification and bridging formal flows with UVM-based simulation environments to achieve silicon sign-off.
System Verilog
UVM
SystemC
Verilog
C++
Formal Verification
ASIC Design
RTL
Linux
Windows
OOP
Simulation
Functional Coverage
Digital Design
Computer Architecture