- 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
- Microsoft Corporation (Mountain View, CA)
- …within the Microsoft silicon engineering organization. **Responsibilities** + Establish Logical Equivalence Checking (LEC)/ Formal Equivalence ... Artificial Intelligence and Computing. We are looking for a ** Senior Silicon Engineer** to join our team! If you...will be tasked with defining, implementing, and delivering logical equivalence checking tools, flows, and methods to… 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