- 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 play a key role in ensuring the functional correctness and completeness of our next… more
- Lightmatter (Mountain View, CA)
- Sr. Design Verification Engineer Lightmatter builds chips that enable extreme-scale artificial intelligence computing clusters. If you're a collaborative ... consider joining the team at Lightmatter! As a Design Verification Engineer at Lightmatter, you will find...a spectrum of areas including UVM, AMS modeling, mixed-signal verification , formal verification , emulation, and… more
- NVIDIA (Santa Clara, CA)
- We are now looking for a Senior Verification Engineer ! NVIDIA is currently seeking a Verification Engineer with strong CPU, Memory subsystem, and ... verification infrastructure using state of the art verification methodologies and formal verification ...state of the art verification methodologies and formal verification techniques. + Collaborate with architects,… more
- NVIDIA (Santa Clara, CA)
- We are now looking for a Senior Design Verification Engineer ! What you'll be doing: + Technical leadership role to define/plan/implement/execute ... verification strategy of complex design. + Ability to delve...to stand out from the crowd: + Experience with formal property checking tools such as Cadence (IEV), Jasper… more
- NVIDIA (Santa Clara, CA)
- The NVIDIA Clocks Team is looking for an excellent Senior ASIC Verification engineer with extensive experience in Design Verification . The NVIDIA Clocks ... in industry-standard verification flows like SV constraint random verification , UVM, Formal Verification , Coverage metrics, profiling tools, X prop, etc.… more
- Kelly Services (Santa Clara, CA)
- … Engineer_** **_Senior System Verification Engineer_** _- Software Mission: The Senior System Verification Engineer will develop tools and processes ... to be successful in this role_** _:_ + _Written verification plans/protocols and executed formal testing in..._:_ + _Written verification plans/protocols and executed formal testing in a regulated industry,_ **_medical device experience_**… more
- NVIDIA (Santa Clara, CA)
- NVIDIA is seeking a Senior Custom SOC/IP Verification Engineer to verify the next generation SoC and IP solutions! We are looking for special individuals ... What you'll be doing: + Responsible for ASIC design verification for various processing blocks in a SOC. Work...VCS or Cadence Xcelium Simulator, Verdi, JasperGold or VC Formal + Track record of first-pass success in ASIC… more
- Microsoft Corporation (Mountain View, CA)
- The Artificial Intelligence Silicon Engineering team is seeking a ** Senior Design Verification Engineer ** to deliver premium-quality designs once considered ... an extremely efficient manner. We are looking for a ** Senior Design Verification Engineer ** to...Perl. + Hands-on experience in Formal property verification , formal verification of computational… more
- Microsoft Corporation (Mountain View, CA)
- …Learning (ML) SoCs. + Working knowledge of writing assertions, coverage, and formal verification . + Effective communication skills, self-motivation, and ability ... and augmented reality. We are looking for a ** Senior Logic Design Engineer ** to work in...Property (IP) + Silicon validation + Collaborate with the verification team to ensure the implementation meets both architectural… more
- Google (Fremont, CA)
- …goals. + Develop and execute verification plans using simulation and formal verification techniques. + Support silicon bring-up and debug, working closely ... of hardware experiences, delivering unparalleled performance, efficiency, and integration. As the Senior Logic Design Engineer , you will play a pivotal role… more
- Vector Atomic (Pleasanton, CA)
- …with SoC designs, such as Zynq, Ultrascale, and/or Arria + Knowledge of formal verification techniques (PSL, SystemVerilog, UVVM, UVM, OVM) + Understanding of ... place for you! Position Summary We are seeking a Senior FPGA Engineer to join our team...HDL coding (Verilog and/or VHDL) for synthesizable RTL and verification + Experience with EDA tools such as Vivado… 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 ... We are now hiring for a Senior Logic and Digital Circuit Design Engineer...in RTL for mixed-signal blocks; Experience with industry standard verification methodologies, such as UVM + Proven experience with… 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 - ... infrastructure tools used by design engineers for build and verification of architectural, rtl, and gate level designs. As...architectural, rtl, and gate level designs. As a software engineer , you will craft highly efficient software to automate… more
- NVIDIA (Santa Clara, CA)
- …other checks. + Debugging timing violations and implementing functional, Timing ECO's and perform formal verification . What we need to see: + BS (or equivalent ... We are now looking for a motivated Physical Design Engineer to join our dynamic and growing team. If you want to challenge yourself and be a part of something great,… 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...are rapidly growing. If you're a creative and autonomous engineer with a real passion for technology, we want… more
- SpaceX (Sunnyvale, CA)
- …and analysis of various IPs into RTL + Develop/modify/run RTL logic synthesis, formal verification , power intent verification and post synthesis timing ... development for block and soc top. + Familiar with formal verification and implementing functional ecos. +...COMPENSATION & BENEFITS: Pay range: Synthesis and Front-End STA Engineer / Senior : $170,000.00 - $230,000.00/per year Your actual… more
- Qualcomm (Santa Clara, CA)
- …design verification . * 10+ years of work experience with simulation, emulation, formal verification , or silicon validation. * 10+ years of experience in ... smarter, connected future for all. As a Qualcomm CPU Engineer , you will lead innovative Central Processing Unit (CPU)...of work experience in a role requiring interaction with senior leadership (eg, Director level and above). **Principal Duties… more