- Amazon (Austin, TX)
- 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 ... the RTL against reference Matlab/C models . Develop detailed test plans and write tests, run regressions, collect coverage...System C or Matlab model : development or DV integration experience - Familiarity with formal verification techniques -… more