- Qualcomm (San Diego, CA)
- …and graphics content of the most advanced mobile devices on the market. Graphics formal verification positions involve the developing high-quality formal ... verification test benches to verify complex designs in GPU . Position involves working with design, implementation teams to...quality. Must be proficient in debugging, deep bug hunting, formal tools, formal verification methodologies… more
- Qualcomm (San Diego, CA)
- …+ Windows and/or Linux OS Kernel Architecture + C/C++, GNU Toolchain, Visual Studio + Formal verification - FPV and DPV experience is a plus + Experience with ... designs, implements, verifies, and optimizes performance and power of GPU cores. Responsible for verification of Graphics...and power of GPU cores. Responsible for verification of Graphics IP , and performing pre- and… more
- Verilab (San Diego, CA)
- …+ C/C++ developing, or integrating, reference models into SystemVerilog/UVM environments. + Formal Verification : Formal Property Verification , Proof ... of consultants, providing clients with the very best in verification . You will be exposed to a diverse range...technical peer reviews. + Embedded programming for ARM, or GPU processors. + Python or Perl. Verilab is an… more