February 23, 2026
This LUBIS EDA 2025 review reflects on our fifth year as a company. As we enter 2026, our sixth year begins with a clear direction and a stronger foundation.
Across the semiconductor industry, verification pressure increased noticeably. Designs grew more complex, schedules tightened, and the tolerance for late-stage surprises continued to shrink. Simulation alone can no longer keep pace with rising RTL complexity and shrinking tape-out schedules.
Formal verification increasingly became a structural necessity rather than an optional enhancement. Formal does not replace simulation. It complements it where exhaustive reasoning is required. It systematically explores state spaces that simulation cannot fully cover, exposes corner cases early, and reduces the risk of costly late-stage surprises.
This shift shaped many of the engagements we supported throughout the year.
Across more than 325+ verified RTL blocks since our founding, we have supported teams in reaching formal sign-off with structured flows and measurable outcomes. Along the way, 900+ functional bugs were identified before they could escalate into schedule or silicon risks.
Scaling formal verification is not only about increasing headcount. It requires structured flows, clear methodologies, and repeatable sign-off processes. These principles guided our work throughout 2025.
The projects ranged from complex SoC subsystems to focused IP verification efforts. What they shared was the need for reliable, explainable formal sign-off.
Returning customers reflected confidence in our delivery model and in how our formal flows integrate into real project environments.
The training focused on building hands-on expertise and enabling teams to apply proven formal verification practices in their day-to-day project work. The objective was not theoretical understanding, but operational competence within active development programs.
These engagements reinforced that formal verification challenges are consistent across regions.
During the same year, we entered a new region with our first successful engagement in Japan, strengthening our presence in key semiconductor hubs.
In consulting, we continue delivering formal verification using our structured flow: Plan. Prep. Execute. Sign-off.
In training, we continue building internal capability within customer teams.
Across both, our priority remains the same: high-quality outcomes on complex, high-impact designs where predictability matters most.
As verification complexity continues to rise, structured formal flows become essential for predictable outcomes. Entering year six, our focus remains unchanged: disciplined execution, measurable results, and reliable sign-off on complex designs.
Link to Press Release
This LUBIS EDA 2025 review reflects on our fifth year as a company. As we enter 2026, our sixth year begins with a clear direction and a stronger foundation.
Across the semiconductor industry, verification pressure increased noticeably. Designs grew more complex, schedules tightened, and the tolerance for late-stage surprises continued to shrink. Simulation alone can no longer keep pace with rising RTL complexity and shrinking tape-out schedules.
Formal verification increasingly became a structural necessity rather than an optional enhancement. Formal does not replace simulation. It complements it where exhaustive reasoning is required. It systematically explores state spaces that simulation cannot fully cover, exposes corner cases early, and reduces the risk of costly late-stage surprises.
This shift shaped many of the engagements we supported throughout the year.
What 2025 looked like inside LUBIS EDA
Scaling our formal expert team
Customer demand increased significantly throughout the year. In response, we expanded our formal verification team by 80% while maintaining on-time delivery, predictable sign-off processes, and high-quality results.Across more than 325+ verified RTL blocks since our founding, we have supported teams in reaching formal sign-off with structured flows and measurable outcomes. Along the way, 900+ functional bugs were identified before they could escalate into schedule or silicon risks.
Scaling formal verification is not only about increasing headcount. It requires structured flows, clear methodologies, and repeatable sign-off processes. These principles guided our work throughout 2025.
Growing our customer base
In 2025, new customer growth exceeded 40%. We continued working with leading global semiconductor companies while expanding collaboration with specialized design houses and IP vendors.The projects ranged from complex SoC subsystems to focused IP verification efforts. What they shared was the need for reliable, explainable formal sign-off.
Long-term customer relationships
73% of signed-off RTL designs in 2025 were repeat engagements, renewals, or project extensions with existing customers. A large share of these collaborations continued over multiple phases and gradually expanded in scope during the year.Returning customers reflected confidence in our delivery model and in how our formal flows integrate into real project environments.
Training and enablement
Throughout 2025, we conducted formal verification training programs for engineers from multiple companies, reaching a total of 47 participants.The training focused on building hands-on expertise and enabling teams to apply proven formal verification practices in their day-to-day project work. The objective was not theoretical understanding, but operational competence within active development programs.
These engagements reinforced that formal verification challenges are consistent across regions.
Global expansion
We continued to expand globally, welcoming new customers in the United States beyond the Bay Area, including Austin, Texas.During the same year, we entered a new region with our first successful engagement in Japan, strengthening our presence in key semiconductor hubs.
Summary of the LUBIS EDA 2025 review
- - 80% team growth
- - 73% repeat engagements
- - 47 engineers from customers trained
- - Expansion into Austin and Japan
Looking ahead to 2026
We enter 2026 with a clear focus.In consulting, we continue delivering formal verification using our structured flow: Plan. Prep. Execute. Sign-off.
In training, we continue building internal capability within customer teams.
Across both, our priority remains the same: high-quality outcomes on complex, high-impact designs where predictability matters most.
As verification complexity continues to rise, structured formal flows become essential for predictable outcomes. Entering year six, our focus remains unchanged: disciplined execution, measurable results, and reliable sign-off on complex designs.
Link to Press Release