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.
Get in touch
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.
Comments
There are no comments yet.
You must register or log in to view/post comments.