SMTS Silicon Design Engineer

Advanced Micro Devices, Inc.; Austin (TX); On-site; USD 160,000 - 230,000; Full time

Job summary

Advanced Micro Devices, Inc. (AMD) is seeking a Senior Silicon Design Engineer to lead a research group focused on formal verification domains.

You will explore ISA and memory model formalization, define long-term strategy, and drive best-in-class verification infrastructure across ASIC design. Responsibilities include developing advanced methodologies for datapath and control logic, scaling verification for GPU/AI processors, and collaborating with engineers across the company to improve

Qualifications

• Four years of experience in formal verification of algorithms, engines, and use cases.
• SystemVerilog Assertion and abstract model development.
• Using formal verification tools from both Academy and EDA vendors (JasperGold, VC Formal, Murphi, or theorem prover).
• Delivering high-quality verification for modern, large-scale processor design, such as CPU, GPU, or AI processor.
• Computer architecture and graphics pipeline; and
• Developing formal verification infrastructure for FPV, DPV, SEV, and other use cases.

Responsibilities

• Lead the research group for emerging formal verification domains like security, safety, low-power and architecture-level formal verification.
• Define long-term strategy for formal verification expansion and steer the technical roadmap.
• Develop cutting-edge verification methodologies for the whole graphics design, including datapath and control logic.
• Scale formal verification to large, critical designs to ensure bug-free quality.
• Collaborate with cross-functional teams on ASIC/layout design and evaluate design flows.

Skills

Formal verification techniques

SystemVerilog

CPU/GPU architecture

Cross-functional collaboration

Education

Master’s degree in Computer/Electrical/Electronics Engineering

Bachelor’s degree + 6 years experience alternative

Tools

JasperGold

VC Formal

Murphi

Theorem prover

Job description

ADVANCE YOUR CAREER. ADVANCE THE WORLD.

At AMD, we believetechnology has the power to solve the world’s most important challenges. From advancing healthcare and scientific discovery to powering AI and the technologies people rely on every day, innovation at AMDis shapingthefuture.

Whetheryou’redesigning next-gen processors, enabling AI breakthroughs, orbringing leading edge products to market, every role at AMD contributes to something bigger— technologythat moves the world forward.Join us and, together, we’ll advance your career.

Job Role and Responsibility:

AMD, Inc. is hiring SMTS Silicon Design Engineer to Lead the research group for emerging formal verification domains like security, safety, low-power, architect-level formal verification, etc. Explore the feasibility of formalizing ISA and memory model for GFXIP design. Define long-term strategy for formal verification expansion and steer the technical roadmap. Develop cutting-edge formal verification methodology to cover the whole graphics design, including both datapath and control logic. Scale formal verification to big and critical design for bug-free quality. Expand formal verification adoption to the whole IP development life cycle. Resolve challenging convergence issue through world-class formal verification techniques like induction, reduction, abstraction, etc. Define and drive the best-in-class formal verification infrastructure to improve formal verification productivity. Research, design, develop, and/or test electronic components and systems for semiconductor and related device manufacturing, employing knowledge of electronic theory. Lead definition, design, verification, and/or documentation for ASIC development. Determine architecture design, logic design, and/or system simulation. Define module interfaces/formats for simulation. Lead the development of multidimensional designs involving the layout of complex integrated circuits. Evaluate all aspects of the process flow from high-level designs to synthesis, place and route, and timing and power use. Work with cross-functional teams including engineers to develop ASIC/layout design, working on significant and unique issues where analysis of situations or data requires an evaluation of intangibles. Drive projects or processes of significant technical importance. Exercise independent judgment to select methods, techniques and evaluation criteria for obtaining results with little to no supervision. Utilize unique knowledge of computers and electronics, including circuit boards, processors, chips, electronic equipment, design techniques, tools, and principles to contribute to the development of company objectives and principles and to achieve goals in creative and effective ways. Apply knowledge of engineering principles, best practices, and technologies to the design, development, and testing of various AMD products.

Travel required:

NO

Qualifications: Degree required

Master’s degree or foreign equivalent in Computer Engineering, Electrical Engineering, Electronics Engineering, or related field.

Qualifications: Amount and type of experience required

Four (4) years of experience in job offered or closely related engineering role.

Alternate combination of education and experience:

Employer will alternatively accept a Bachelor’s degree or foreign equivalent in Computer Engineering, Electrical Engineering, Electronics Engineering, or related field and six (6) years of progressive, post-baccalaureate experience in job offered or closely related engineering role.

Specific skills required: The following skills are required:

Position requires four (4) years of experience in the following:

• Formal verification of algorithms, engines, and use cases;
• SystemVerilog Assertion and abstract model development;
• Using formal verification tool from both Academy and EDA vendors (JasperGold, VC Formal, Murphi, or theorem prover);
• Delivering high-quality verification for modern, large-scale processor design, such as CPU, GPU, or AI processor;
• Computer architecture and graphics pipeline; and
• Developing formal verification infrastructure for FPV, DPV, SEV, and other use cases.

Benefits offered are described: AMD benefits at a glance.

AMD does not accept unsolicited resumes from headhunters, recruitment agencies, or fee-based recruitment services. AMD and its subsidiaries are equal opportunity, inclusive employers and will consider all applicants without regard to age, ancestry, color, marital status, medical condition, mental or physical disability, national origin, race, religion, political and/or third-party affiliation, sex, pregnancy, sexual orientation, gender identity, military or veteran status, or any other characteristic protected by law. We encourage applications from all qualified candidates and will accommodate applicants’ needs under the respective laws throughout all stages of the recruitment and selection process.

AMD may use Artificial Intelligence to help screen, assess or select applicants for this position. AMD’s “Responsible AI Policy” is available here.

This posting is for an existing vacancy.