Logic Equivalence Check (LEC) Engineer

Reposted 12 Days Ago
Be an Early Applicant
Austin, CA
Hybrid
Senior level
Software
The Role
The Logic Equivalence Check Engineer will develop and improve logical equivalence check flows, debug processes, and collaborate with design teams and tool vendors. Responsibilities include building automation for formal verification, creating custom solutions, and maintaining in-house CAD tools.
Summary Generated by Built In

Join a cutting-edge and well-funded hardware startup in Silicon Valley as a PD/CAD Engineer. Our mission is to reimagine silicon and create computing platforms that will transform the industry with the most advanced technologies. You will have the opportunity to work with some of the most talented and passionate engineers in the world to create designs that push the envelope on performance, energy efficiency and scalability. We offer a fun, creative and flexible work environment, with a shared vision to build products to change the world. You will be responsible for building and automating formal verification flow and also support multiple design teams to consolidate resolutions.

Qualifications

  • Develop and improve existing flow for logical equivalent check
  • Experience with ABORT/NEQ debugging process
  • Experience with logical equivalence tools such as Conformal LEC and/or Formality
  • Collaborate with tool venders for tool issues debugging and resolving
  • Collaborate with cross-functional RTL/PD/DFT teams to come up with custom solutions
  • Developing and maintaining in-house CAD tools and flow
  • Experience with Conformal ECO/Formality ECO is a plus
  • Experience with Conformal Lowpower/VCLP is a plus
  • Experience with Low Power implementation flows (UPF) is a plus
  • Experience with Physical Synthesis/PNR and also DFT implementation is a plus
  • Proficient in programming languages, TCL, Python, Perl

Education & Experience

  • BS (preferred in EE) plus 8 years
  • MS (preferred in EE) plus 5 years

Top Skills

Abort/Neq Debugging Process
Conformal Lec
Dft Implementation
Formality
Logical Equivalence Tools
Low Power Implementation Flows
Perl
Physical Synthesis/Pnr
Python
Tcl
Am I A Good Fit?
beta
Get Personalized Job Insights.
Our AI-powered fit analysis compares your resume with a job listing so you know if your skills & experience align.

The Company
HQ: Mountain View, CA
287 Employees
On-site Workplace
Year Founded: 2021

What We Do

Rivos, a high performance RISC-V System Startup targeting integrated system solutions for Enterprise

Similar Jobs

Square Logo Square

Senior Staff Engineer, Audiences Web

eCommerce • Fintech • Hardware • Payments • Software • Financial Services
Remote
Hybrid
8 Locations
12000 Employees
264K-395K Annually

BlackLine Logo BlackLine

Senior Systems Infrastructure Engineer

Cloud • Fintech • Information Technology • Machine Learning • Software • App development • Generative AI
Remote
Hybrid
Pleasanton, CA, USA
1810 Employees
120K-150K Annually

Mission Cloud Logo Mission Cloud

Sales Solutions Architect, Cloud

Artificial Intelligence • Cloud • Information Technology • Machine Learning • Consulting • Generative AI • Big Data Analytics
Remote
Los Angeles, CA, USA
245 Employees
115K-175K Annually

BAE Systems, Inc. Logo BAE Systems, Inc.

Senior Principal Software Design and Development Engineer (Onsite)

Aerospace • Hardware • Information Technology • Security • Software • Cybersecurity • Defense
Hybrid
San Diego, CA, USA
40000 Employees
141K-239K Annually

Similar Companies Hiring

True Anomaly Thumbnail
Software • Machine Learning • Hardware • Defense • Artificial Intelligence • Aerospace
Colorado Springs, CO
131 Employees
Caliola Engineering Thumbnail
Software • Machine Learning • Hardware • Defense • Data Privacy • App development • Aerospace
Colorado Springs, CO
53 Employees
Red 6 Thumbnail
Virtual Reality • Software • Hardware • Defense • Aerospace
Orlando, Florida
113 Employees

Sign up now Access later

Create Free Account

Please log in or sign up to report this job.

Create Free Account