Who we are

We provide the EDA tools and formal verification consulting you need to find simulation-resistant and corner-case bugs in high-risk silicon designs.

“Microchips determine and change our lives in all areas. We ensure that these microchips are developed faster, more reliable, and bug-free.”

Your all-in-one formal verification expert

Want to DIY your formal verification with our EDA software?

Avoid re-spins and improve your team productivity.

LUBIS on cloud is our scalable AI-based EDA platform that helps you reach quality targets, stay on budget and stick to your tape-out schedule.

Need support or done-for-you formal verification?

Gain confidence in your design.

We provide formal sign-off as a service and formal verification training to help you level up your skills or verify your custom design.

From Germany to you, globally

Each member of our team puts up an equal exertion to help you sign off your blocks and find simulation-resistant corner-case bugs. The cloud-based EDA platform and consulting services we offer transform the overall verification process to generate bug-free designs.

Team photo LUBIS EDA in a field at a summer event

Bringing innovation into formal verification

Writing high-quality properties to find bugs in digital circuits is time consuming. Plus, simulation and other traditional techniques are not always enough to detect hidden bugs.

That is why Dr. Tobias Ludwig decided to develop an EDA software that would automate development processes and guarantee a high-quality and efficient solution. Later, Dr. Michael Schwarz and Dr. Max Birtel joined him and together they founded LUBIS EDA.

2015

The Initial Phase

When Tobias and Michael were Ph.D. students at the Chair of Electronic Design Automation at the University of Technology Kaiserslautern, the idea of bringing innovation in formal verification crossed their mind.

They turned the theoretical foundation of a new hardware verification methodology, which was laid roughly 15 years ago, to their advantage.

2018

Prototype Development Phase

Tobias and Michael developed a prototype as Proof-Of-Principle that demonstrated usability and hence tested on various processors and bus systems to evaluate the methodology.  Moreover notable projects within the EDA and semiconductor firms enabled them to create a network of experts.

2019

Funding

They have been granted funding through the "EXIST Transfer of Research"-Program, which only supports exceptional, high-risk research projects.

2020

Product Development Phase

Max, who provided economic and financial support, and Tim Burr, a skilled software developer, strengthened their team. They started doing projects with industrial customers and, the product development phase officially began on October 1, 2020.

2021

Foundation of LUBIS EDA

A fully functional minimum viable product (MVP) was developed and their vision was turned into reality. A foundation of LUBIS EDA GmbH in Kaiserslautern, Germany was finally laid down.

2022

Expansion Phase

Tobias and Michael focused on expansion and now they are a team of 15 people. They built a healthy partnership with international clients and are now preparing a beta launch of their in-house software.

It all started with our founders

Dr. Tobias Ludwig, CEO of LUBIS EDA

Dr. Tobias Ludwig

Chief Executive Officer (CEO)

When innovation, experts and a great team come together magical things can happen. I’m very excited to drive LUBIS EDA and its revolutionary solutions to success.

Dr. Michael Schwarz, CTO of LUBIS EDA

Dr. Michael Schwarz

Chief Technology Officer (CTO)

For us at LUBIS EDA, innovation is not just a concept but a way of life.
I am thrilled to be a part of an exceptional team, so we can make dreams a reality and shape the future – one step, one innovation, one breakthrough at a time.

Dr. Max Birtel, CFO of LUBIS EDA

Dr. Max Birtel

Chief Finance Officer (CFO)

Our journey is driven by a shared commitment to innovation, excellence, and the power of collaboration.
Together, we are on a trajectory to expand and elevate LUBIS EDA, leveraging our unique strengths to redefine industry standards and achieve unparalleled success. I am happy to architect and cultivate organizational growth

Supported by our scientific advisor Professor Wolfgang Kunz

Professor Wolfgang Kunz from Rheinland-Pfälzische Technische Universität Kaiserslautern-Landau (RPTU), the technical advisor and mentor of LUBIS EDA

Professor Wolfgang Kunz of Rheinland-Pfälzische Technische Universität Kaiserslautern-Landau (RPTU) supports us as scientific advisor and mentor.

Wolfgang Kunz holds the Chair of Electronic Design Automation in the EE/CE department at RPTU. He is an internationally renowned scientist with over 20 years of experience in verification and design of systems-on-chip. He has produced many important contributions in the areas of hardware verification, synthesis and test. His current research includes formal methods for hardware security. Prof. Kunz is an IEEE Fellow and a Member of Academia Europaea.

We are thrilled to have Professor Kunz as our scientific and technical advisor on our mission of developing faster, more reliable, and bug-free semiconductors in the future.

We are looking forward to collaborating with Professor Kunz on new innovations in the field of Formal Verification.

And our industry advisor Brett Cline

Brett Cline, Chief Commercial Officer at Codasip, is a veteran semiconductor executive who has held a wide range of leadership roles in sales, marketing, and engineering throughout more than 30 years in the EDA and IP industries. Brett has cultivated a proven methodology for building businesses, at the heart of which is a relentless focus on customer success. The foundation of his broad skillset is a technical base built in his early career as a developer and application engineer. Brett quickly discovered a keen instinct for understanding and solving customer challenges, which led to his climbing the ranks in business development, marketing, and sales management. 

Brett’s passion for building companies and bringing new technologies to market has made startups the cornerstone of his career, from his first venture in the late 1990s to his work today with Codasip. In parallel, Brett advises startups and small companies in the EDA and IP spaces, guiding their way through funding rounds, strategic direction, and successful exits. 

Brett Cline, Chief Commercial Officer at Codasip,the technical advisor and mentor of LUBIS EDA

Now joined by key industry partners

Europäischer Fonds für Regionale Entwicklung

Shall we team up?

You have ambitious projects. We will help you get there.