ASIC Formal Verification Engineer I (Pre-Silicon)

Amazon Inc.; Austin (TX); On-site; USD 116,000 - 134,000; Full time

Job summary

Amazon Inc.’s Annapurna Labs unit drives pre-silicon hardware co-design for AWS, delivering cutting-edge hardware and software that powers accelerated computing at scale.

You will join a world-class pre-silicon hardware design team, defining and checking specifications of critical hardware modules using formal methods and industry model checkers, with a focus on Verilog/SVA, and automation via scripting.

Qualifications

• Bachelor's or Master's degree in a relevant field.
• Experience with formal methods (SW/HW).
• Foundations of computer architecture coursework/internship.

Skills

Analytical thinking

Communication

Ambiguity handling

Abstraction

Education

Bachelor's/Master's degree in related field

Tools

JasperGold

VC Formal

RTL Verilog

Python

TCL

Job description

Amazon Inc.’s Annapurna Labs unit drives pre-silicon hardware co-design for AWS, delivering cutting-edge hardware and software that powers accelerated computing at scale.

You will join a world-class pre-silicon hardware design team, defining and checking specifications of critical hardware modules using formal methods and industry model checkers, with a focus on Verilog/SVA, and automation via scripting.