- 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 (Santa Clara, 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
- NVIDIA (Santa Clara, CA)
- NVIDIA is looking for Formal Verification Engineer to help verify the design and implementation of industry's leading CPUs and other High Performance ... Computing Solutions. As a Formal Verification Engineer , you will...years of experience in CS/CE/EE/Mathematics. + Solid understanding of GPU /CPU architectures and designs. + Strong analytical skills to… more
- Meta (Austin, TX)
- **Summary:** Meta is hiring ASIC Design Verification Engineer within the Infrastructure organization. We are looking for individuals with experience in Design ... On Chip (SoC) for data center applications.As a Design Verification Engineer , you will be part of...Preferred Qualifications: 13. Experience in development of UVM based verification environments from scratch. 14. Experience verifying GPU… more
- Meta (Sunnyvale, CA)
- **Summary:** Meta is hiring ASIC Design Verification Engineer within the Infrastructure organization. We are looking for individuals with experience in Design ... On Chip (SoC) for data center applications.As a Design Verification Engineer , you will be part of...or more of the following areas along with functional verification -SV Assertions, Formal , Emulation. 12. Experience in… more
- Meta (Sunnyvale, CA)
- **Summary:** Meta is hiring ASIC Design Verification Engineer within the Infrastructure organization. We are looking for individuals with experience in Design ... On Chip (SoC) for data center applications.As a Design Verification Engineer , you will be part of...you will be able to use other approaches like Formal and Emulation to achieve a bug-free design. The… more
- Verilab (Dallas, TX)
- …+ 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
- NVIDIA (Santa Clara, CA)
- …threat models, attack-trees, static/dynamic analysis, fuzzing, and negative testing + Experience with formal verification + Passion for your work We are widely ... GPUs. We are searching for an outstanding security software engineer to fill an exciting, yet fun role on our GPU Firmware team. You will be joining a team whose… more
- NVIDIA (Santa Clara, CA)
- …modern C++, build systems, and database. + Experienced with EDA Vendor tools for design, verification and formal analysis. The base salary range is 148,000 USD - ... reinvented itself over two decades. Our invention of the GPU in 1999 fueled the growth of the PC...infrastructure tools used by design engineers for build and verification of architectural, rtl, and gate level designs. As… more
- NVIDIA (Santa Clara, CA)
- …CDR, and offset cancellation + Experience with static timing tools (nanotime, primetime) and formal verification tools + Have a strong background in Perl and ... hiring for a Senior Logic and Digital Circuit Design Engineer ! NVIDIA has continuously reinvented itself over two decades....reinvented itself over two decades. Our invention of the GPU in 1999 sparked the growth of the PC… more