Senior ASIC Verification Engineer - Digital & DSP

Amazon Inc.; San Diego (CA); In loco; USD 185.000 - 250.000; Tempo pieno

Descrizione del lavoro

Amazon Kuiper Manufacturing Enterprises LLC is seeking a senior verification engineer to define and implement SOC verification for LEO satellite modems and gateways. You will build a state-of-the-art verification environment and write tests in C/C++ for embedded CPUs, FPGA, and emulation platforms, driving functional coverage and regression success.

You will collaborate with design and systems teams, applying UVM, SystemC and DPI-C to verify complex blocks, and you will help maintain an

Competenze

• Master's degree or Ph.D. degree in Electrical Engineering or related field.
• 7+ years in verification preferably in communication systems.
• 5+ years in UVM, C/C++ and scripting.
• Familiarity with Matlab.
• Familiarity with formal verification techniques.
• Strong written and verbal skills.

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

Verification experience

UVM

C/C++

Scripting

Matlab familiarity

Formal verification

Written and verbal skills

Formazione

Master's or PhD in Electrical Engineering or related field

Strumenti

Matlab

Descrizione del lavoro

Amazon Kuiper Manufacturing Enterprises LLC is seeking a senior verification engineer to define and implement SOC verification for LEO satellite modems and gateways. You will build a state-of-the-art verification environment and write tests in C/C++ for embedded CPUs, FPGA, and emulation platforms, driving functional coverage and regression success.

You will collaborate with design and systems teams, applying UVM, SystemC and DPI-C to verify complex blocks, and you will help maintain an