About LUBIS EDA

Built to make formal verification work at scale

Modern life runs on chips that must not fail, from phones and cars to data centers and AI systems. But chip complexity is growing faster than verification teams can scale.

Formal verification must move from an expert-dependent craft to a systemized, repeatable practice that delivers predictable sign-off.

LUBIS EDA is driving that shift by turning formal expertise into a Plan → Prep → Execute → Sign-off delivery system customers can rely on.

325+

Projects delivered

40+

FV specialists

100+

Years combined
formal experience

What makes our sign-off different: FormalOS

Every LUBIS engagement runs on FormalOS — our proprietary formal verification system. It brings together a curated Assertion IP library, a structured Property Generation Framework, and automated tooling that keeps every project consistent, predictable, and faster to sign off. Customers don’t buy FormalOS separately — they get it as part of how we work.

Formal sign-off, fully delivered

Our specialists run the full engagement — from verification planning through to sign-off — using the same proven Plan → Prep → Execute → Sign-off system on every project. No ramp-up time, no single-expert dependency, no corner cases left unverified.

CERTIFICATIONS

Certified to deliver. Certified to protect

LUBIS EDA is ISO 9001 and ISO 27001 certified — so every project we deliver meets the highest standards for quality management and information security.

“Microchips determine and change our lives in all areas. We ensure
that these microchips are developed faster, more reliably, and bug-
free.”
— Dr. Tobias Ludwig, CEO

THE FOUNDING TEAM

It all started with our founders

Three specialists — one vision: turn formal verification from a scarce craft into a system any chip team can rely on.

Dr. Tobias Ludwig

Chief Executive Officer (CEO)

“I spent years watching formal verification stay a craft for a handful of experts while the chips that run our world kept getting more complex. Building LUBIS means turning that expertise into a system the whole industry can rely on — not just the teams lucky enough to hire one of the rare specialists.”

Dr. Michael Schwarz

Chief Operating Officer (COO)

“Formal verification done well is not just a technical problem — it’s a systems and operations problem. My focus as COO is on the delivery backbone that makes every LUBIS project consistent and predictable: so what works on one project becomes standard practice across all of them.”

Dr. Max Birtel

Chief Revenue Officer (CRO)

“LUBIS sits at a rare intersection: deep technical credibility and a commercial model built to scale it. My job is to make sure the right teams find us, and that what we deliver gives them a reason to come back.”

LEADERSHIP TEAM

The people running the business

Beyond the founders, LUBIS’s departments are led by specialists who keep delivery, culture, and product moving in the same direction.

Mo R. Fadiheh

Head of Research & Development

"The gap between what formal verification can do and what most teams can achieve is a research problem as much as an engineering one. Our R&D work closes that gap — building the methods and tools that turn the hardest verification challenges into repeatable, reliable steps."

Miriam Heß

Head of People & Culture

"LUBIS's growth depends entirely on finding and developing people who combine deep technical ability with the mindset to work systematically. Building that team — and the culture that keeps it — is the most important thing we can do for every customer we serve."

Stephan Schulz

Head of Product

"At FormalOS, every capability is built to deliver measurable operational impact. My job is to align customer needs, engineering execution, and business priorities to improve project speed, predictability, and outcomes — without adding unnecessary complexity or features that don’t change results."

ADVISORY BOARD

Backed by deep industry and academic expertise

Prof. Wolfgang Kunz

Scientific Advisor

Chair of Electronic Design Automation at RPTU Kaiserslautern-Landau. An internationally renowned scientist with over 20 years of experience in formal verification, synthesis, and hardware security. IEEE Fellow and Member of Academia Europaea.

Brett Cline

Industry Advisor

CEO of ZeroPoint Technologies. 30+ years in EDA and IP industries across sales, marketing, and engineering leadership. A proven builder of go-to-market strategies for semiconductor startups, from early funding through successful exits.

OUR JOURNEY

From research lab to industrial scale

2015

The idea takes shape

While completing their PhDs at the Chair of Electronic Design Automation at RPTU Kaiserslautern, Tobias and Michael identify a new hardware verification methodology with real industrial potential — and decide to build something around it.

2018

First validated on real processor and bus designs

A proof-of-concept is tested across a range of commercial processors and bus systems, demonstrating that the methodology works outside the lab. An early network of EDA and semiconductor industry contacts begins to form.

2019

EXIST Transfer of Research funding secured

The project is awarded funding through Germany's EXIST Transfer of Research programme — reserved for high-risk, high-potential research transfers with genuine commercial viability.

2020

First industrial customer projects begin

Max joins to lead commercial operations. Software developer Tim Burr strengthens the team. The first real customer engagements begin, and product development starts in earnest on 1 October 2020.

2021

LUBIS EDA GmbH founded in Kaiserslautern

With a fully functional MVP and proven customer demand, LUBIS EDA GmbH is formally incorporated. The company's mission is clear: make formal verification systematic, scalable, and accessible.

2022

International partnerships established

The team grows to 15 specialists. International client relationships are established across automotive, data center, and AI chip design. The first version of the proprietary delivery system takes shape.

2024

€2.5M awarded by the European Union — EIC Accelerator

LUBIS EDA is selected for the EU's EIC Accelerator programme and awarded €2.5 million to scale up the team and operations. The EIC Accelerator backs only the most innovative European deep-tech companies with strong commercial potential.

2025

325+ projects delivered globally

LUBIS EDA grows to 40+ formal verification specialists. Over 325 sign-off projects completed across the world's leading semiconductor teams — making LUBIS EDA the largest company focused exclusively on formal verification sign-off.

2026

IN PROGRESS

Growing to 55+ specialists to meet industry demand
As the semiconductor industry's need for rigorous formal sign-off keeps growing, so does LUBIS. The team is expanding to 55+ people — deepening capacity across formal verification engineering, product development, and customer delivery.

Building now

Building the Formal Operating System
LUBIS is turning its delivery expertise into software — encoding the know-how of its best formal engineers into a platform that lets teams scale formal verification beyond what consulting alone can reach. Formal verification shifts from craft to governed system.