FPGA Design & Formal Verification Engineer

Advanced Micro Devices, Inc•Markham, ON

9h•Hybrid

About The Position

The Advance Formal Verification team is dedicated to formal verification. It provides formal functional and security verification for a broad range of IPs including input-output virtualization, PCIe Root-Complex/End-Point, inter-chiplet highspeed connections, etc. We are currently looking for formal verification engineers with expertise in IP verification, formal verification methodologies, highspeed IO bus protocols and team leadership to take on the challenges. In these highly visible roles, the qualified candidates will use cutting edge formal verification technologies to verify the newest IPs resulting in a level of design quality not paralleled by classical verification.

Requirements

Strong verification experience is required in either ASIC or FPGA.
Strong background in formal property verification (FPV), sequential equivalence checking (SEC/SEQ/SLEC), and/or academic formal methods.
Expertise in a formal property language (SVA preferred), abstraction techniques, formal sign-off and commercial formal tools (VC-Formal, JasperGold, Questa Formal, etc.).
Extensive experience verifying complex, packet or control based designs.
Familiarity with industry standard high-speed protocols such as PCIe, CXL, SATA, USB, AXI, UCIe, etc.

Nice To Haves

Design and implement FPGA based digital systems
Proficiency with FPGA designs in Verilog/ SystemVerilog/ VHDL
Experience with in-system debugging of FPGAs is preferred
Knowledge of clock domain crossing techniques is nice to have
Experience with verification of Hardware-Firmware interaction is highly desirable.

Responsibilities

Collaborating with architects and designers to understand the design intents.
Creating and executing formal verification plans for design blocks.
Writing and debugging properties to verify the design, analyzing signatures and pushing for the resolution.
Optimizing runtime using formal techniques.
Collecting and reporting status and progress.
Improving formal setups based on feedbacks from reviews, metrics, etc.