LUBIS EDA
LUBIS EDA is a Kaiserslautern-based specialist firm providing formal verification sign-off services and proprietary model-driven property generation tools for semiconductor RTL design teams, targeting complex digital IP and SoCs.
- Company typePrivate
- Founded2015
- HeadquartersKaiserslautern, Germany
- Headcount11–50
- GTM typeB2B
- OfferingServices
What LUBIS EDA does
LUBIS EDA GmbH is a private German specialist services and tools company headquartered in Kaiserslautern that provides formal verification sign-off for semiconductor chip design. The company's core offering is a structured delivery model — Request, Plan, Prep, Execute, Sign-off — under which a dedicated team of formal verification engineers engages directly with RTL design teams to verify complex digital IP and System-on-Chip subsystems, identify simulation-resistant corner-case bugs, and produce a sign-off report with documented assumptions, abstractions, and reusable verification artifacts. The company reports 325+ completed formal verification projects across RISC-V processor cores, AI/ML accelerators, automotive, data storage, HPC, and quantum computing hardware.
The company monetizes through a mix of fixed-price project engagements and annual subscriptions for ongoing formal verification support, complemented by formal verification training services. Its proprietary toolset centers on the Property Generator, a VSCode-based model-driven framework that automatically generates SystemVerilog Assertions from abstract SystemC transaction-level models — reportedly producing 80% of baseline properties within two weeks in a documented engagement. Supporting tooling includes the LUBIS IDE for parsing, debugging, and VIP generation, the LUBIS EDA Formal Verification Toolbox, and FormalOS (promoted to a standalone product category in 2026). The Property Generator integrates with Siemens Questa OneSpin Static Formal as the underlying formal engine.
The customer base spans RISC-V startups (PlanV), quantum computing hardware vendors (Quantum Machines), HPC accelerator developers (Next Silicon), and enterprise semiconductor IP companies (Pliops). Go-to-market is direct enterprise sales supported by a content-driven marketing approach — technical blog, LinkedIn (6,400+ followers), newsletter, whitepapers, and case studies. The company has raised approximately $3.47 million across two funding rounds (notably the 2023 EIC Accelerator), has 11-50 employees, and is led by founder and CEO Dr. Tobias Ludwig alongside CRO Max Birtel. The company appears to be largely bootstrapped beyond these rounds, with no disclosed institutional control event.
LUBIS EDA firmographics
Firmographics- Name
- LUBIS EDA
- Legal name
- LUBIS EDA GmbH
- Website
- https://lubis-eda.com
- Company type
- Private
- Founded year
- 2015
- Operating status
- Operating
- Headcount range
- 11–50 employees
- Short description
- LUBIS EDA is a Kaiserslautern-based specialist firm providing formal verification sign-off services and proprietary model-driven property generation tools for semiconductor RTL design teams, targeting complex digital IP and SoCs.
- Ownership category
- akta.pro rank
LUBIS EDA industry classification
Industry- Product category
- Formal Verification Services
- NAICS
- Computer Systems Design Services (541512), Computer Systems Design and Related Services (54151)
- SIC
- Services-Computer Integrated Systems Design (7373), Services-Engineering Services (8711)
- akta.pro primary industry
- EDA Software Platforms (Digital Implementation, Verification & Signoff) (HDAHAFAA)
- akta.pro secondary industries
- Verification IP (VIP) & Protocol Compliance Suites (HDAHAFAG), EDA Cloud/SaaS, Design Data Management & Collaboration (HDAHAFAJ)
Keywords
Where LUBIS EDA is headquartered
LocationHeadquarters
- HQ city
- Kaiserslautern
- HQ country
- Germany
- HQ region
- Europe
Offices1 record
Markets served
LUBIS EDA business model
Business model- GTM type
- B2B
- Offering type
- Services
- Cost components
- Personnel, Technology or R&D, Marketing or Sales, Operations
Revenue model
- Formal Verification Sign-Off Services: Core professional services offering where LUBIS EDA provides formal verification sign-off for critical digital IP and SoCs. The service follows a structured delivery model (Request, Plan, Prep, Execute, Sign-off) and is delivered by a dedicated team of verification specialists. Engagement models include fixed-price and subscription arrangements.
- Formal Verification Training: Training services covering formal verification topics including abstraction vectors, AIP for protocols, SVA fundamentals, state space explosion techniques, and formal verification methodologies.
- FormalOS Software/Tools: Software tools including the Property Generator (VSCode plugin) that automates property creation from SystemC models, and supporting verification toolbox for formal sign-off.
Pricing tiers
| Model | Billing | Price |
|---|---|---|
| Subscription | Multi-year contract | Fixed-price engagement model |
| Subscription | Annual | Subscription engagement model |
Go-to-market motion1 record
Distribution channels2 records
Marketing channels6 records
LUBIS EDA product offering
Product offeringCore offering
LUBIS EDA provides formal verification sign-off services and supporting software tools for semiconductor companies verifying critical digital IP and SoCs. The core service follows a structured delivery model (Request, Plan, Prep, Execute, Sign-off) delivered by specialist verification engineers, and is complemented by proprietary tools including the Property Generator (a VSCode plugin that auto-generates SystemVerilog Assertions from SystemC models), FormalOS, the LUBIS IDE, and Assertion IP (AIP).
Product overview
LUBIS EDA is a formal verification specialist company offering a portfolio of services and tools for chip design verification. The core offering is the Formal Verification Sign-Off Service, a systematic delivery model providing predictable milestones and expert team support. Supporting this are proprietary tools including the Property Generator Framework (a VSCode-based model-driven SVA generation tool), the LUBIS EDA Formal Verification Toolbox, and the LUBIS IDE. The company also offers FormalOS as a distinct product category, Verification IP (VIP) for automatic property generation from specifications, Assertion IP (AIP) for customer engagements, and Formal Verification Training services. The portfolio works together to enable correct-by-construction RTL design through systematic verification and property automation.
Differentiator
Problem solved
Functional benefit
Products and services
- Formal Verification Sign-Off Service A systematic professional service for formal verification sign-off of critical digital IP blocks and SoCs, delivered by specialist verification engineers following a Request, Plan, Prep, Execute, Sign-off flow with predictable milestones, clear sign-off criteria, and reusable verification artifacts; offered under fixed-price or subscription engagement models to semiconductor RTL teams.
- FormalOS A formal verification platform/toolbox that supports the formal sign-off process, including abstractions, constraints, and environment modeling capabilities, marketed as a distinct product category in the company's navigation.
- Property Generator Framework
Quantifiable outcome
- 80% of baseline properties generated automatically within two weeks using model-driven property generation
- +2 more outcomes
Companies that use LUBIS EDA
Customer profileNamed customers4 records
Segments3 records
Ideal customer profiles2 records
LUBIS EDA technology and API
TechnologyTechnology focussed Yes
API detail
- Has API
- No
- API docs
- API detail
Core technology
AI maturity
App detail
Integration2 records
AI capability3 records
Feature5 records
LUBIS EDA partnerships and signals
Strategic signalPartnerships
Four partnerships are on record, tiered core and secondary.
- PlanVcoreLUBIS EDA partnered with PlanV to formally verify the Memory Management Unit (MMU) of the CVA6 RISC-V core. The collaboration used LUBIS EDA's Property Generation Framework to generate 80% of SVA properties automatically from a SystemC model within two weeks. Project part of PISTIs-V program under ÖvIT programme sponsored by German Cyberagentur.
- Quantum MachinescoreOngoing formal verification partnership since early 2022 for quantum computing hardware IP. LUBIS EDA supports Quantum Machines with formal verification services across their product IP, navigating rapidly evolving RTL and changing project requirements while maintaining rigorous formal standards.
- Next SiliconsecondaryFormal verification partnership for HPC acceleration solution, ensuring high verification coverage while meeting highest quality and performance standards.
- PliopssecondaryFormal verification partnership for data processor semiconductor IP. LUBIS EDA helped Pliops reach tape-out goals on time with straightforward development schedule, verifying complex IP blocks under demanding tape-out timeline.
Scale indicators3 records
Recent moves6 records
Expansion highlights6 records
LUBIS EDA competitors and assessment
Company assessmentDirect peers
- OneSpin Solutions (Siemens EDA): Pure-play formal verification tools and services company, now part of Siemens EDA. Directly competes with LUBIS EDA in formal sign-off for digital IP and SoCs and is the most established specialist in the same niche.
- Real Intent: Independent EDA company specializing in formal and static verification for digital designs. Closely comparable to LUBIS EDA in customer base (RTL and verification teams) and technology focus.
- Blue Pearl Software: EDA vendor focused on formal verification, lint, and clock-domain crossing analysis for RTL designs. Directly comparable in serving the same RTL verification engineer persona with formal-based tooling.
- Oski Technology (now Synopsys): Formal verification services company acquired by Synopsys; pioneered the formal sign-off-as-a-service model that LUBIS EDA now also offers. Highly relevant comparator for delivery model and go-to-market.
- SmartDV Technologies: Provider of verification IP and formal verification IP for protocols and interfaces. Comparable in the Verification IP / Assertion IP layer adjacent to LUBIS EDA's VIP and AIP offerings.
Broad incumbents
- Cadence Design Systems (Jasper Formal): Major EDA incumbent offering Jasper Formal as part of its broader verification suite. Competes with LUBIS EDA's sign-off services and property tooling through enterprise-wide EDA contracts.
- Synopsys (VC Formal, Formality): Largest EDA vendor with formal verification offerings including VC Formal and Formality, plus prior acquisition of Oski Technology (formal verification services). Overlaps directly with LUBIS EDA's service and tool portfolio.
Emerging players
- Breker Verification Systems: Provides automated testbench and verification IP solutions adjacent to formal sign-off. Comparable target customer (RTL/SoC verification teams) but emphasizes portable stimulus rather than formal methods.
Others
- Verific Design Automation: Supplies SystemVerilog and VHDL parser/elaboration infrastructure used by many EDA tools. Adjacent infrastructure provider whose components underpin formal verification platforms including those LUBIS EDA integrates with.
Regional players
- Agile Analog: UK-based analog/mixed-signal IP company with adjacent verification tooling efforts. Thematically related (semiconductor IP/EDA, European base) though focused on analog rather than digital formal verification.
Market position
Strengths5 records
Weaknesses5 records
Competitive moat4 records
Key risks7 records
Key highlights7 records
Customer concentration
LUBIS EDA social profiles
Digital presenceLUBIS EDA financial estimates
Financial estimateRevenue estimate
Valuation estimate
LUBIS EDA leadership team
Management profileNumber of profiles
Profiles2 records
LUBIS EDA funding detail
Funding detailFunding overview
Funding rounds2 records
Investors1 record
Funding detail is available on the Subscription and Enterprise plan.Contact sales →
LUBIS EDA M&A and investment
M&A and investmentM&A
Investments
M&A and investment is available on the Subscription and Enterprise plan.Contact sales →
Frequently asked questions about LUBIS EDA
What does LUBIS EDA do?
LUBIS EDA provides formal verification sign-off services and supporting software tools for semiconductor companies verifying critical digital IP and SoCs. The core service follows a structured delivery model (Request, Plan, Prep, Execute, Sign-off) delivered by specialist verification engineers, and is complemented by proprietary tools including the Property Generator (a VSCode plugin that auto-generates SystemVerilog Assertions from SystemC models), FormalOS, the LUBIS IDE, and Assertion IP (AIP).
Is LUBIS EDA a public or private company?
LUBIS EDA is a private company. It is classified as venture growth investor backed and is currently operating.
When was LUBIS EDA founded?
LUBIS EDA was founded in 2015. It employs 11 to 50 people.
Where is LUBIS EDA based?
LUBIS EDA is headquartered in Kaiserslautern, Germany, in the Europe region.
How does LUBIS EDA make money?
Three revenue lines are on record. Formal Verification Sign-Off Services are the primary driver. The others are formal Verification Training and formalOS Software/Tools.
Who are LUBIS EDA's main competitors?
Direct peers on record are OneSpin Solutions (Siemens EDA), Real Intent, Blue Pearl Software, Oski Technology (now Synopsys) and SmartDV Technologies. Broad incumbents are Cadence Design Systems (Jasper Formal) and Synopsys (VC Formal, Formality). Breker Verification Systems is listed as an emerging player. Verific Design Automation is listed as an others. Agile Analog is listed as a regional player.
Does LUBIS EDA have an API?
No public API is recorded for LUBIS EDA.
What industry is LUBIS EDA in?
LUBIS EDA's product category is Formal Verification Services. Its primary akta.pro industry code is HDAHAFAA, EDA Software Platforms (Digital Implementation, Verification & Signoff), with a secondary code of HDAHAFAG, Verification IP (VIP) & Protocol Compliance Suites. Its NAICS code is 541512 and its SIC code is 7373.