# LUBIS EDA

- **Website:** <https://lubis-eda.com>
- **Primary alias:** `lubis-eda.com`
- **Founded:** 2021
- **Employees:** 11+
- **Location:** Kaiserslautern, Rheinland-Pfalz, Germany
- **Company kind:** PRIVATELY HELD

## Description

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.

## Industries

- 🖥 Computer Hardware _(under Computers Electronics and Technology)_
- 🖥 Computers Electronics and Technology

## Links

- [facebook](https://facebook.com/p)
- [instagram](https://instagram.com/lubiseda)
- [linkedin](https://linkedin.com/company/67734083)

## Logos & icons

- logo _(primary)_ — PNG — [download](https://cdn.brandfetch.io/id41uYrnp5/w/1198/h/289/theme/dark/logo.png?c=1bxid64Mup7aczewSAYMX&t=1778989883840)
- icon _(primary)_ — JPEG — [download](https://cdn.brandfetch.io/id41uYrnp5/w/400/h/400/theme/dark/icon.jpeg?c=1bxid64Mup7aczewSAYMX&t=1741977998214)

## Colors

| Name | Hex | Theme |
| --- | --- | --- |
| Shuttle Gray | #5b6770 | accent |
| Black | #000000 | dark |
| White | #ffffff | light |

## Fonts

- Raleway — asset _(google)_
- -apple-system — asset _(system)_

---

_Source: <https://brandfetch.com/lubis-eda.com>_
_See [/llms.txt](/llms.txt) for a full list of agent-readable pages, and [/auth.md](/auth.md) for how agents authenticate._