LUBIS EDA and the EIC Accelerator: Proving Chips Bug-Free

LUBIS EDA, registered in Kaiserslautern in 2021, uses formal verification, mathematical proof that a digital circuit behaves as specified, to find bugs in chip designs before they are manufactured. It was selected in the EIC Accelerator's March 2023 cut-off and received an EU grant of €2.50 million for OverSemi, a €3.57 million project that ran from January 2024 to December 2025, according to CORDIS. The objective promised chips developed "with a mathematically proven 0% chance of errors" and said LUBIS would make its software accessible to a wider audience, "enabling its market introduction through a licensing-based business model".

The final report describes a redesigned interface for the Lubifier software, integration of large language models, translation from SystemC to SystemVerilog assertions, and faster handling of large designs, validated in internal testing, according to the CORDIS reporting page. Its work section, for the second and final period, still opens with "Over the first half of the project". In September 2026 LUBIS presents itself as a provider of "formal verification sign-off as a service", and says of its FormalOS platform that "customers don't buy FormalOS separately", according to its About page.

Where LUBIS EDA Stands Now

LUBIS says it has delivered more than 325 verification projects and employs more than 40 formal verification specialists. Its 2024 accounts show a balance sheet of €1.86 million and equity of €1.04 million, with a net result of zero, and do not disclose revenue, according to filings summarised by North Data. The same source lists four German public research grants alongside the EIC award, the latest from June 2026. In September 2026 LUBIS announced a hiring push in Bengaluru as its "first step in company's international expansion", according to its press releases.

The Technology: Proof Instead of Simulation

Most chips are checked by simulation, which runs many test cases but cannot cover every state. Formal verification proves properties over all possible states, and finds rare corner-case bugs that simulation misses. It needs scarce experts. LUBIS's tools generate the formal assertions automatically from behavioural models and reusable patterns, and FormalOS runs alongside commercial formal tools from Cadence, Synopsys and Siemens. The "0% chance of errors" in the objective holds only for the properties proven, not for a whole chip.

What the EIC Award Promised, and What the Record Shows

The award promised to optimise the software and open it to a broad audience through licences. The software was improved, according to the report. No public licence offer, price list or download for Lubifier exists on the company's website in September 2026. The business runs on specialists using the tools on client designs, the model the licensing plan was meant to move beyond.

1. Usability and UIDeliveredRedesign, internal tests.
2. AI and language supportDeliveredLLM, SystemC to SVA.
3. Licensing launchNot doneSold as a service.
4. Customer resultsUnverifiedInternal tests only.

The Money

The EU paid 70% of the project. The EIC grant alone exceeded the company's total balance sheet at the end of 2024. LUBIS has announced no equity round on its press page, and its revenue is not public.

What Cannot Be Checked

Why Europe Should Care

The EU Chips Act aims to rebuild European chip design, and bugs found after manufacturing are the costliest to fix. LUBIS has built European expertise and a growing team, but as a service firm, not the scalable software product the EIC grant was meant to launch.

The Verdict

LUBIS EDA and the EIC have not been asked for comment for this article. It is based entirely on public records and published statements, linked throughout.