Leadership Role - Formal Verification
Core
Lead formal verification strategy, execution, and sign-off for complex memory controller designs within AMD's UMC Verification team.
Role type
Senior IC Formal Verification Technical Lead
Builds
SoCs (System on Chips) for Client, Server, Graphics, and Semi-Custom products
Domain
Semiconductor / Hardware Verification
Required skills
Formal verification methodology, assertions, constraints, proof convergence, debug, SV assertions, Perl/Tcl scripting, multi-site team leadership
Preferred skills
ASIC/IP verification, complex CPU/ASIC projects, Cache coherency, AMBA protocol, VC Formal/Jasper tools
Technologies
VC Formal, Jasper, Perl, Tcl, SV
Responsibilities
Create FV test plans, build formal verification environments, drive planning/execution/sign-off across blocks, mentor team members, align priorities with global stakeholders
Seniority
Senior, hands-on IC with leadership responsibilities
