We help our clients to find simulation-resistant bugs in their digital IP blocks like CPUs, Graphics cards, and memory.

Our groundbreaking in-house software produces high-quality verification IP and thereby ensures flawless designs in a reasonable time to increase your productivity. It enables you to meet the demand of developing cost-effective, bug-free semi-conductors for the industries of the future.



Connect with a team of experts who think locally and show specialized skills of FV to work globally.

Every team member puts up an equal exertion to sign-off your blocks and find simulation-resistant corner-case bugs with their deep expertise. Our in-house software and experts’ services revolutionize the overall verification process to provide bug-free designs.

Our Story

The procedure of writing high-quality properties to find bugs in digital circuits is time-consuming. Along with that simulation is not always sufficient to detect hidden bugs. Therefore, Dr. Tobias Ludwig decided to develop a software that would automate the development processes and guarantee a high-quality and efficient solution. Later, he was accompanied by Dr. Michael and Dr. Max Birtel, and they laid the foundation of LUBIS EDA with a vision that:

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

LUBIS EDA is an all-in-one Formal Verification Service provider to sign-off your high-risk IP blocks. Our Formal Verification Methodology ensures a high-quality verification and predictable project planning.


Meet the Founders



The Initial Phase

When Dr. Tobias and Dr. 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.


Prototype Development Phase

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



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


Product Development Phase

Dr. Max Birtel, 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.


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.

Expansion Phase

Dr. Tobias and Dr. 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.