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.”
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.
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.
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.
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.
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.
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.
They have been granted funding through the "EXIST Transfer of Research"-Program, which only supports exceptional, high-risk research projects.
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.
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.
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.
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.
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.
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
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.
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.Â
