- NVIDIA (Santa Clara, CA)
- …work, to amplify human inventiveness and intelligence. We are seeking an expert and skilled Formal Equivalence Checking Methodology Engineer to join our ... Experience with advanced formal verification techniques, such as sequential equivalence checking , X-verification, and low-power equivalence sign-off.… 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...the crowd: + Prior CPU experience in physical implementation methodology + Proficiency in Perl, Python, Tcl, Make scripting… 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
- 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