Senior ASIC Verification Engineer, Space/ Satellite Comm

Amazon Inc.; Sunnyvale (CA); In loco; USD 213.000 - 288.000; Tempo pieno

Vantaggi offerti da questo lavoro

Health insurance

RSUs

401(k) matching

Paid time off

Parental leave

Descrizione del lavoro

Amazon Kuiper Manufacturing Enterprises LLC is seeking a senior verification engineer to lead the development of SOC verification for LEO satellite communications. The role focuses on creating advanced test environments, verifying RTL against Matlab/C models, and writing tests for embedded CPUs, FPGA, and emulation platforms.

The candidate will employ UVM, SystemC, and DPI-C in system-level verification, drive formal verification of complex blocks, and help automate regression to streamline

Competenze

• Master's degree or Ph.D. in Electrical Engineering or related field.
• 7+ years in verification preferably in communication systems.
• 5+ years in UVM, C/C++ and scripting.

Mansioni

• 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.
• Write tests in C/C++ to execute on embedded CPU.
• Develop tests for FPGA and emulation platforms.
• 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, System C and DPI-C.
• Develop a highly automated environment to run regressions that can be used to make builds and maintain organization of the database.

Conoscenze

UVM

SystemC

DPI-C

C/C++

Scripting

RTL verification

Embedded systems

Formazione

Master's or Ph.D. in Electrical Engineering or related field

Strumenti

Matlab

Formal verification

Descrizione del lavoro

Amazon Kuiper Manufacturing Enterprises LLC is seeking a senior verification engineer to lead the development of SOC verification for LEO satellite communications. The role focuses on creating advanced test environments, verifying RTL against Matlab/C models, and writing tests for embedded CPUs, FPGA, and emulation platforms.

The candidate will employ UVM, SystemC, and DPI-C in system-level verification, drive formal verification of complex blocks, and help automate regression to streamline