WHAT LUBIS EDA CAN OFFER


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

Our groundbreaking software produces high-quality verification IP which enables you to meet the demand of developing cost-effective, bug-free semi-conductors for the industries of the future. Additionally, we are determined to produce Formal Verification experts through our extensive training program.

 


WE WORK GLOCALLY


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. With our software, experts services and modern training we 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


History

2015

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.
2018

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 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

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.

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

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.

2015

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.
2018

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 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

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.
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

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.

Partners