- NVIDIA (Santa Clara, CA)
- …in low-power and high-performance design optimization techniques. + Familiarity with formal verification tools (eg, Formality/Conformal LEC) and methodologies. ... and power/area optimization across multiple design blocks + Work with DFT and Verification teams to ensure functional and timing correctness What we need to see:… 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 (San Diego, 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
- Broadcom (San Jose, CA)
- …tools.** + **Expert with developing automation scripts and design flow.** + **Run Formal Verification checks between RTL and Gate level netlist and debug ... the aborts, inconclusive and Logic Equivalency failure.** + **Perform RTL Lint and work with the Designers to create waivers** **.** **Highly Desired Qualifications:** + **Understanding of Cadence tools - Genus, Joules, Conformal.** + **Understanding of Power… more
- Google (Mountain View, CA)
- …an agent that leverages powerful AI models, compilers, runtimes, static/dynamic analyzers, and formal verification tools to harden code against a wide range of ... vulnerabilities across different programming languages and frameworks in collaboration with experts across these areas. As a part of the project, + You will be rapid-prototyping initial concepts and designing and running experiments to achieve our goals. +… more
- Google (Mountain View, CA)
- …an agent that leverages powerful AI models, compilers, runtimes, static/dynamic analyzers, and formal verification tools to harden code against a wide range of ... vulnerabilities across different programming languages and frameworks in collaboration with experts across these areas. As a part of the project, + You will be rapid-prototyping initial concepts and designing and running experiments to achieve our goals. +… more
- Meta (Menlo Park, CA)
- …as LLVM or GCC, program analysis tools, automatic program synthesis, or formal verification systems **Public Compensation:** $214,032/year to $240,240/year + ... bonus + equity + benefits **Industry:** Internet **Equal Opportunity:** Meta is proud to be an Equal Employment Opportunity and Affirmative Action employer. We do not discriminate based upon race, religion, color, national origin, sex (including pregnancy,… more
- Meta (Sunnyvale, CA)
- …Estimation at RTL and Gate Level and identify power reduction opportunities 4. Run Formal Verification checks between RTL and Gate level netlist and debug the ... aborts, inconclusive and Logic Equivalency failures 5. Perform RTL Lint and work with the Designers to create waivers 6. Perform RTL DFT Analysis and improve the DFT coverage for Stuck-at faults 7. Develop Timing Constraints for RTL-Synthesis and PrimeTime-STA… more
- NVIDIA (Santa Clara, CA)
- …metrics + Identify and drive process implementation and automation initiatives + Leverage GenAI, formal verification and be on a lookout for new methods to ... improve process efficiency and effectiveness + Handle DriveOS compliance with NVIDIA internal and industry standards + Establish and track DriveOS product and process quality roadmap + Set quality goals for DriveOS releases, manage execution, establish release… 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