- 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
- NVIDIA (Santa Clara, CA)
- Nvidia's Central Formal Verification Team is seeking a highly motivated FV Engineer with a background in AI to help in the development and integration of AI ... capabilities into formal verification tasks. As a part of this team, you will play a key role in ensuring functional correctness and completeness of our next… more
- Amazon (Cupertino, CA)
- …to deliver high performance at low cost. Key job responsibilities - Develop formal verification plans, implement and verify state-of-the-art IP architectures. - ... engineering, or related field - 7+ years of practical experience with formal verification as IP/Block owner, or equivalent academic experience in formal … more
- Amazon (Sunnyvale, CA)
- …. Participate in the validation of ASIC implementations in Verilog/SystemVerilog . Run formal verification of complex blocks to ensure functional correctness . ... Matlab model : development or DV integration experience - Familiarity with formal verification techniques - Strong written and verbal skills Amazon is an equal… more
- Imperative Care (Campbell, CA)
- …test methods and associated fixturing/automation to support both explorative, characterization, and formal verification testing of the Company's products. + Your ... Job Title: Senior R&D Test Engineer Location :...of devices for concept selection, design optimization, and design verification in close collaboration with the preclinical and design… more
- Imperative Care (Campbell, CA)
- Title: Senior R&D Engineer This position is based in our Campbell, California offices. This position is on-site, full-time. Why Imperative Care? Do you want to ... patient, and they come first in everything we do. What You'll Do As a senior professional, t his position will use solid knowledge and experience to design, develop… more
- Amazon (Cupertino, CA)
- …ASIC physical design, and methodologies including synthesis, place and route, STA, IR, formal and physical verification . - Demonstrated level of expertise in PD ... of emergent technologies. We're looking for an ASIC Physical Design Methodology Engineer to help us trail-blaze new technologies and architectures, while ensuring… more
- Amazon (Cupertino, CA)
- …tools (examples: Cadence, Mentor Graphics, Synopsys, or Others) develop flows for synthesis, formal verification , floor planning, bus / pin planning, place and ... integration of emergent technologies. We're looking for an ASIC Physical Design Engineer to help us trail-blaze new technologies and architectures, while ensuring… more
- Amazon (Sunnyvale, CA)
- …-Master's or Ph.D degree in Electrical / Communications Engineering -Exposure to Formal verification -Experience with physical implementation flows Amazon is an ... time to revenue. Innovators will be delighted with our integrated verification /validation environment that is used to perform architectural modeling to post-silicon… more
- Cadence Design Systems, Inc. (San Jose, CA)
- …Must have a deep te c hni c al knowledge and understanding of digital verification flows, including simulation, debug, coverage, formal , and Verification IP. ... the c ore te c hnology requirements in digital verification , leadership for defining and c oordinating disruptive te...acc ount management or as a Appli c ations Engineer or Design Engineer with proven tra… more
- Google (Mountain View, CA)
- Senior Design Verification Engineer , Silicon _corporate_fare_ Google _place_ Mountain View, CA, USA **Mid** Experience driving progress, solving problems, ... with an emphasis on computer architecture. + Experience in different verification techniques and methodologies including formal , Gate-Level Simulation, Unified… more
- Amazon (Sunnyvale, CA)
- …Neural Edge that is powering the latest generation of Echo devices is looking for a Senior Design Verification Engineer to continue to innovate on behalf of ... with high performance industry standard buses like AMBA AXI4 Experience with formal verification Experience with post-silicon validation Experience with embedded… 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
- NVIDIA (Santa Clara, CA)
- We are now looking for a motivated Senior Circuit Verification Engineer to join our dynamic and growing team. Designing RAMs at leading edge process nodes ... verification of innovative circuits. + Support designer efforts in running formal verification , electronic rule checking, and other verification flows. +… more
- NVIDIA (Santa Clara, CA)
- NVIDIA is seeking a hardworking Senior ASIC Design Verification Engineer to help drive sign-off strategies for world's leading GPUs and SoCs. This position ... silicon correlation. + Own the unit and sub-system level verification of various IPs, create functional test plans, and...as VCS-XA or equivalent tools, Gate Level Simulation or Formal Equivalence domains. + Proficiency in scripting language, such… more
- Capgemini (Santa Clara, CA)
- **About the Job You're Considering** We're seeking a **Design Verification Engineer ** for a **hybrid role** based in **Santa Clara, CA** or **Boston, MA** . This ... Domains:** Experience in one or more areas-Ethernet, Mixed Signal Digital design verification , Formal Property Verification (Jasper or similar tools),… more
- NVIDIA (Santa Clara, CA)
- …Strong proficiency in micro-architecture and RTL development using Verilog. + Experience with formal verification using JasperGold is a plus. + Deep expertise in ... We are now looking for a Senior ASIC Design Engineer - DFX...groundbreaking innovations involving crafting creative solutions for DFT architecture, verification and post-silicon validation on some of the industry's… more
- NVIDIA (Santa Clara, CA)
- …of Automotive quality standards, ASPICE, ISO 26262, ISO 21434 + Hands-on experience with formal verification methods and tools, such as TLA + NVIDIA is widely ... world-class Autonomous Vehicles. We are making extensive use of formal methods to automate our workflow and increase the...SW. We are hiring now for the position of Senior System Software Engineer for Hypervisor and… more
- General Motors (Mountain View, CA)
- …and integration activities. Responsibilities of the **_Senior Hardware Design Engineer - Aggregator_** include utilizing engineering tools and processes to ... production tests + Lead the process as a build-to-print engineer that also acts as a liaison with the...plan for a component validation plan (includes component software verification ) and ensure that the plan is executed in… more
- NVIDIA (Santa Clara, CA)
- …using various flows and methodologies including: Static Timing analysis, EM and IR analysis, Formal Verification At NVIDIA, we have been at the forefront of ... We are now looking for a Senior SRAM Engineer ! The Full Custom Macro team at NVIDIA designs specialized RAM implementations for NVIDIAs wide array of processing… more