- Intel Corporation (Folsom, CA)
- …+ Experience working with cross functional teams (Architecture, Spec development, Design, Formal , Verification ). Job Type: Experienced Hire Shift: Shift 1 ... as well as design integrity for physical implementation. + Reviews the verification plan and implementation to ensure design features are verified correctly and… more
- NVIDIA (Santa Clara, CA)
- …of our Memory Subsystem Design team, you will collaborate with architects/design verification / formal verification /physical design team to deliver a ... world-class solution. NVIDIA SOC Interconnects are among the industry's most sophisticated because of the complex area, latency, power, bandwidth and quality-of-service requirements. + In this position, you will have the opportunity to be responsible for the… more
- NVIDIA (Santa Clara, CA)
- …+ Operating Systems (Threads, Process Control, Memory/Resource Management, Virtual Memory), Formal Verification Tools (Spark, Frama-C), Linux Kernel Development ... and developing tools and infrastructure to improve our front-end design and verification process + Course or internship experience related to the following areas… more
- Broadcom (Irvine, CA)
- …+ Collaborate with physical design team on constraint generation, timing closure analysis, formal verification , low power checks using UPF/CPF flows and ECO ... and resolve Lint and Clock/Reset Domain crossing issues in the design + Collaborate with verification team on test plan development, debugging, and coverage closure… more
- Northrop Grumman (San Diego, CA)
- … verification + Experience with FMS programs + Experience with formal requirement verification and decomposition + Programming Skills in C/C++/Python/VBA ... requirements traceability for defects + Develop, de-bug and execute Regression Verification Tests + Perform hands-on Integration within Test environment + Performs… more
- Northrop Grumman (Los Angeles, CA)
- …as oscilloscopes and logic analyzers. . Generation of Test Benches and support of formal VHDL Verification . Active/Current DoD Secret Clearance or higher level ... Technology, Engineering or Mathematics) discipline with 5 years of digital verification engineering experience using industry standard simulation tools; 3 years with… more
- Northrop Grumman (Los Angeles, CA)
- …oscilloscopes and logic analyzers. + Generation of Test Benches and support of formal VHDL Verification Primary Level Salary Range: $101,000.00 - $151,400.00 The ... Technology, Engineering or Mathematics) discipline with 2 years of digital verification engineering experience using industry standard simulation tools; 0 years with… 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 ... innovation for over two decades. Our groundbreaking invention of the GPU in 1999 fueled the growth of PC gaming market, redefined modern computer graphics and revolutionized parallel computing. More recently, our advancements in GPU deep learning sparked the… more
- Amazon (Cupertino, CA)
- …physical design flows, and methodologies including synthesis, place and route, STA, formal verification . - Proven track record of delivering metric driven ... PPA flow development and support. Preferred Qualifications - Demonstrated level of expertise in PD tools such as Innovus, ICC2, FusionCompiler, STA, and Sign-Off. - Experience in evaluating multiple vendor solutions and driving tool decisions. - Experience in… more
- Cisco (San Jose, CA)
- …Cadence). + Experience with Spyglass CDC and glitch analysis. + Experience using Formal Verification : Synopsys Formality and Cadence LEC. + Experience with ... scripting languages such as Python, Perl, or TCL. . **Why Cisco?** At Cisco, we're revolutionizing how data and infrastructure connect and protect organizations in the AI era - and beyond. We've been innovating fearlessly for 40 years to create solutions that… more