LUBIS EDA 2025 review: scaling formal verification and preparing for 2026

2025: A Defining Year for LUBIS EDA 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 …

Read more

Debugging for faster time to market: Insights into LUBIS EDA from an independent European case study

Formal verification startup LUBIS EDA: European IP case study A formal verification startup, LUBIS EDA, is at the center of this independent case study published by the European IP Helpdesk, highlighting how deep-tech innovation, formal verification, and intellectual property intersect in practice. Some bugs are loud. Most are quiet. In modern microchips, many design errors …

Read more

A RECORD OF LUBIS EDA

A RECORD OF LUBIS EDA To share how LUBIS EDA began, we take you back to 2015. The LUBIS EDA history is rooted in academic research that explored new ways to advance formal verification. Research Foundations The idea emerged from research work on Path-Predicate Abstractions (PPA), seeking inspiration for advancing formal verification methods. One of …

Read more

Training Topics

  1. Abstraction vectors (time, functionality)
  2. AIP for protocols
  3. AIP orchestration
  4. BMC & IPG, invariants
  5. Codestyle
  6. Completeness
  7. Liveness property, safety property
  8. Non-determinism (abstraction technique)
  9. Response generation (abstraction technique)
  10. Scoreboard (abstraction technique)
  11. Signal cutting, blackboxing
  12. State space explosion and mitigation techniques
  13. SVA fundamentals
  14. Whitebox checking, blackbox checking, greybox checking
  15. Witness, vacuity, reachability

Become a leader in formal verification