Role & seniority: Senior/Staff Verification Engineer specializing in digital ASIC/SoC verification for high-speed wireless (Low Earth Orbit satellite) communications

Stack/tools: RTL/Verilog-SystemVerilog, UVM, SystemC, DPI-C, Matlab, C scripting; formal verification techniques; DSP and embedded processor concepts; test benches and regression automation

Top 3 responsibilities

Build and maintain a state-of-the-art verification environment; implement RTL testing against reference Matlab/C models
Develop detailed test plans, write tests, run regressions, collect coverage, report program progress
Validate ASIC implementations, perform formal verification of complex blocks, and conduct system-level verification with UVM/SystemC/DPI-C

Must-have skills

Bachelor’s in Electrical Engineering or related field
5+ years in verification, preferably in communication systems
2+ years in UVM, C, and scripting

Nice-to-haves

Master’s degree in Electrical/Communications Engineering or related field
7+ years in digital verification for communications
Familiarity with Matlab; modem design verification experience
SystemC or Matlab model development or DV integration; experience with formal verification techniques
Strong written and verbal communication
Location & work type: USA-based roles in San Diego, Sunnyvale, Austin, or Redmond; full-time employment (onsite/hybrid not explicitly specified)

Full Description

Amazon Leo is Amazon’s low Earth orbit satellite network. Our mission is to deliver fast, reliable internet connectivity to customers beyond the reach of existing networks. From individual households to schools, hospitals, businesses, and government agencies, Amazon Leo will serve people and organizations operating in locations without reliable connectivity.

The Role

Be part of Amazon Leo’s sub-team responsible for defining and implementing the
digital chip SOCs for communications via Low Earth Orbit satellites and Amazon
gateways. This is a unique opportunity to define a groundbreaking wireless
solution with few legacy constraints. The team works with customer requirements
and wireless system teams to define modems, high-speed interfaces, embedded
processors, and DSP solutions in latest CMOS generation technologies.

In this role you will

· Implement a state of the art verification environment to facilitate testing of
the RTL against reference Matlab/C models
· Develop detailed test plans and write tests, run regressions, collect coverage
matrices and report progress to the program
· Participate in the validation of ASIC implementations in Verilog/SystemVerilog
· Run formal verification of complex blocks to ensure functional correctness
· Work with the design and communication systems team and participate in system
level verification using test benches constructed using UVM, SystemC and DPI-C
· Develop a highly automated environment to run regressions that can be used to
make builds and maintain organization of the database

Export Control Requirement

Due to applicable export control laws and regulations, candidates must be a U.S.
citizen or national, U.S. permanent resident (i.e., current Green Card holder),
or lawfully admitted into the U.S. as a refugee or granted asylum.

Basic Qualifications: - Bachelor's degree in Electrical Engineering or a related field

5+ years in verification preferably in communication systems
2+ years in UVM, C, and scripting Preferred Qualifications: - Master's degree
in Electrical or Communications Engineering or a related field
7+ years in digital verification, preferably in communication systems
Familiarity with Matlab
Modem design verification experience

ASIC Design Verification Engineer, Amazon Leo