Ceva, Inc.

Formal verification engineer

Ceva, Inc.  •  Ra'anana, IL (Remote)  •  3 hours ago
Apply
AI can make mistakes so check important info. Chat history is never stored.

Job Description

About the Business Unit:

Here at Ceva, we are developing state-of-the-art DSP, AI processors and HW accelerator ASIC projects in AI, Vision, Wireless, and Base-stations areas.

About the Role:

In this role, you will join our Formal Verification team, executing full verification cycle from architectural definition and FV strategy definition to full execution and final sign-off, utilizing advanced Formal Verification methodologies and tools.

This role allows for independent work, impactful input, and substantial contributions to the VLSI department’s verification tasks

Responsibilities:

Develop Formal Testbenches and Properties - Write and maintain SystemVerilog Assertions to formally verify RTL designs using industry-standard formal tools.

Collaborating with Design and Verification Teams

Contribute to Verification Planning and Coverage

Define formal verification plans, track progress, and contribute to achieving verification completeness.

Requirements

  • Bachelor’s degree in electrical engineering from a leading university.
  • Proficiency in System Verilog is essential.
  • A proactive, self-driven individual with problem-solving and complex analysis capabilities.
  • Capable of delivering results in a dynamic, agile environment, both independently and organization-wide

Advantages:

  • Practical experience with Jasper is beneficial; familiarity with SV-UVM, Python, and Tcl is advantageous.
  • Experiencein Formal Verification or Dynamic Verification
Ceva, Inc.

About Ceva, Inc.

Ceva is the leader in innovative silicon and software IP solutions

that enable smart edge products to connect, sense, and infer data more reliably and efficiently.

At Ceva, we are passionate about the smart edge. Providing the technology and market expertise our customers need to be successful is what we do best, and we’ve been doing it for over 30 years.

With the industry’s only portfolio of comprehensive communications and scalable edge AI IP, Ceva powers the connectivity, sensing, and inference in today’s most advanced smart edge products across consumer IoT, mobile, automotive, infrastructure, industrial, and personal computing. More than 18 billion of the world’s most innovative smart edge products from smartphones to drones to cellular base stations and more are powered by Ceva.

We create innovative technologies that help our customers turn great ideas into extraordinary products. We license our portfolio of wireless communications and scalable edge AI IP to our customers, breaking down barriers to entry and enabling them to bring new cutting-edge products to market faster, more reliably, efficiently, and economically.

Headquartered in Rockville, Maryland, Ceva has more than 400 employees worldwide, with design centers in Israel, Ireland, France, United Kingdom, United States and sales and support offices located in Europe, the U.S. and throughout Asia. To date, more than 17 billion CEVA-powered chips have been shipped worldwide, for a wide range of diverse end markets.

Ceva was created through the combination of the DSP IP licensing division of DSP Group, Inc. and Parthus Technologies plc (“Parthus”) in November 2002.

Industry
Hardware & Semiconductors
Company Size
201-500 employees
Headquarters
Rockville, Maryland
Year Founded
2002
Social Media