Unclaimed brand
Go for first silicon success, stay on budget and tape-out schedule. Choose best-in-class formal verification and EDA software.
Liking this brand profile? Share this page


Hex Code
Color name
RGB
HSL
CMYK
#5B6770
Shuttle Gray
91, 103, 112
206, 10, 40
19, 8, 0, 56
#FFFFFF
White
255, 255, 255
0, 0, 100
0, 0, 0, 0
#000000
Black
0, 0, 0
0, 0, 0
0, 0, 0, 100
LUBIS EDA | Kaiserslautern is a brand that specializes in Formal Verification services and products for the development of high-quality and bug-free semiconductors. The brand was founded by Dr. Tobias Ludwig, Dr.
Michael Schwarz, and Dr. Max Birtel, who turned their vision of revolutionizing formal verification into reality. LUBIS EDA offers a range of services to its clients, including the identification and resolution of simulation-resistant bugs in digital IP blocks such as CPUs, Graphics Cards, and memory.
Their groundbreaking software produces high-quality verification IP, enabling the development of cost-effective and reliable semiconductors for future industries. Additionally, the brand provides extensive training programs to produce Formal Verification experts. Their team of specialists showcases their deep expertise in Formal Verification to work globally, ensuring the sign-off of clients' blocks and the detection of simulation-resistant corner-case bugs.
Driven by innovation, LUBIS EDA aims to provide bug-free designs by revolutionizing the overall verification process. With a team of experts, advanced software, and modern training, they are dedicated to developing faster, more reliable, and bug-free semiconductors that shape and enhance various aspects of our lives
Company type
Privately Held
Year founded
2021
Company size
11-50 employees
The LUBIS EDA name, logos and brand assets are trademarks of LUBIS EDA and its affiliates. Brandfetch isn't affiliated with or endorsed by LUBIS EDA. Their use is subject to LUBIS EDA's brand guidelines.