Â
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
Meet our Advisor
Prof. Wolfgang Kunz
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.
History
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.
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.
Funding
They have been granted funding through the "EXIST Transfer of Research"-Program, which only supports exceptional, high-risk research projects.
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.
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
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.
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.
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.
Funding
They have been granted funding through the "EXIST Transfer of Research"-Program, which only supports exceptional, high-risk research projects.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.
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
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.
Partners
