- NVIDIA (Santa Clara, CA)
- …to amplify human inventiveness and intelligence. We are seeking an expert and skilled Formal Equivalence Checking Methodology Engineer to join our VLSI team. ... Experience with advanced formal verification techniques, such as sequential equivalence checking , X-verification, and low-power equivalence sign-off.… more
- NVIDIA (Santa Clara, CA)
- …Perl , Tcl, C/C++ + Knowledge or experience with logic synthesis, physical design, formal equivalence checking . + Proven track record developing flows and/or ... + Build flows for methodologies incorporating logic/physical synthesis, design planning, equivalence checking for industry-leading chip designs + Be responsible… more
- NVIDIA (Santa Clara, CA)
- …for all aspects of front-end design implementation methodologies (synthesis, formal - equivalence - checking ), flow automation and application support ... We are looking for a Senior CPU Implementation Methodology Engineer to join our VLSI team! If you are looking for a challenging and exciting role and you are a… more
- SpaceX (Irvine, CA)
- …+ Work with mixed signal IP/PLL/SerDes/PHY teams to drive integration, timing, logical equivalence checking and analysis of various IPs into RTL + ... and block level front-end implementation from timing constraints development, synthesis, formal verification, power intent generation & validation + Develop block… more
Locations:
California